C++中两种cout输出写法结果不同的原因解析

嘿，这个问题其实踩中了C++里一个非常容易掉进去的坑——未定义行为，咱们一步步把它讲清楚：

先看第二种代码（行为明确的情况） #

先从你能理解的第二种代码说起：

cout<<x<<endl; cout<<x++<<endl; cout<<++x<<endl; cout<<x<<endl;

这里每个cout语句都是一个独立的完整表达式，每个表达式结束后都有一个序列点（可以理解为“操作必须完全完成的节点”）。结合你给出的输出结果5577，咱们可以反推这里的x在循环结束后初始值是5：

• 第一个cout<<x：直接输出当前x的值5；
• 第二个cout<<x++：先输出x的当前值5，然后x自增为6；
• 第三个cout<<++x：先把x自增为7，再输出7；
• 第四个cout<<x：输出当前x的值7；
  整个过程的操作顺序完全明确，所以结果是确定的。

再看第一种代码（未定义行为的重灾区） #

第一种代码的问题核心出在这一行：

cout<<x<< x++ << ++x << x <<endl;

你可能以为表达式是从左到右依次计算的，但C++标准并没有规定<<运算符各个操作数的求值顺序！更糟的是，在这同一个表达式里，你对x进行了多次修改（x++和++x），同时还多次读取x的值，而且这些操作之间没有序列点分隔——这就触发了未定义行为。

什么是未定义行为？简单说就是：C++标准完全不规定这种代码的运行结果，编译器可以生成任何它想生成的代码，输出7677只是你当前用的编译器在当前编译选项下的一个随机产物而已。你看到的++x输出6、其他位置输出7，完全是编译器内部求值顺序的巧合，换个编译器、换个优化等级，结果可能完全不一样，甚至程序崩溃都是符合标准的。

这里要纠正你的猜测：不是“整行同时计算”，而是编译器可以自由选择各个子表达式的求值顺序，比如它可能先算最右边的x，再算++x，再算x++，最后算最左边的x，或者任何其他顺序——这些都是允许的，没有规律可循。

总结一下 #

永远不要在同一个表达式中对同一个变量进行多次修改，同时还读取它的值——这种代码的行为完全不可预测，是C++编程的大忌。如果需要分步操作，就像第二种代码那样拆分到不同的语句里，保证每个操作之间有明确的序列点，这样结果才是可控的。

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