C - 宏展开的几个注意事项 - longyue

C - 宏展开的几个注意事项

节选 : https://www.cnblogs.com/aquastone/p/c-macro-expansion.html

宏的展开有几个规则，这里只节选我不熟悉的一个规则：

总结来说，就是因为 # 和 ## 会阻碍前后的宏的展开，所以如果宏参数里是带宏的，为了正常展开，需要再嵌套一层宏

带参数的宏，先对参数做展开，除非宏定义体中包含#或##
a) #表示将后续标识符转换为字符串
b) ##表示将两个标识符连接成一个标识符
c) 注意参数展开的结果中即使有逗号（,），也不视为参数的分隔符

#define foo vfoo
#define bar vbar
 
#define foo2(a) #a
#define foo3(a, b) a ## _ ## b
 
#define foo20(a) foo2(a)
#define foo30(a, b) foo3(a, b)
 
#define foo40(x) foo30(x)
#define x x1,x2
 
foo2(foo)
// -> "foo" ('#'阻止了参数展开,如果需要展开参数，定义另一个宏，见foo20)
 
foo3(foo, bar)
// -> foo_bar ('##'阻止了参数展开，如果需要展开参数，定义另一个宏，见foo30)
 
foo20(foo)
// |   |-->vfoo   (foo20带有一个参数，匹配宏定义，先展开参数)
// |         |
// |-> foo2(vfoo)
// |-> "vfoo"
 
foo30(foo,        bar)
// |   |-->vfoo,   |->vbar
// |        |          |
// |-> foo3(vfoo,    vbar)
// |-> vfoo_vbar
 
foo30(x)
// 错误，参数个数不匹配, x中的逗号不视为参数分隔符。如果需要将这个逗号作为分隔符，定义另一个宏，见foo40
 
foo40(x)
// |  |-> x1,x2
// |-> foo30(x1,x2)   //这个时候，逗号视为合法分隔符。
// |-> foo3(x1,x2)
// |-> x1_x2