c - 使用#define-d 列表作为 C 预处理器宏的输入

Question

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

#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 中也不容易维护。

Answer 1

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

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

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

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

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

因此，您可以通过仔细使用 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)

提供了一个扩展的解决方案，该解决方案不会因 EXPAND 而使代码困惑。