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 specification（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.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与24交换时，j的值将为0。< / p>

Answer 2

通过在一个语句中编写交换，您依赖内部i ^= j表达式相对于外部i ^= (...)表达式的副作用。

From the Java specificiation (15.26 Assignment Operators):

有12个赋值运算符;一切都是语法上的   右联想（他们从右到左分组）。因此，a = b = c表示   a =（b = c），它将c的值赋给b，然后赋值   b到a。

[...]

AssignmentOperator：其中之一           = * = / =％= + = - =＆lt;＆lt; =＆gt;＆gt; =＆gt;＆gt;＆gt; =＆amp; = ^ = | =

您可能需要考虑代码的可读性。也许最好是例如将代码放在一个名为swap（）的方法中，或者通过使用temp变量进行实际交换：

int temp = i;
i = j;
j = temp;

Answer 3

最左边的i在更改之前正在评估。

您可以改为：

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

哪个稍微不那么紧凑但有效。

Answer 4

怎么做： i ^ = j ^（j = j ^ i ^ j）;

Answer 5

与@nhahtdh相比，这是一个更短的解决方案。我知道这是一个老问题，但只是想在Stackoverflow上记录它：P

i = i ^ j ^ (j = i)

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

5 个答案:

15.7评估订单

15.7.1首先评估左手操作数