为什么与整数进行异或交换会触发警告？

Question

我输入了以下程序：

#include <stdio.h>

int main(void) {
    int a = 3;
    int b = 42;

    printf("a = %d\nb = %d\n", a, b);

    printf("Exchanging values.\n");
    a ^= b ^= a ^= b;

    printf("a = %d\nb = %d\n", a, b);

    return 0;
}

就可以了。当我尝试编译它时，我得到了这样的信息：

$ gcc test.c -o test -Wall -Wextra -ansi -pedantic-errors
test.c: In function ‘main’:
test.c:11: warning: operation on ‘a’ may be undefined

这几乎是标准代码，不是吗？

为什么会触发警告？据我所知，只要您使用 C 的标准实现，int 默认会实现按位异或。

非常感谢。

Answer 1

变量 a 在表达式中两次用作左值。

请记住，x ^= y 实际上是 x = x ^ y 的快捷方式，这意味着先读取第一个操作数，然后再写入。

如果你把第一个操作从原来的表达式中取出来，就可以了，参见：

   b ^= a ^= b;    // OK
/*    2    1    */

这里，a使用了两次，b使用了三次。由于赋值运算符是从右到左关联的，因此首先计算a ^= b，变量b仅被读取，变量a为读取然后写入，结果 (r1) 传递给第二个操作。在第二次操作中，b ^= r1，b 被第二次读取（给出与先前读取的值相同的值），然后写入。请注意，没有办法进行不同的解释，没有未定义的行为。在上面的语句中，a仅读取一次，b读取两次，但两次读取返回相同的值，并且a和>b 仅写入一次。没关系。

当您在左侧添加第三个赋值时，就会出现问题：

   a ^= b ^= a ^= b;    // NOT OK
/*    3    2    1    */

现在，a 被读取两次，一次在操作 1 上，一次在操作 3 上，并且还在操作 1 和操作 3 上写入。操作 3 中应该返回值，原始值还是操作 1 处理后的值？

聪明的程序员可能会认为操作1在操作3处理完之前就已经完全执行了，但这并不是标准定义的。它恰好适用于大多数编译器。在操作 3 中，编译器很可能为 a 返回与操作 1 返回的值相同的值，从而导致错误的结果。这是未定义的行为。

Answer 2

a ^= b ^= a ^= b; 调用 未定义行为< /a>.你应该使用这个：

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