如何在C/C++可变参数宏的每个参数前插入指定宏？

在C/C++预处理器中，可通过递归宏展开或C20引入的__VA_OPT__特性，实现对可变参数宏的每个参数添加指定前缀宏的需求，以下是两种场景的具体实现：

场景1：固定前缀宏（INSERT_STUFF） #

如果前缀宏是固定的（比如示例中的OTHER_MACRO），可借助辅助宏递归遍历每个参数：

#include <cstdio>
#include <iostream>

#define OTHER_MACRO int

// 递归终止：无参数时不生成代码
#define INSERT_STUFF_EACH(P)
// 递归处理：为第一个参数添加前缀，继续处理剩余参数
#define INSERT_STUFF_EACH(P, A, ...) P A; INSERT_STUFF_EACH(P, __VA_ARGS__)

// 对外暴露的宏，转发到辅助展开逻辑
#define INSERT_STUFF(...) INSERT_STUFF_EACH(OTHER_MACRO, __VA_ARGS__)

int main()
{
    INSERT_STUFF(v1, v2);
    // 预处理器展开后：
    // int v1; int v2;
    return 0;
}

若使用C20及以后的标准，可通过__VA_OPT__简化实现（无需单独写递归终止宏）：

#define INSERT_STUFF_EACH(P, A, ...) P A; __VA_OPT__(INSERT_STUFF_EACH(P, __VA_ARGS__))
#define INSERT_STUFF(...) INSERT_STUFF_EACH(OTHER_MACRO, __VA_ARGS__)

场景2：前缀作为参数传入（INSERT_STUFF2） #

如果前缀需要动态指定，只需将前缀作为第一个参数传入辅助宏即可：

#include <cstdio>
#include <iostream>

#define OTHER_MACRO int

// 递归版本（兼容C99+）
#define INSERT_STUFF2_EACH(P)
#define INSERT_STUFF2_EACH(P, A, ...) P A; INSERT_STUFF2_EACH(P, __VA_ARGS__)
#define INSERT_STUFF2(PREFX, ...) INSERT_STUFF2_EACH(PREFX, __VA_ARGS__)

// 或者C20简化版本
// #define INSERT_STUFF2_EACH(P, A, ...) P A; __VA_OPT__(INSERT_STUFF2_EACH(P, __VA_ARGS__))
// #define INSERT_STUFF2(PREFX, ...) INSERT_STUFF2_EACH(PREFX, __VA_ARGS__)

int main()
{
    INSERT_STUFF2(OTHER_MACRO, v1, v2);
    // 预处理器展开后：
    // int v1; int v2;
    return 0;
}

注意事项 #

• 递归宏实现兼容C99及以后的标准，__VA_OPT__仅在C20及GCC/Clang等编译器的扩展模式中支持。
• 若需处理空参数场景，可在对外宏中添加空参数判断，避免生成冗余代码：

  #define INSERT_STUFF(...) __VA_OPT__(INSERT_STUFF_EACH(OTHER_MACRO, __VA_ARGS__))
  

内容的提问来源于stack exchange，提问作者Lasersköld