为何不同C编译器对含位域的struct计算sizeof结果不同？

示例代码 #

#include <stdio.h>

int main() {
    typedef struct {
        unsigned int a : 1;
        unsigned char b : 1;
    } bf;

    printf("%ld\n", sizeof(bf));

    return 0;
}

问题描述 #

这段代码中，预期sizeof(bf)的结果为4，但Visual Studio输出8，部分在线编译器输出符合预期的4。原以为unsigned int a占据的4字节空间可被unsigned char b复用剩余部分，结果却显示两者使用了独立存储空间，核心疑问是忽略了什么规则？

原因解析 #

1. 位域存储单元的实现定义规则 #

C标准并未强制要求不同基类型的位域必须共享或分开存储，具体行为由编译器实现决定：

• Visual Studio策略：位域的存储单元大小严格匹配其基类型（unsigned int对应4字节，unsigned char对应1字节），且不同基类型的位域必须分配独立存储单元，无法复用空间。
• 部分在线编译器（如GCC）策略：会尝试将不同基类型的位域尽可能打包到同一存储单元（只要剩余空间足够），因此unsigned char b可以复用unsigned int a的剩余31位空间，总大小仅为4字节。

2. 结构体内存对齐的放大效应 #

Visual Studio默认采用的结构体对齐规则要求：结构体整体大小必须是其最大成员对齐单位的整数倍。此处最大成员的对齐单位是unsigned int的4字节，因此unsigned char位域的1字节存储单元会被填充至4字节，最终总大小为4+4=8字节。

解决方案 #

若希望在Visual Studio中得到4字节的结果，可将两个位域的基类型统一：

typedef struct {
    unsigned int a : 1;
    unsigned int b : 1; // 统一为unsigned int类型
} bf;

也可通过编译器扩展指令（如#pragma pack(push,1)）强制取消对齐，但这可能影响内存访问性能，需谨慎使用。

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