“在不使用第三个变量的情况下交换两个变量的值”中的潜在问题

Question

我最近提出了这种方法，可以在不使用第三个变量的情况下交换两个变量的值。

a^=b^=a^=b

但是当我在不同的编译器上尝试上面的代码时，我得到了不同的结果，有些给出了正确的结果，有些则没有。

代码有什么严重错误吗？

Answer 1

代码有什么严重错误吗？

是的！

a^=b^=a^=b 实际上会调用 C 和 C++ 中的未定义行为，因为您试图在两个序列之间多次更改 a 的值点。

---

尝试用书写（尽管不是万无一失）

a ^= b;
b ^= a;
a ^= b;

代替a^=b^=a^=b。

PS：切勿尝试在不使用第三个变量的情况下交换两个变量的值。始终使用第三个变量。

编辑：

@caf注意到b^=a^=b^= 运算符的参数求值顺序，> 也可以，因为表达式中对 b 的所有访问都用于计算最终值被存储在 b 中，行为已明确定义。

Answer 2

如果您使用 C++，为什么不在 STL 中使用交换算法呢？它非常适合此目的，并且它的作用非常清楚：

#include <algorithm>
using namespace std;

// ...

int x=5, y=10;    // x:5 y:10
swap(x,y);        // x:10 y:5

Answer 3

基于 R. & 的贡献sellibitze：

使用逗号运算符：

 (a^=b,b^=a,a^=b);

From text &维基百科：

“逗号运算符可用于将相关表达式链接在一起。逗号链接的表达式列表从左到右计算，最右边表达式的值是组合后的值它充当序列点。”

“序列点保证先前计算的所有副作用都已执行，并且后续计算的副作用尚未执行。它会删除未定义的内容。由于原始表达式的执行顺序不明确而产生的行为。”

Answer 4

我建议您对 c++ 使用 std::swap() 。

对于 c，请使用此宏。请注意，您需要先比较 a 和 b，否则当它们指向同一内存位置时，您将擦除该值并使其变为 0。

#define swap(a, b)  ((a) == (b) || (a) ^= (b), (b) ^= (a), (a) ^= (b))

Answer 5

这样做：

a ^= b;
b ^= a;
a ^= b;

Answer 6

这个呢？

a = a + b;
b = a - b;
a = a - b;

Answer 7

我想知道为什么没有人建议在表达式中加上括号。看来已经不是UB了

a^=(b^=(a^=b));

Answer 8

您也可以尝试以下一种，但如果数字足够大，值就会溢出

a=a*b;
b=a/b;
a=a/b;