C宏扩展问题如何解决

Question

如何解决下面的宏扩展问题？

#define GET_VAL                        3,2
#define ADD_VAL(val0, val1)            ((val0) + (val1))

void foo()
{
    int res = ADD_VAL(GET_VAL);
}

宏正在如下展开并导致错误。 我正在使用 MSVC 2019

res = 3,2 + ;

我什至尝试使用如下的辅助宏，但仍然出现相同的错误。

#define GET_VAL                  3,2
#define ADD_VAL1(val0, val1)     (val0 + val1)
#define ADD_VAL(val)             ADD_VAL1(val)

期望扩展：ADD_VAL(GET_VAL)； --> ADD_VAL(3, 2); --> 3 + 2

Answer 1

默认情况下 msvc 不使用标准的确认预处理器实现，确保使用 /Zc:preprocessor 启用它

宏在将其粘贴到替换文本之前完全单独展开其 arguments，但生成的标记不会分离到新的参数列表中。 他们修复您的行为的方法是创建一个扩展 arguments 的中间宏，并将扩展的 arguments 传递给您的宏：

#define GET_VAL 1,2
#define ADD_VAL(...) ADD_VAL_(__VA_ARGS__)
#define ADD_VAL_(a,b) ((a)+(b))
ADD_VAL(GET_VAL) // should work now

另一种选择是编写一个计算 arguments 并将 function 应用于它们的 fx 宏：

#define FX(f,...) f(__VA_ARGS__)
#define ADD_VAL(a,b) ((a)+(b))
FX(ADD_VAL,GET_VAL) // should work now

Answer 2

C 预处理器可能会以可怕的方式被滥用

#define GET_VAL                3,2
// #define ADD_VAL(val0, val1)    ((val0) + (val1))
#define ADD_VAL(val)       ((int [2]){val}[0] + (int [2]){val}[1])

int main() {
  printf("%d\n",ADD_VAL(GET_VAL));
}

Output

5