上一篇我们学会了用结构体把不同数据打包在一起。但有一个谜题我没急着揭开如果你用sizeof量一下结构体的大小结果往往比所有成员大小之和要大。比如structTest{chara;intb;charc;};printf(%zu\n,sizeof(structTest));// 通常输出 12而不是 6为什么 1416实际却是 12这不是 bug而是编译器为了效率而采用的内存对齐。今天我们就来彻底搞懂结构体在内存中的真实布局并认识一个特殊的结构体成员柔性数组。一、为什么需要内存对齐CPU 访问内存时并不是逐字节读取的而是按“块”读取的。在 32 位或 64 位系统中CPU 通常一次读取 4 字节或 8 字节。如果数据跨越了这些“字边界”CPU 可能需要两次内存访问才能读完一个数据然后还要拼接这比一次访问慢得多。有些硬件平台甚至根本不允许非对齐访问程序会直接崩溃。因此编译器会悄悄在结构体的成员之间以及末尾插入一些空白字节padding让每个成员都落在自己的“自然边界”上。这就是内存对齐。简单说对齐是拿空间换时间。作为系统级语言的使用者你需要知道它在干什么才能在一些对内存敏感的场景里做出正确判断。二、对齐规则各平台的对齐规则略有差异但都遵循一个共同原则一个类型为 T 的成员其起始地址必须是 sizeof(T) 的整数倍。结构体整体大小必须是其最宽成员大小的整数倍。我们用 x86-64GCC/Linux为例常见类型的对齐要求和大小类型大小对齐要求char11short22int44float44double88指针88下面我们手工模拟编译器计算struct Test的大小。三、手工计算结构体大小回到开头的例子structTest{chara;// 1 字节intb;// 4 字节charc;// 1 字节};内存布局过程如下1. 分配char a偏移 0偏移: 0 1 2 3 4 5 6 7 8 9 10 11 [a] [?] [?] [?] [?] [?] [?] [?] [?] [?] [?] [?]a占 1 字节放在偏移 0。2. 分配int b对齐要求 4下一个可用偏移是 1。但int的起始地址必须是 4 的倍数。所以编译器插入 3 个填充字节b从偏移 4 开始。偏移: 0 1 2 3 4 5 6 7 8 9 10 11 [a] [pad][pad][pad][ b (4 bytes) ] [?] [?] [?] [?]3. 分配char c对齐要求 1b结束于偏移 7下一个可用偏移是 8。char对齐要求 18 是 1 的倍数可以放入。偏移: 0 1 2 3 4 5 6 7 8 9 10 11 [a] [pad][pad][pad][ b (4 bytes) ] [c] [?] [?] [?]4. 结构体整体对齐当前总大小是 9 字节。但结构体整体大小必须是其最宽成员大小的整数倍。b是int最宽对齐要求 4。所以编译器在末尾补 3 个填充字节总大小变为 12。偏移: 0 1 2 3 4 5 6 7 8 9 10 11 [a] [pad][pad][pad][ b (4 bytes) ] [c] [pad][pad][pad]sizeof(struct Test) 12。成员顺序影响了最终大小。如果我们把b放中间两侧的char都会造成填充。稍后我们会看到如何优化。四、成员顺序对大小的影响看两个结构体structS1{chara;intb;charc;};structS2{chara;charc;intb;};用刚才的方法计算struct S1如上12 字节。struct S2a偏移 01 字节c偏移 1对齐 1直接跟上b偏移 4对齐 4从 4 开始总大小4 4 8 字节。整体对齐 48 是 4 的倍数不补。8 字节。同样的成员调换顺序就省了 4 字节。在大规模数组中这一差异可能很可观。经验法则把对齐要求大的成员放在前面小的放在后面或者同类聚拢可以减少填充。五、使用#pragma pack改变对齐有时你不想让编译器为了性能加填充——比如解析网络协议包、读取固定格式文件、与硬件寄存器结构匹配时你需要严格的字节级控制。可以使用#pragma pack(n)指令强制设置最大对齐值为n字节#pragmapack(1)// 设置对齐为 1 字节即无填充structPacked{chara;intb;charc;};#pragmapack()// 恢复默认对齐printf(%zu\n,sizeof(structPacked));// 输出 6#pragma pack(1)禁止所有填充成员一个接一个紧密排列。#pragma pack()恢复为默认对齐。当然非对齐访问可能导致性能下降或者在少数平台上引发硬件异常。仅在确实需要紧致内存布局时才使用并测试目标平台的兼容性。除此之外GCC 也支持__attribute__((__packed__))效果类似struct __attribute__((packed)) Packed { ... };。六、结构体中的“假”数组柔性数组在 C99 标准中引入了一种特殊结构体成员柔性数组Flexible Array Member。它允许结构体的最后一个成员是一个长度未知的数组。structDynamicBuffer{intlength;chardata[];// 柔性数组成员不占结构体本身的空间};注意几个要点柔性数组必须是结构体的最后一个成员。前面必须至少还有一个其他成员。声明时不写大小[]也不占用sizeof的结果。实际使用时通过malloc一次性分配“结构体 额外数组空间”。#includestdio.h#includestdlib.h#includestring.hstructDynamicBuffer{intlength;chardata[];// 柔性数组};intmain(void){intdata_len100;// 分配结构体本身 data 所需空间structDynamicBuffer*buf(structDynamicBuffer*)malloc(sizeof(structDynamicBuffer)data_len);if(bufNULL)return1;buf-lengthdata_len;strcpy(buf-data,Hello, flexible array!);printf(length%d, data%s\n,buf-length,buf-data);free(buf);return0;}sizeof(struct DynamicBuffer)通常等于sizeof(int)加上可能的填充数组data的空间完全在malloc时额外申请。释放时只需一次free(buf)因为整个空间是一次分配的。为什么不用指针在柔性数组出现之前常见的做法是structOldBuffer{intlength;char*data;// 指向另一块内存};但指针方式有两个缺点需要两次malloc结构体一次数据区一次两次free。数据区和结构体可能位于内存的不同位置缓存不友好。多次调用增加失败风险和内存碎片。柔性数组一次性分配连续内存更高效、更简洁是首选方案。七、计算柔性数组结构体的大小柔性数组成员不会贡献sizeof的值structFlex{inta;doubleb;charc[];};printf(%zu\n,sizeof(structFlex));// 输出 16int 4 对齐 4 double 8c 不计入当你malloc(sizeof(struct Flex) 50)得到的是这 16 字节“头部” 紧接其后的 50 字节c的空间。八、常见错误与陷阱1. 不关心成员顺序导致空间浪费structWaste{chara;doubleb;charc;intd;};// 通常 24 字节或更多调整成员顺序往往能减小体积。如果你在嵌入式或大量数据存储场景这会很关键。2. 对柔性数组的结构体用sizeof认为包含数组structFlex{intlen;chardata[];};structFlexf;printf(%zu\n,sizeof(f));// 只有 int 的大小误以为sizeof包含data会导致分配不足或越界。3. 对非柔性数组的结构体数组尾部越界structFixed{intlen;chardata[10];};structFixedf;f.data[10]x;// 越界有固定大小数组的结构体其数组大小已固定在sizeof内。而柔性数组则需要手动管理空间。4. 错误地在柔性数组之前没有至少一个成员structBad{chardata[];// 错误柔性数组前至少需要一个成员};编译会报错或警告。5. 在栈上声明含柔性数组的结构体structFlexf;// f.data 没有有效空间含柔性数组的结构体必须通过动态内存分配来使用否则data其实没有任何可用的内存。柔性数组的真正空间来自malloc额外申请的部分。九、小结今天你看到了结构体底下的冰山内存对齐是编译器的优化手段会影响结构体大小。你可以调整成员顺序来节省空间也可以用#pragma pack强制紧致排列但要付出性能代价。柔性数组则是一种“结构体头部 可变长数据”的优雅方案比分开使用结构体和指针更高效、更易管理。这两者都是你在系统编程、协议解析、数据库实现中会反复遇到的工具。现在结构体你已经相当熟悉。但有时候多种数据类型需要共享同一块内存比如一个值有时是整数有时是浮点数但不同时存在。这时候就需要共用体union。下一篇我们就来认识这个结构体的“孪生兄弟”以及让常量集合更优雅的枚举enum。课后小练习编写一个结构体struct A包含char、short、int、double各一个。计算sizeof(struct A)然后尝试重新排列成员顺序看看是否能得到不同的大小。用实际的代码验证你的推算。使用#pragma pack(1)对上一题的结构体进行紧致排列观察sizeof的变化。并思考什么时候你可能会需要这样做什么时候不应该做实现一个使用柔性数组的String结构体包含长度和字符数据编写创建函数String* string_create(const char *init)释放函数void string_free(String *s)和拼接函数在原基础上扩容。小挑战设计一个简单的网络数据包结构体固定头部类型、长度 可变长载荷柔性数组。编写构造数据包、打印数据包内容的函数模拟“组包”和“解析”的过程。我们下期见获取本系列示例代码请访问 GitCode 仓库。