g++与clang++中宏展开的执行差异及运算优先级疑问

先看原代码：

#include <iostream>
#define DOUBLE1(x) x + x
#define DOUBLE2(x) 2 * x
int main() {
    int a = 2;
    std::cout << DOUBLE2(a++) << " " << DOUBLE1(++a) << std::endl;
    std::cout << a;
}

这段代码在clang++中输出4 9 5，在g++中输出4 10 5，核心原因有两个：宏的文本替换特性，以及C++标准中的未定义行为。

1. 宏的文本替换展开 #

宏不是函数，只是简单的字符串替换，先把两个宏展开成实际执行的代码：

• DOUBLE2(a++) 展开为：2 * a++
• DOUBLE1(++a) 展开为：++a + ++a

2. 未定义行为：自增操作的执行顺序 #

C++标准明确规定：在同一个表达式中，对同一个变量的多次修改操作（比如这里的a++和两次++a），如果没有明确的序列点约束执行顺序，那么整个表达式的行为是未定义的。

不同编译器可以自由选择这些操作的执行顺序，这就是输出差异的根源：

clang++的执行逻辑（输出4 9 5） #

• 先处理DOUBLE2(a++)：取a当前值2计算2*2=4，然后a自增为3。
• 再处理DOUBLE1(++a)：先执行第一个++a，a变成4；再执行第二个++a，a变成5；最后计算4+5=9。
• 最后输出a的值5，得到整体结果4 9 5。

g++的执行逻辑（输出4 10 5） #

• 同样先处理DOUBLE2(a++)，得到4，a变为3。
• 处理DOUBLE1(++a)时，先执行两次++a，a直接变成5；然后计算5+5=10。
• 最后输出a的值5，得到整体结果4 10 5。

额外提醒：宏的写法缺陷 #

即使没有未定义行为，这个宏的写法也有隐患：如果宏参数是带优先级的表达式，比如DOUBLE1(a*2)会展开成a*2 + a*2（这里没问题），但如果是DOUBLE1(a+1)*2会变成a+1+a+1*2，优先级就乱了。正确的宏写法应该给参数和整体加括号：

#define DOUBLE1(x) ((x)+(x))
#define DOUBLE2(x) (2*(x))

但这解决不了本次问题的核心——未定义行为。

总结 #

这种代码属于典型的未定义行为案例，实际开发中绝对不能写，因为不同编译器、甚至同一编译器的不同优化级别都可能输出不同结果，完全不可靠。

内容的提问来源于stack exchange，提问作者Alpha々 Reaper