如何解决MSVC 2019环境下C语言的宏展开参数传递问题

你遇到的问题是C预处理器的参数传递规则导致的——当调用需要多个参数的宏时，直接传入一个展开后带逗号的宏，预处理器会把这个带逗号的宏当作单个实参处理，而非自动拆分成多个参数。所以ADD_VAL(GET_VAL)会被当成给ADD_VAL传了一个参数（内容是3,2），第二个参数缺失，最终展开出错。之前的辅助宏写法无效，因为ADD_VAL(val)直接调用ADD_VAL1(val)时，还是把val（未展开的GET_VAL）当作单个参数传递，没有触发GET_VAL的展开再拆分。

下面提供两种可行的解决方法：

方法一：使用可变参数宏 #

利用C99的可变参数宏特性，让外层宏接受任意参数，再传递给实际的双参数宏：

#define GET_VAL                        3,2
#define ADD_VAL_IMPL(val0, val1)       ((val0) + (val1))
// 用__VA_ARGS__接受任意数量的参数，直接传递给实现宏
#define ADD_VAL(...)                   ADD_VAL_IMPL(__VA_ARGS__)

void foo()
{
    int res = ADD_VAL(GET_VAL); // 展开流程：ADD_VAL(GET_VAL) → ADD_VAL(3,2) → ((3)+(2))
}

原理：调用ADD_VAL(GET_VAL)时，预处理器会先展开GET_VAL为3,2，此时ADD_VAL(3,2)的可变参数就是3,2，会被完整传递给ADD_VAL_IMPL，作为两个独立参数处理。

方法二：使用双层辅助宏触发展开 #

通过额外的辅助宏，先触发实参的展开，再传递给目标宏：

#define GET_VAL                        3,2
#define ADD_VAL1(val0, val1)           ((val0) + (val1))
// 辅助宏：先展开args，再调用macro
#define EXPAND_MACRO(macro, args)      macro(args)
// 外层宏调用辅助宏，触发GET_VAL的展开
#define ADD_VAL(val)                   EXPAND_MACRO(ADD_VAL1, val)

void foo()
{
    int res = ADD_VAL(GET_VAL); // 展开流程：ADD_VAL(GET_VAL) → EXPAND_MACRO(ADD_VAL1, GET_VAL) → EXPAND_MACRO(ADD_VAL1, 3,2) → ADD_VAL1(3,2) → ((3)+(2))
}

原理：EXPAND_MACRO会先对第二个参数args进行宏展开，把GET_VAL变成3,2，再将其作为参数传递给macro（即ADD_VAL1），此时3,2会被识别为两个独立参数，完成正确展开。

两种方法都能在MSVC 2019中正常工作，满足你期望的展开流程。

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