MSVC与GCC递归宏展开行为差异及兼容方案问询

先看你编写的递归宏代码：

#define MAP_OUT
#define A(x) x B MAP_OUT (x)
#define B(x) x A MAP_OUT (x)

#define EVAL0(...) __VA_ARGS__
#define EVAL4(...) EVAL0 (EVAL0 (EVAL0 (__VA_ARGS__)))
#define EVAL(...)  EVAL4 (EVAL4 (EVAL4 (__VA_ARGS__)))

EVAL(A(blah));

在GCC 11.4.0下执行gcc -E example.c，输出符合预期：

blah blah blah blah blah blah blah blah blah blah blah blah blah blah A (blah);

但在Visual Studio 2022（版本19.41.34120）下用cl /P example.c预编译，结果却不符合预期：

blah blah blah blah blah blah blah B  (blah);

你推测这是C标准未明确此类嵌套宏解析规则的问题，这个判断是准确的。C标准仅规定宏展开时不会重新展开正在展开的同一个宏，但对于MAP_OUT这种空宏分隔间接递归宏的场景，不同编译器的预处理器对“重新扫描阶段是否再次触发宏展开”的处理逻辑存在差异：GCC会持续重新扫描直到耗尽EVAL指定的展开层数，而MSVC在处理到某一层后就停止了间接递归的展开。

目前没有MSVC的编译器参数能完全复刻GCC的这种递归宏展开行为。包括/Zc系列的一致性开关，主要针对C标准的语法、类型等层面的对齐，并不涉及预处理器这种递归展开的细节差异。

如果需要跨编译器兼容，建议调整宏的写法，避免依赖这种高度依赖编译器实现的递归技巧。比如可以显式控制展开层数，或者改用更符合标准的宏定义方式减少间接递归的依赖。

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