为何(signed long long)(x)与*(signed long long*)(&x)结果不相等？

一、代码输出"wrong"的核心原因 #

先拆解你的代码逻辑，问题出在double变量x的初始化方式以及两个赋值操作的本质差异：

1. 你对double x = 0x8000000000000000;的理解有误 #

C语言中，0x开头的是整数字面量，不是浮点数的内存字节表示。0x8000000000000000是一个unsigned long long类型的整数，数值为2^63。将它赋值给double时，会执行数值转换：

• 2^63是2的整数次幂，在double的可表示范围内（double能精确表示所有2^k，其中k在-1023~1023之间），所以转换后得到的double值是精确的2^63。
• 该double对应的IEEE754双精度内存表示为0x43E0000000000000（二进制：0100001111100000...0000），和你以为的0x8000000000000000（-0.0）完全不同。

2. v1和v2的赋值逻辑本质不同 #

• v1 = (signed long long)(x);：这是浮点数到整数的类型转换。x的值是2^63，而signed long long的最大值是2^63-1，超出范围的转换属于C标准定义的未定义行为，但多数编译器会返回LLONG_MIN（即-2^63，二进制最高位为1的负数）。
• v2 = *(signed long long*)(&x);：这是直接读取x的内存字节并解释为signed long long。由于x的内存是0x43E0000000000000，在小端序系统（如x86）中，读取后得到的是一个正数（二进制最高位为0）。

一个是负数，一个是正数，自然v1 != v2，输出"wrong"。

如果你的目标是让x的内存为0x8000000000000000（即double的-0.0），正确的初始化方式是用**联合（union）**或memcpy做类型别名：

// 用联合初始化
union {
    double d;
    unsigned long long ull;
} u;
u.ull = 0x8000000000000000;
double x = u.d;

// 或用memcpy
unsigned long long ull = 0x8000000000000000;
double x;
memcpy(&x, &ull, sizeof(x));

二、C标准支持的底层表示打印方法 #

C标准没有直接打印二进制的格式符，但有可靠的方式打印十六进制，也可以基于此实现二进制打印：

1. 打印十六进制底层表示 #

要查看变量的底层十六进制字节，推荐用联合或memcpy（避免严格别名规则的未定义行为）：

#include <stdio.h>
#include <string.h>

int main() {
    double x = 0x8000000000000000; // 你的原初始化
    unsigned long long ull;
    memcpy(&ull, &x, sizeof(ull));
    printf("double x的底层十六进制：0x%llx\n", ull); // 输出0x43e0000000000000

    // 如果是初始化后的-0.0
    union {
        double d;
        unsigned long long ull;
    } u = {.ull = 0x8000000000000000};
    printf("-0.0的底层十六进制：0x%llx\n", u.ull); // 输出0x8000000000000000
    return 0;
}

2. 打印二进制表示 #

C标准没有直接的二进制格式符，但可以基于无符号整数实现可靠的二进制打印：

#include <stdio.h>
#include <string.h>

void print_binary_64(unsigned long long val) {
    printf("0b");
    for (int i = 63; i >= 0; i--) {
        printf("%d", (val >> i) & 1);
    }
    printf("\n");
}

int main() {
    double x = 0x8000000000000000;
    unsigned long long ull;
    memcpy(&ull, &x, sizeof(ull));
    print_binary_64(ull); // 输出完整的64位二进制

    return 0;
}

注意：你的原打印循环从i=63到i>0，漏掉了第0位，导致输出不完整，这也是你看到v2二进制奇怪的原因之一。

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