如何在C预处理器中展开参数列表，生成重复的DO_SOMETHING宏调用？

问题背景 #

现有宏定义：

#define DO_SOMETHING(N, a,b,c,...)

需要实现一个不含...的宏，使其展开后得到：

DO_SOMETHING(1, a,b,c,...) DO_SOMETHING(2, a,b,c,...) DO_SOMETHING(3, a,b,c,...)

最初的尝试代码：

#define REP_3(D, A) D(1, A) D(2, A) D(3, A) 
#define GENERATE(a,b,c, ...) REP_3(DO_SOMETHING, (a,b,c,__VA_ARGS__))

但实际展开后，参数列表被多套了一层括号，不符合预期：

DO_SOMETHING(1, (a,b,c,...)) DO_SOMETHING(2, (a,b,c,...)) DO_SOMETHING(3, (a,b,c,...))

解决方案 #

核心思路是利用C预处理器的参数展开特性，通过一层辅助宏去掉多余的括号。

方法一：新增包装宏 #

定义一个辅助宏来转发参数，自动解包括号内的内容：

// 辅助宏：将参数列表解包后传递给DO_SOMETHING
#define DO_SOMETHING_WRAPPER(N, ...) DO_SOMETHING(N, __VA_ARGS__)

// 重复调用逻辑
#define REP_3(D, A) D(1, A) D(2, A) D(3, A)

// 最终生成宏
#define GENERATE(a,b,c, ...) REP_3(DO_SOMETHING_WRAPPER, (a,b,c,__VA_ARGS__))

方法二：内置解包逻辑 #

也可以把解包逻辑整合到重复调用宏中，不需要额外的包装宏：

// 解包并调用目标宏
#define APPLY_UNPACK(D, N, ...) D(N, __VA_ARGS__)

// 重复调用3次
#define REP_3(D, A) APPLY_UNPACK(D, 1, A) APPLY_UNPACK(D, 2, A) APPLY_UNPACK(D, 3, A)

// 最终生成宏
#define GENERATE(a,b,c, ...) REP_3(DO_SOMETHING, (a,b,c,__VA_ARGS__))

原理说明 #

C预处理器处理宏参数时，若参数是带外层括号的列表，当将其作为__VA_ARGS__传递给另一宏时，会自动剥离外层括号，将内部内容拆分为多个独立参数。通过引入这一层中间宏，就能把包裹的参数列表正确展开，传递给DO_SOMETHING。

测试展开结果：调用GENERATE(x,y,z,foo,bar)会得到：

DO_SOMETHING(1, x,y,z,foo,bar) DO_SOMETHING(2, x,y,z,foo,bar) DO_SOMETHING(3, x,y,z,foo,bar)

完全符合目标要求。

内容的提问来源于stack exchange，提问作者Pavel P