如何在C99中将两个short与一个float无损存入64位double？

首先，你的需求核心是利用double的64位内存空间，原封不动存储三个变量的二进制位——两个short（各16位）加一个float（32位）刚好是64位，和double的总位数一致。C99中我们可以用union实现类型双关（这是标准允许的，比指针强制转换更安全），同时通过uint64_t处理位拼接，完美避开对double的位移操作。

核心思路 #

1. 用union让double和64位整数（uint64_t）共享内存：先把三个变量的位拼进uint64_t，再通过union直接映射到double中，完全不改变二进制位。
2. 用小union处理float的位提取：直接强制转换float到整数可能违反严格别名规则，用union可以安全获取float的二进制位。
3. 手动控制位拼接顺序：避免结构体位域的实现依赖问题，确保跨平台一致性。

完整实现代码 #

#include <stdint.h>
#include <stdio.h>
#include <assert.h>

// 用于安全提取/还原float的二进制位
typedef union {
    float value;
    uint32_t bits;
} FloatConverter;

// 核心存储union：double和64位整数共享同一块内存
typedef union {
    double store;
    uint64_t raw_bits;
} DoubleStore;

int main() {
    // 原始数据
    short x = 4012;
    short y = 1234;
    float s = 0.8f;

    // 1. 将各变量转换为对应的位表示并拼接
    uint64_t x_bits = (uint16_t)x;                // 占据低16位
    uint64_t y_bits = (uint64_t)(uint16_t)y << 16;// 占据中间16位
    FloatConverter fc;
    fc.value = s;
    uint64_t s_bits = (uint64_t)fc.bits << 32;    // 占据高32位

    // 2. 把拼接好的64位数据存入double容器
    DoubleStore ds;
    ds.raw_bits = x_bits | y_bits | s_bits;

    // 3. 从double中取出并还原原始数据
    uint64_t retrieved_raw = ds.raw_bits;
    short retrieved_x = (short)(retrieved_raw & 0xFFFF);
    short retrieved_y = (short)((retrieved_raw >> 16) & 0xFFFF);
    FloatConverter retrieved_fc;
    retrieved_fc.bits = (uint32_t)((retrieved_raw >> 32) & 0xFFFFFFFF);
    float retrieved_s = retrieved_fc.value;

    // 验证数据完整性
    assert(retrieved_x == x);
    assert(retrieved_y == y);
    assert(retrieved_s == s);

    printf("原始数据：x=%d, y=%d, s=%.10f\n", x, y, s);
    printf("取出数据：x=%d, y=%d, s=%.10f\n", retrieved_x, retrieved_y, retrieved_s);

    return 0;
}

关键细节说明 #

• C99合规性：通过union进行类型双关是C99明确允许的行为，不会触发严格别名规则的未定义行为；所有操作都使用C99标准库（stdint.h）提供的固定宽度整数类型。
• 无损性保证：我们只是将三个变量的二进制位原封不动拼接成64位，再通过union映射到double内存中——double在这里只是一个"容器"，并没有当作浮点数运算，因此不会有任何精度损失。
• 字节序兼容性：手动指定位的位置（x在低16位，y在中间，s在高32位），避免了结构体成员字节序的实现差异，代码在大端和小端系统上都能正常工作。
• 为何不用结构体位域：C标准对位域的存储顺序和对齐没有强制规定，不同编译器可能有不同实现，因此用uint64_t手动拼接更可靠。

注意事项 #

• 确保你的系统中short是16位、float是32位、double是64位（这是绝大多数现代系统的标准配置）。如果系统有特殊类型宽度，需要调整位拼接的偏移量。
• 取出float时，我们通过union还原位，所以取出的float和原始float的二进制表示完全一致，即使是近似值（比如0.8）也能完整还原。

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