玩转C语言宏——宏函数与宏拼接

## 运算符

在 C 语言的宏中，## 是一个预处理运算符，称为 “令牌粘贴” 运算符。它的作用是将两个令牌合并成一个单独的令牌。

宏函数

可变参数宏函数

/* 计算宏函数中可变参数的数量 */
#define PARA_COUNT(...)                                PARA_COUNT_N(_0, ##__VA_ARGS__, 5,  4,  3,  2,  1 , 0)
#define PARA_COUNT_N(_0, _1, _2, _3, _4, _5 , N, ...)  N
/* 可变参数的示例 */
#define func(func_no, ...)            func_n(PARA_COUNT(__VA_ARGS__), func_no, ##__VA_ARGS__)

上面PARA_COUNT和PARA_COUNT_N组合常用于计算可变参数宏函数中参数数量

我们注意到，调用可变参数宏函数时的传参可以是__VA_ARGS__或##__VA_ARGS__，区别在于，当可变参数 __VA_ARGS__ 为空时，行为不同。

使用 ## 运算符时，如果传参为空，那么会去除宏调用中多余的逗号。比如：

#define FUNC2(fmt, ...) printf(fmt, ##__VA_ARGS__)
FUNC2("Hello\n"); // 展开后为 printf("Hello\n")，如果没有 ## 符号，那么展开后为printf("Hello\n", )是不合法的

相比较可变参数函数，宏函数的可变参数还是遵循“宏替换”原则，比如上文调用 PARA_COUNT_N 时，可变参数位置并不是在最后。

因为编译阶段时（这里假定可变参数内容是 7,8,9），编译器对于PARA_COUNT_N(_0, ##__VA_ARGS__, 5, 4, 3, 2, 1 , 0) 会翻译成 PARA_COUNT_N(_0, 7, 8, 9, 5, 4, 3, 2, 1 , 0)

而不是将 __VA_ARGS__ 原封不动传给 PARA_COUNT_N 宏。

展开结果对应到原函数如下：

PARA_COUNT_N(_0,  7,  8,  9,  5,  4, 3, 2, 1, 0) //（调用时代码）
PARA_COUNT_N(_0, _1, _2, _3, _4, _5, N, ...)     //（原宏函数）

我们可以看到，原函数的 N 对应传入的 3，所以 PARA_COUNT 最终返回 3，也就是可变参数的长度，很巧妙的结合利用宏替换和可变参数。

宏拼接

我们还是先看源码

/* 计算宏函数中可变参数的数量 */
#define PARA_COUNT(...)                                PARA_COUNT_N(_0, ##__VA_ARGS__, 5,  4,  3,  2,  1 , 0)
#define PARA_COUNT_N(_0, _1, _2, _3, _4, _5 , N, ...)  N

#define func(func_no, ...)            func_n(PARA_COUNT(__VA_ARGS__), func_no, ##__VA_ARGS__)
#define func_n(n, func_no, ...)       func_##n(func_no, ##__VA_ARGS__)

这里就是使用到 ## 符号来拼接 func_ 和 n，如果 func_n 函数传参 n=3，那么最后拼接结果是 func_3