预处理器宏作为其他宏的参数

Question

以下 C++ 代码编译并作为程序员在 GCC (4.0.4) 上运行

#define FOO(x,y,z) ((x)*(y)*(z))
#define BAR(x) FOO(x,1)
#define BAZ 3,7

int main()
{
    return BAR(BAZ); /* interpreted as return ((3)*(7)*(1)); */
}

但是，宏在 Microsoft Visual C++ Express 2010 上会导致错误：

main.cpp(7)：警告 C4003：宏 'FOO' 的实际参数不足
main.cpp(7)：错误 C2059：语法错误：')'

问题似乎在于，Microsoft 编译器在内部处理 BAR 宏时，并未将 BAZ 宏扩展为可用作宏 FOO 的两个单独参数的参数。

按照标准，哪个编译器能正确处理这种情况？

Answer 1

根据 ISO/IEC 14882:2003 (C++ Stardard) 16.3.4 的宏扩展执行如下：

1. 宏调用被宏的替换列表（主体）替换，其中每个参数名称（除非它受 # 或 ## 影响）被宏调用中指定的相应参数的完整宏扩展替换。
2. 第 1 步的结果被重新扫描。如果其中有更多的宏调用（除了那些已经扩展的正在考虑的文本），它们会根据相同的过程递归地扩展。

您指定的代码的步骤顺序是：

1. BAR(BAZ)
2. FOO(3,7,1)
3. ((3)*(7)*(1))

所以 GCC 是对的，而 VC 不是。但是 VC 抱怨的错误是 FOO 有 3 个参数，而 BAR 只指定了其中的 2 个。 VC 显然试图尽快捕捉错误，但做得有点过火了。