通过 XOR 在单行中交换整数。 c++11真的允许吗？

Question

我仍然无法清楚地理解x ^= y ^= x ^= y;这个表达式是否 在 C++11 中有效（正如他们在这个 thread 中所说的那样）还是会导致未定义的行为？

链接给出的理由似乎很有说服力，但clang抛出了warning：

警告：未排序的修改和访问“x”[-Wunsequenced]

此外，如果两个版本：

x ^= y ^= x ^= y; // (1) 
x = x ^ (y = y ^ (x = (x ^ y))); // (2)

被认为是等效的（并且在 C++11 中定义良好），为什么它会给出不同的结果（first、second）？

另外需要注意的是，gcc 只在第二个版本的代码中给出了一个关于序列点的warning。

Answer 1

赋值运算符 (=) 和复合赋值运算符 all 从右到左分组。 [..]
E1 op = E2 形式的表达式的行为等价于 E1 = E1 op E2，除了 E1 是 只评估一次。

因此您的代码相当于

x = x ^ (y ^= (x ^= y)));

... x 在x = x ... 中只计算一次。 不幸的是，对于异或，操作数的评估是无序的。 IE。

除非另有说明，否则对单个运算符的操作数进行求值 和单个表达式的子表达式是无序的。

适用。但是现在我们有一个问题：

   x = x ^ (y ^= (x ^= y)));
//     *          ******
//     |            |
//     |            Side effect
//     Value computation

值计算（隐含在对最左边的两个x 的x 的奇异评估中）和副作用是无序的，因此我们引入UB：

如果标量对象的副作用相对于其中任一对象而言是未排序的 对同一标量对象或值计算的另一个副作用 使用相同标量对象的值，行为未定义。