XOR 交换输出预测

Question

#include <stdio.h>

void fun(char a[]){

  a[0]^=a[1]^=a[0]^=a[1];

}

int main(int argc, char **argv){

  char b[10];
  b[0]='h';
  b[1]='j';
  fun(b);
  printf("%c",b[0]);

  return 0;
}

这段代码有什么问题。它应该交换 b[0] 和 b[1] 但它没有交换。

Answer 1

a[0]^=a[1]^=a[0]^=a[1]; 的未定义行为。评估和分配的顺序未定义。

Answer 2

“新 C 标准。经济和文化评论”一书给出了两种变体xor-swap 第 1104 页：

Example
1 #define SWAP(x, y) (x=(x ^ y), y=(x ^ y), x=(x ^ y))

2 #define UNDEFINED_SWAP(x, y) (x ^= y ^= x ^= y) 
     /* Requires right to left evaluation. */

因此，第二个变体不可移植并且是不正确的。