3

在一个示例项目中，我定义了宏

#define FOO(x, y) x + y   .

这工作得很好。例如，FOO(42, 1337)被评估为1379。

但是，我现在想使用另一个#define：

#define SAMPLE 42, 1337

当我现在打电话时FOO(SAMPLE)，这是行不通的。编译器告诉我这FOO需要两个参数，但只用一个参数调用。

我想这样做的原因是，尽管宏的参数是在函数本身之前评估的，但预处理器在评估之后不会再次解析整个指令。这类似于不能从宏输出附加预处理器指令的事实。

是否有可能获得所需的功能？

用 C 函数替换FOO宏是不可能的。原始宏位于我无法更改的第三方代码中，它输出以逗号分隔的值列表，以直接在数组初始化程序中使用。因此，C 函数不能复制相同的行为。

如果使用简单的方法无法完成此任务：您将如何(x, y)以可维护的形式存储对？就我而言，有 8 个论点。因此，将各个部分存储在单独的#define-s 中也不容易维护。

4

1 回答 1

4

您遇到了一个问题，即预处理器没有按照您想要的顺序匹配和扩展宏。现在，您通常可以通过插入一些额外的宏来强制它正确地执行您想要的操作，但为了做到这一点，您需要了解正常的顺序是什么。

  • 当编译器看到带有参数的宏的名称后跟 a(时，它首先在该参数列表中扫描，将其分解为参数，而不识别或扩展参数中的任何宏。

  • 在解析和分离参数之后，它会重新扫描每个参数的宏，并扩展它发现的任何参数，除非该参数与宏体一起使用#或##在宏体中使用

  • 然后它用（现在可能扩展的）参数替换正文中参数的每个实例

  • 最后，它重新扫描正文以查找可能与正文一起存在的任何其他宏以进行扩展。在这一次扫描中，原始宏将不会被识别和重新扩展，因此您不能进行递归宏扩展

因此，您可以通过仔细使用 EXPAND 宏来获得所需的效果，该宏接受单个参数并对其进行扩展，从而允许您在过程中的正确位置强制进行额外的扩展：

#define EXPAND(X)   X
#define FOO(x,y)    x + y
#define SAMPLE      42, 1337

EXPAND(FOO EXPAND((SAMPLE)))

在这种情况下，您首先在参数列表中显式展开宏，然后手动展开生成的宏调用。

通过问题海报更新

#define INVOKE(macro, ...) macro(__VA_ARGS__)

INVOKE(FOO, SAMPLE)

提供了一个扩展的解决方案，该解决方案不会使代码与EXPANDs 混淆。

于 2012-04-24T22:59:23.510 回答