嵌套宏和##

Question

從C語言程序設計，通過KRC

後

#define cat(x, y)  x ## y 

通話cat(var, 123)產量var123。但是，呼叫 cat(cat(1,2),3)未定義：##的存在阻止 外部呼叫的參數被擴展。因此它 產生標記字符串cat ( 1 , 2 )3 和)3（第一個參數的最後一個標記與第二個標記的第一個標記 的連接）不是合法標記。

如果引入宏定義的第二級，

#define xcat(x, y)  cat(x,y) 

事情的工作更加順利; xcat(xcat(1, 2), 3)確實產生 123，因爲xcat本身的擴展本身不涉及 ##算子。

##的性質是什麼，使兩個例子有所不同？

爲什麼第一個示例中的內部cat(1,2)未展開，而第二個示例中的內部xcat(1,2)是？

謝謝！

Answer 1

這是宏##運算符的一個不太爲人所熟知的特性，它禁止進一步擴展其參數（它只是將它們視爲普通字符串）。從GCC預處理器文檔的摘錄：

...與字串，實際參數不是宏展開第一...

也就是說，參數##是不已擴展。

通過實施使用xcat宏觀你解決該問題的額外的間接（A過程被稱爲參數預掃是跳躍的，實際上評估結果字符串兩次）