关于C++中结构体（struct）二进制存储方式的技术问询

首先得指出你代码里的几个关键问题，这也是导致你看到的结果和预期不符的核心原因：

你的代码存在的问题 #

1. 移位操作触发未定义行为：你的extractBit函数里用了1LLU << ith，但unsigned long long只有64位，当ith >= 64时（比如处理128位的结构体时，循环会传64到127的偏移），移位位数超过了类型的总位数，这在C++里是未定义行为——编译器可以生成任何结果，所以你得到的二进制输出根本不可信。
2. 错误的内存解析方式：你把结构体指针直接转成unsigned long long*来逐位读取，这完全忽略了结构体的内存布局规则、字节序（endianness），而且跨类型的reinterpret_cast在这种场景下会导致你错误地解析内存内容。

再来说C++结构体的内存布局规则 #

C++标准并没有给结构体的内存布局定死严格的标准，但有几个必须遵守的规则：

• 结构体的第一个成员一定从结构体的起始地址开始，不会有前置的填充字节（padding）。
• 成员的存储顺序必须和你声明的顺序完全一致，编译器不能重新排序成员。
• 每个成员都要满足自身的对齐要求（比如int通常是4字节对齐，unsigned long long是8字节对齐），如果前一个成员的结束位置不满足下一个成员的对齐要求，编译器会在中间插入padding字节。
• 整个结构体的总大小必须是其最大对齐成员的整数倍，这样当你创建结构体数组时，每个元素都能正确对齐。

针对你的foo结构体，我们来拆解真实的内存布局（假设你的编译器用默认对齐规则，机器是小端序）：

• int a = 2：占4字节，值是0x00000002，小端序下内存中存储为0x02 0x00 0x00 0x00（地址0到3）。
• char b = -1：占1字节，补码是0xFF，存在地址4的位置。
• 接下来的成员unsigned long long x需要8字节对齐，而当前到地址4只用到了5字节，所以编译器会在b后面插入3字节的padding（地址5、6、7），这部分的值是未定义的（通常是栈内存里的垃圾值，比如你看到的0xCC）。
• unsigned long long x = 1LLU << 63：占8字节，值是0x8000000000000000，小端序下存储为0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x80（地址8到15）。

整个结构体的总大小是4+1+3+8=16字节（128位），和你看到的输出大小一致。

如何正确查看结构体的内存二进制 #

要避免之前的错误，你应该逐字节读取结构体的内存，然后逐个字节打印二进制。比如修改你的printlnbits函数：

template <typename T>
void printlnbits(T v) {
    const int byte_size = sizeof(v);
    unsigned char* bytes = reinterpret_cast<unsigned char*>(&v);
    int bit_count = 0;

    // 从高地址到低地址打印，对应大端序的显示逻辑；如果要小端序直接显示，循环从0到byte_size-1
    for (int i = byte_size - 1; i >= 0; --i) {
        unsigned char current_byte = bytes[i];
        // 打印当前字节的每一位，从最高位到最低位
        for (int bit = 7; bit >= 0; --bit) {
            std::cout << ((current_byte >> bit) & 1);
            bit_count++;
            if (bit_count % 8 == 0) {
                std::cout << " ";
            }
        }
    }
    std::cout << "\t" << byte_size * 8 << " bits" << std::endl;
}

用这个函数打印你的foo结构体，会得到符合真实内存布局的二进制：
10000000 00000000 00000000 00000000 00000000 00000000 00000000 00000000 11001100 11001100 11001100 11111111 00000000 00000000 00000000 00000010
其中前8组对应x的8字节（小端序下最高字节在地址15，所以最先打印），中间4组对应padding和b，最后4组对应a。

补充说明 #

你之前提到找IEEE标准没结果，是因为结构体的布局规则属于C语言标准的范畴，不属于IEEE——C标准由ISO/IEC JTC1/SC22/WG21制定，具体可以参考C++标准中的[class.mem]章节。

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