单个语句中的多个复合赋值：是否为未定义行为？

Question

我无法找到明确的答案：以下代码是否有未定义的行为？

int x = 2;
x+=x+=x+=2.5;

Answer 1

行为未定义。 让我们看一下稍微简单的表达式：

x += (x+=1)

在C ++ 11中，左x的值计算相对于表达式的值计算(x+=1)是未序列的。 这意味着x值计算相对于x的赋值是无序的（由于x+=1 ），因此行为是未定义的。

这样做的原因是+=运算符的两边的值计算相对于彼此是无序的（因为标准没有另外指定）。 并且1.9p15州：

如果对标量对象的副作用相对于同一标量对象的另一个副作用或使用相同标量对象的值进行的值计算未被排序，则行为未定义。

在C ++ 03中，行为未定义，因为x被修改两次而没有插入序列点。

Answer 2

对于标准报价，请参阅其他答案。 在这种情况下，它可能会找到两种不同的行为之一。

x += (x += 2);

可能是

x = 2 + 4 (= 6)

如果在x+=2或之前评估左侧x的值

x = 4 + 4 (= 8)

如果之后确定左操作符的x值。

---

-编辑-

我知道如果我说我不喜欢那些“任何可能发生的事情”的话，我就不会得到很多粉丝。 确实，无论我们在这里讨论的语句如何处理x的值，任何编译器都可以声明自己的标准符合。 尽管如此，我认为这并不意味着operator + =可能会导致错误的结果，或者可能会忽略parantheses。 未定义的行为与任何其他情况下的未定义行为不同。

回到对未定义行为的任​​何期望是不好的，但在上面的例子中，我看到了忽略任何可能结果但6和8的充分理由。

另外我实际上怀疑在评估int x=2; x += (x += 2);之后x为8 int x=2; x += (x += 2); int x=2; x += (x += 2); 对于大多数已建立的编译器（clang，g ++，vc，icpc ......）。

再说一遍，你不应该依赖这种行为，但这并不意味着它完全不可预测。