如何在宏中为__VA_ARGS__的每个元素添加指定前缀

要给可变参数的每个元素添加IN前缀，你可以借助C预处理器的宏展开特性完成，以下是几种可行方案：

方案1：递归宏（支持任意数量参数） #

这种方案通过递归逐个处理每个参数，需要编译器支持C99及以上标准的可变参数宏：

// 递归终止条件：无参数时输出空
#define _INPUTS_END
#define _INPUTS_EMPTY()

// 递归处理逻辑：取第一个参数添加前缀，再处理剩余参数
#define _INPUTS_HEAD(first, ...) IN first, _INPUTS_TAIL(__VA_ARGS__)
#define _INPUTS_TAIL(first, ...) _INPUTS_HEAD(first, __VA_ARGS__)
#define _INPUTS_TAIL_END() _INPUTS_END

// 顶层宏：处理空参数和非空参数的情况
#define INPUTS(...) _INPUTS(__VA_ARGS__, _INPUTS_TAIL_END())
#define _INPUTS(first, ...) _INPUTS_HEAD(first, __VA_ARGS__)

方案2：参数计数法（稳定可控，适合参数数量有限场景） #

如果你的参数数量有明确上限，这种方案更稳定，避免递归深度限制问题：

// 给单个/多个参数添加前缀的基础宏
#define _IN_1(x) IN x
#define _IN_2(x, y) IN x, IN y
#define _IN_3(x, y, z) IN x, IN y, IN z
// 可根据实际需求扩展到更多参数，比如_IN_4、_IN_5等

// 辅助宏：统计参数个数
#define _COUNT_ARGS(...) _COUNT_ARGS_INNER(__VA_ARGS__, 3, 2, 1, 0)
#define _COUNT_ARGS_INNER(_1, _2, _3, n, ...) n

// 顶层宏：根据参数个数选择对应展开宏
#define INPUTS(...) _INPUTS_DISPATCH(_COUNT_ARGS(__VA_ARGS__), __VA_ARGS__)
#define _INPUTS_DISPATCH(n, ...) _INPUTS_##n(__VA_ARGS__)
#define _INPUTS_1(x) _IN_1(x)
#define _INPUTS_2(x, y) _IN_2(x, y)
#define _INPUTS_3(x, y, z) _IN_3(x, y, z)

测试效果 #

当调用Function(INPUTS(a, b, c))时，两种方案都会被预处理器展开为：

Function(IN a, IN b, IN c)

注意事项 #

• 递归宏方案依赖编译器对递归展开的支持，不同编译器可能有递归深度限制；
• 参数计数法需要预先定义好支持的最大参数数量，超出后需要扩展对应宏；
• 如果需要兼容0个参数的场景，可以在顶层宏中添加空参数判断逻辑。

内容的提问来源于stack exchange，提问作者M.kazem Akhgary