奇怪的宏觀擴張

Question

我最近遇到過這個宏：

#define EAT(...)
#define STRIP(x) EAT x
STRIP( (1) 2 ) \\ expands to 2

現在有人可以解釋一下發生了什么嗎？

這個EAT x如何擴展？

括號'（1）'的作用是什么？

為什么我不能像STRIP（1（2））那樣反向？

我最初的意圖是在像SPLIT（1 2）這樣的宏中將一個參數拆分為擴展到1,2有一種方法嗎？

Answer 1

EAT是一個類似函數的宏，這意味着它必須像EAT(something)一樣使用，並且它會擴展為空。

所以STRIP((1) 2)擴展到EAT (1) 2 ，擴展到2

括號'（1）'的作用是什么？

它形成了擴展的EAT(1)

為什么我不能像STRIP（1（2））那樣反向？

因為那形成了EAT 1 (2) ，你不能像那樣使用EAT 。

Answer 2

讓我們逐步完成替換：

STRIP( (1) 2 )
EAT (1) 2
2

對於第二個例子：

STRIP( 1 (2) )
EAT 1 (2)     
//error, EAT is a macro so it needs ()