为什么通过XOR交换整数变量不能在一行中工作？

Question

我想使用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有什么问题？

Answer 1

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

除了仅计算一次之外,表单的复合赋值表达式E1 op= E2等效于E1 = (T) ((E1) op (E2)),where T的类型.E1E1

根据第15.7节评估订单(页423)(强调我的):

15.7评估订单

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

15.7.1首先评估左手操作数

在评估右侧操作数的任何部分之前,似乎完全评估了二元运算符的左侧操作数.

如果运算符是复合赋值运算符(第15.26.2节),那么对左侧操作数的计算包括记住左侧操作数表示的变量并获取并保存该变量的值以用于隐含的二进制操作.

如果对二元运算符的左侧操作数的求值突然完成,则右侧操作数的任何部分似乎都没有被评估.

第15.26.2节(第529页)中详细介绍:

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

•首先,评估左侧操作数以生成变量.[修剪]

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

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

•否则,二进制运算的结果将转换为左侧变量的类型,经过值集转换(第5.113节)到相应的标准值集(不是扩展指数值集),并且转换结果存储在变量中.

文档中的一个示例

例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未按预期"更新",因此交换i时将导致值为0 .24j