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

以下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): warning C4003: not enough actual parameters for macro ‘FOO’
main.cpp(7): error C2059: Syntax error : ‘)’

问题似乎是,Microsoft编译器在内部处理BAR宏时,不会将BAZ宏扩展到可用作宏FOO的两个单独参数的参数.

根据标准,哪个编译器正确处理情况？

解决方法

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

>宏调用被替换为宏的替换列表(正文),其中每个参数名称(除非受#或##影响)都被宏调用中指定的相应参数的完整宏扩展所替代.
>重新扫描步骤1的结果.如果在其中有更多的宏调用(除了已经扩展获取正在考虑的文本之外),它们将按照相同的过程进行递归扩展.

您指定的代码的步骤顺序如下：

> BAR(BAZ)
> FOO(3,7,1)
>((3)*(7)*(1))

所以GCC是对的,VC不是.但VC抱怨的错误是FOO有3个参数,而BAR只指定其中2个参数. VC显然试图尽快抓住错误,并且在它中有一点太远.