如何将宏展开的结果分离为不同的参数？

Question

我正在编写一些 Boost.Preprocessor 元程序，但遇到以下问题。考虑以下宏（这是为了说明问题而进行的简化）：

#define ITERATION_IMPL(p1, p2, p3, p4) ((p1),(p2),(p3),(p4))
#define ITERATION(args) ITERATION_IMPL(hello, args(), world)

#define ARGS() a, b
ITERATION(ARGS)

预处理的输出是这样的：

((hello),(a, b),(world),())

这表明 args() 没有分成多个参数。根据我对标准的理解，宏的参数在粘贴到替换列表之前已完全扩展。因此，我期望以下扩展序列：

ITERATION(ARGS)
ITERATION_IMPL(hello, ARGS(), world)
ITERATION_IMPL(hello, a, b, world)
((hello),(a),(b),(world))

这是我想要的结果。如何在不修改 ITERATION_IMPL 和调用本身的情况下实现它？

编辑：如果不可能（我猜是），请根据 C 或 C++ 的任何标准进行解释。

Answer 1

我认为如果遇到 ITERATION(ARGS) ，则需要 ITERATION_IMPL(hello, args(), world)，将 args 替换为 ARGS，然后重新扫描。 ITERATION_IMPL(hello, ARGS(), world) 是对 ITERATION_IMPL 的调用。因此，它需要 ((p1),(p2),(p3),(p4))，并将 p2 替换为 ARGS() （以及其他参数）。然后它会重新扫描并解析为 ((hello),(a, b),(world),())。我不知道为什么它会在你的情况下调用带有 3 个参数的 4 参数宏。

您可以这样做

#define EVAL(X) X
#define ITERATION(args) ITERATION_IMPL EVAL((hello, args(), world))

，这将采用 X，替换 (hello, ARGS(), world)，然后重新扫描，导致 ARGS() 为替换为a, b。生成的标记字符串 ITERATION_IMPL (hello, a, b, world) 将执行您期望的操作。

编辑：用 GCC 测试:)

编辑：我注意到你想要字符串 ((hello),(a),(b),(world))，但我的答案产生字符串 ITERATION_IMPL （你好，a，b，世界）。我认为这是因为当它在调用 ITERATION 后重新扫描时，它会将 IERATION_IMPL EVAL((hello, ARGS(), world)) 替换为 ITERATION_IMPL (hello, a, b，wold）。然后，它需要再次扫描才能注意到它现在可以使用这些参数调用 ITERATION_IMPL。所以 ITERATION 应该是

#define ITERATION(args) EVAL(ITERATION_IMPL EVAL((hello, args(), world)))

当外部 EVAL 的 X 被 ITERATION_IMPL EVAL((hello, args(), world)) 替换时，它会重新扫描并生成 ITERATION_IMPL (hello, a, b, world) 以调用 EVAL。然后它再次重新扫描 ITERATION 的调用并生成您真正想要的序列。