java - 为什么此语句在 java x ^= y ^= x ^= y 中不起作用；

Question

int x=1;
int y=2;
x ^= y ^= x ^= y;

我期待这些值被交换。但它给出了 x=0 和 y=1。当我尝试使用 C 语言时，它给出了正确的结果。

Answer 1

您的陈述大致相当于这种扩展形式：

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

与 C 不同，在 Java 中，二元运算符的左操作数保证在右操作数之前计算。评估如下：

x = x ^ (y = y ^ (x = x ^ y))
x = 1 ^ (y = 2 ^ (x = 1 ^ 2))
x = 1 ^ (y = 2 ^ (x = 3))
x = 1 ^ (y = 2 ^ 3)             // x is set to 3 
x = 1 ^ (y = 1)
x = 1 ^ 1                       // y is set to 1
x = 0                           // x is set to 0

您可以反转每个 xor 表达式的参数顺序，以便在再次评估变量之前完成赋值：

x = (y = (x = x ^ y) ^ y) ^ x
x = (y = (x = 1 ^ 2) ^ y) ^ x
x = (y = (x = 3) ^ y) ^ x 
x = (y = 3 ^ y) ^ x             // x is set to 3
x = (y = 3 ^ 2) ^ x
x = (y = 1) ^ x
x = 1 ^ x                       // y is set to 1
x = 1 ^ 3
x = 2                           // x is set to 2

这是一个更紧凑的版本，也可以使用：

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

但这是交换两个变量的真正可怕的方式。使用临时变量是一个更好的主意。

Answer 2

Mark 关于它在 Java 中的评估方式是完全正确的。原因是 JLS §15.7.2。，在操作之前评估操作数，以及 §15.7，这需要从左到右的评估：

它等效于（由§15.26.2，复合赋值运算符）：

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

我们从左到右评估，在操作之前执行两个操作数。

x = 1 ^ (y = y ^ (x = (x ^ y))); // left of outer 
x = 1 ^ (y = 2 ^ (x = (x ^ y))); // left of middle 
x = 1 ^ (y = 2 ^ (x = (1 ^ y))); // left of inner
x = 1 ^ (y = 2 ^ (x = (1 ^ 2))); // right of inner
x = 1 ^ (y = 2 ^ (x = 3)); // inner xor (right inner assign)
x = 1 ^ (y = 2 ^ 3); // inner assign (right middle xor)
x = 1 ^ (y = 1); // middle xor (right middle assign)
x = 1 ^ 1; // middle assign (right outer xor)
x = 0; // outer xor (right outer assign)

请注意，它在 C 中是未定义的行为，因为您在序列点之间修改了两次相同的变量。