采用异或位运算实现无临时变量整数交换的失效场景咨询

你写的这个异或交换逻辑，最致命的问题是当两个指针指向同一个内存地址时（也就是a == b），会直接把目标值清零，完全失效。

具体执行过程是这样的：

• 第一步*a = *a ^ *b，因为*a和*b是同一个变量，等价于*a = *a ^ *a，结果为0。
• 第二步*b = *a ^ *b，此时*a已经是0，而*b和*a指向同一个值，所以计算后还是0。
• 第三步*a = *a ^ *b，同样是0异或0，最终这个变量的值被彻底改成0，完全达不到交换（其实是保持原值）的目的。

除此之外，这个写法还有两个明显的缺陷：

• 可读性极差：相比用临时变量的常规交换写法，异或交换的逻辑非常不直观，后续维护代码的人需要额外花时间理解。
• 通用性差：异或位运算只适用于整数类类型，没法像临时变量交换那样适配各种数据类型。

学校的批改程序应该是覆盖了指针指向同一变量的测试用例，这才检测出了这个错误。

内容的提问来源于stack exchange，提问作者Fayeure