为什么通过XOR交换整数变量不能在一行中起作用?


问题内容

我想使用XOR运算符交换java中两个整数变量的值。

这是我的代码:

int i = 24;
int j = 17;

i ^= j;
j ^= i;
i ^= j;

System.out.println("i : " + i + "\t j : " + j);

它将正常工作,但以下等效代码无效:

int i = 24;
int j = 17;

i ^= j ^= i ^= j;

System.out.println("i : " + i + "\t j : " + j);

输出是这样的:

i : 0    j : 24

第一个变量为零!Java有什么问题?


问题答案:

根据Java规范(Java 7规范)
第15.26.2节 (第529页)。

形式的复合赋值表达式E1 op= E2等效于E1 = (T) ((E1) op (E2)),其中T是的类型E1,不同之处在于该表达式E1仅被评估一次。

根据 第15.7节“评估命令 (页423)”( _ 重点是_ 我的):

15.7评估单

Java编程语言保证运算符的操作数似乎按特定的评估顺序(即从左到右)进行评估。

15.7.1首先评估左手操作数

在评估右侧操作数的任何部分之前,似乎已对二进制运算符的左侧操作数进行了完全评估。

如果该运算符是复合赋值运算符(第15.26.2节),则对左操作数的求值包括记住左操作数表示的变量以及获取并保存该变量的值以用于隐式二进制操作。

如果二进制操作符的左操作数的评估突然完成,则似乎没有评估右操作数的任何部分。

15.26.2节 (第529页)中有更详细的描述:

如果左侧操作数表达式不是数组访问表达式,则:

•首先,对左操作数求值以产生一个变量。[修剪]

•否则,将保存左侧操作数的值,然后评估右侧操作数。[修剪]

•否则,将使用左侧变量的保存值和右侧操作数的值来执行复合赋值运算符指示的二进制运算。[修剪]

•否则,将二进制运算的结果转换为左侧变量的类型,然后将值集转换(第5.1.13节)转换为适当的标准值集(而不是扩展指数值集),然后转换结果存储到变量中。

文档中的示例

示例15.26.2-2 在评估右侧之前,先保存复合分配的左侧值

  class Test {
      public static void main(String[] args) {
          int k = 1;
          int[] a = { 1 };
          k += (k = 4) * (k + 2);
          a[0] += (a[0] = 4) * (a[0] + 2);
          System.out.println("k==" + k + " and a[0]==" + a[0]);
      }
  }

因此,问题中的表达式被重写并分组为:

i = i ^ (j = j ^ (i = i ^ j));

左手操作数被评估:

i = 24 ^ (j = 17 ^ (i = 24 ^ 17));
    **

由于的值i未如预期那样“更新”,因此i24交换为时,将导致的值变为0 j