c - 为什么 a 和 b 在这段代码中没有交换？

Question

代码如下:

#include <stdio.h>

union
{
    unsigned u;
    double d;
} a,b;

int main(void)
{
    printf("Enter a, b:");
    scanf("%lf %lf",&a.d,&b.d);
    if(a.d>b.d)
    {
        a.u^=b.u^=a.u^=b.u;
    }
    printf("a=%g, b=%g\n",a.d,b.d);
    return 0;
}

如果 a>b，a.u^=b.u^=a.u^=b.u; 语句应该交换 a 和 b ，但似乎无论我输入什么，输出始终都是我的输入。

Answer 1

a.u^=b.u^=a.u^=b.u; 在没有序列点的情况下写入 a.u 两次导致未定义的行为。 See here用于讨论此代码。

你可以这样写:

unsigned tmp;
tmp = a.u;
a.u = b.u;
b.u = tmp;

这将交换 a.u 和 b.u。但是，如果 double 在您的系统上是比 unsigned 更大的类型(常见情况)，这可能无法实现交换两个 double 的目标。