由swap引发的表达式赋值问题

交换两个变量的值, 是很简单的一件事, 只需要有一个临时变量:

int x = 19;
int y = 86;

int temp = x;
x = y;
y = temp;

在long long ago, 当使用寄存器是一件很奢侈的事情的时候, 人们发现有那么一种方法, 可以不使用临时变量:

int x = 19;
int y = 86;

x = x ^ y;
y = x ^ y;
x = x ^ y;

给忘了异或操作的同学复习一下, 省得你们再去Google(当然, 我就是属于忘了现去Google的...): 1 ^ 1 = 0, 0 ^ 0 = 0, 1 ^ 0 = 1, 0 ^ 1 = 1. 不同为1相同为0.

当我们使用某种写作技巧交换2个int的值时:

int x = 19;
int y = 86;

x ^= y ^= x ^= y;

悲剧发生了.

实际上, x = 0, y = 19.

由此, 引发了一个问题, 就是Java中对于x ^= expression这种操作, 是先提取出x的值, 而后计算与expression的异或.

简单来说, Java计算x ^= y ^= x ^= y时:

1.遇到第一个x读出19, 遇到第一个y读出86, 遇到第二个x读出19, 遇到第二个y读出86.

19 ^ 86 ^ (19 ^ 86)

2.计算(第二个x的值)19异或(第二个y的值)86(结果是69)赋给第二个x(注意此时第一个x仍然是19).

19 ^ (86 ^ 69) // 此时, x的值已被更新, 正确的逻辑应当是 69 ^ (86 ^ 69)

3.计算(第一个y的值)86异或(第二个x当前的新值)69(结果是19)赋给第一个y.

19 ^ 19 // 在这里, y的值被正确更新为19, 就是第二个19

4.计算(第一个x的值)19异或(y的新值)19, 得出0并赋给x.

问题就出现在第一次异或之后, 第一个x的值并没有被更新.