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