关于宏

[lbh2001]

#define CONCAT(x,y) x##y

CONCAT(a,CONCAT(b,c))扩展为aCONCAT(b,c)而导致出错

解决方案是定义第二个宏

#define CONCAT2(x,y) CONCAT(x,y)

CONCAT2(a,CONCAT2(b,c))扩展为想要的结果abc

我的问题是详细的具体步骤是什么

最好用以下格式解释

#define plus(x,y) add(y,x)
#define add(x,y) ((x)+(y))

plus(plus(a,b),x)的扩展步骤

初始 plus(plus(a,b),c)
add(c,plus(a,b))
((c)+(plus(a,b)))
((c)+(add(b,a)))
最后 ((c) +(((b)+(a))))

[kitcaii]

CONCAT2(a, CONCAT2(b, c))
->CONCAT(a, CONCAT2(b, c))
->aCONCAT2(b, c)
->aCONCAT(b, c)
->abc

[lbh2001]

CONCAT2(a, CONCAT2(b, c))
->CONCAT(a, CONCAT2(b, c))
->aCONCAT2(b, c)-------------> OK
|
|--------------> ???,能这样吗
|
V
->aCONCAT(b, c)
|
|--------------> ???
|
V
->abc

[xkyx_cn]

宏里有##时，替换优先于展开，所以会发生CONCAT(a,CONCAT(b,c))扩展为aCONCAT(b,c)
对于第二种情况：
#define CONCAT2(x,y) CONCAT(x,y)
CONCAT2(a,CONCAT2(b,c))
CONCAT2里没有特殊的操作符，所以要先执行展开，即先计算宏的值：
CONCAT2(a,CONCAT2(b,c)) ---> CONCAT2(a,bc) ---> abc

[lbh2001]

谢谢各位，现在我的理解是这样的，不知对否

C标准上说，在替换列表中，位于##运算符之前和之后的宏参数在替换时不被扩展，
所以CONCAT(a,CONCAT(b,c))扩展为aCONCAT(b,c)，因为没有aCONCAT的宏而导致
出错。

对于CONCAT2(a,CONCAT2(b,c))，由于CONCAT2的替换列表中不包含##，所以在
扩展外面的CONCAT2调用时，预处理器将会同时扩展CONCAT2(b,c)并得到结果bc，
所以嘛：
CONCAT2(a, CONCAT2(b, c))---->CONCAT(a, bc)---->abc

[xkyx_cn]

是这样的

[Quote=引用 9 楼 lbh2001 的回复:]
谢谢各位，现在我的理解是这样的，不知对否

C标准上说，在替换列表中，位于##运算符之前和之后的宏参数在替换时不被扩展，
所以CONCAT(a,CONCAT(b,c))扩展为aCONCAT(b,c)，因为没有aCONCAT的宏而导致
出错。

对于CONCAT2(a,CONCAT2(b,c))，由于CONCAT2的替换列表中不包含##，所以在
扩展外面的CONCAT2调用时，预处理器将会同时扩展CONCAT2(b,c)并得到结果bc，
所以嘛：
CONCAT2(a, CONCAT2(b, c))---->CONCAT(…
[/Quote]

[tangshuiling]

mark!

[xkyx_cn]

有##连接的宏嵌套时会产生这个问题，只需把这种情况特殊处理

[xiao_ke]

我觉得这个向前引用有关
#define CONCAT(x,y) x##y

CONCAT(a,CONCAT(b,c)) 在做宏替换的时候他先替换CONCAT(a, X), 这个X表示CONCAT(b,c)， 然后再往上找CONCAT(b,c)就找不到了（应该在CONCAT前没有CONCAT这个宏了）所以被直接替换成了aCONCAT(b,c)

以上纯属猜测:)
只要记得这种特殊情况就行了～

[iBug168]

[Quote=引用 1 楼 xkyx_cn 的回复:]
有##连接的宏嵌套时会产生这个问题，只需把这种情况特殊处理
[/Quote]

[lbh2001]

我知道有##连接的宏嵌套时会产生这个问题，只需把这种情况特殊处理

但我的问题是
CONCAT2(a,CONCAT2(b,c))详细的扩展步骤直到想要的结果abc

[e_sharp]

UP