C结构体内存布局图解Coursebook一课看懂struct【免费下载链接】coursebookOpen Source Introductory Systems Programming Textbook for the University of Illinois项目地址: https://gitcode.com/GitHub_Trending/co/coursebook你是否发现sizeof打印出的结构体大小总比字段相加的直觉值大这篇文章以开源系统编程教材Coursebook美国伊利诺伊大学 CS 341 课程使用的入门级系统编程教科书为核心用图解方式带你一课看懂C结构体内存布局与struct padding结构体填充的完整原理。读完你不仅能手算对齐还能知道如何重排字段省下内存。为什么 C 结构体内存布局这么重要在 C 语言中struct结构体本质上就是一段连续的内存就像数组一样为所有成员预留空间但它可以混合存储不同类型的数据。In low-level terms, a struct is a piece of contiguous memory, nothing more. —— introc/c_memory_model.tex每个成员都占据一个明确的字节偏移byte offset。指针算术就是在这些偏移上做加减下面的图展示了块内存中指针如何从元数据一步步加到可用区、边界标签再到下一块但连续不等于紧凑——编译器可能悄悄在成员之间插入填充字节padding这就是结构体内存布局的精髓所在。从 6 格到 8 格教科书里的 struct packing 图解Coursebook 在附录中用一个picture结构体讲透了这件事源码见 appendix/appendix.texstruct picture { int height; // 4 字节 pixel** data; // 8 字节64位系统指针 int width; // 4 字节 char* encoding; // 8 字节 }按字段挨着放的直觉你应该认为它长这样——每格 4 字节共 6 格、24 字节严丝合缝然而在 64 位系统上编译器实际会生成8 格32 字节的布局——每个int后面都被塞进 4 字节填充让后面的 8 字节指针能落在对齐边界上 教材原话我们并不要求你手动打包结构体要知道编译器会做这件事。填充的根源在于早期至今CPU 按 32/64 位块读取内存请求的地址通常必须是块大小的倍数。对齐规则速算3 步手算 padding以 64 位系统为例int 4 字节指针 8 字节手算picture的布局只需 3 步步骤规则应用到 picture① 顺序排布成员按声明顺序放置height 从偏移 0 开始② 补齐对齐指针必须落在 8 的倍数处偏移 4 → 补 4 字节 padding③ 累加求总总大小也要取对齐的倍数24 字节 → 补齐到 32 字节 逐字段偏移一览字段偏移大小说明height04正常放置padding44⬅️ 隐形填充data888 字节对齐 ✅width164正常放置padding204⬅️ 隐形填充encoding2488 字节对齐 ✅结论sizeof(struct picture) 32而不是你以为的 24。8 字节的空隙slop就这样产生了。3 种解决方案让结构体更紧凑教材在 appendix/appendix.tex 给出了三种思路由推荐到冒险排序✅ 方案一重排字段首选把所有int放一起、指针放一起两个字段紧挨着就天然对齐了struct picture { int height; int width; // 448正好对齐 pixel** data; // 偏移 8 ✅ char* encoding; // 偏移 16 ✅ }总大小从 32 字节降到24 字节零代价。这是工程实践中最推荐的做法。 方案二packed 属性用__attribute__((packed, aligned(4)))强制编译器取消填充布局回到6 格理想图。但代价是处理器访问data或encoding时每次需要两次内存访问性能下降。 方案三接受填充如果处理器支持非对齐访问编译器也可能自己打包。对大多数业务代码32 vs 24 字节的差异无关痛痒保持可读性即可。真实世界TCP 头部也是结构体这种固定宽度字段 精确偏移的布局思想远不止 C 语言。Coursebook 网络章节画出的 TCP 头部就是经典范例——每个字段被精确安排进 32 位的行中注意底部同样有Padding填充——和 C 结构体填充异曲同工为了让总长度对齐、让接收方能快速定位每个字段。协议栈本质上就是跨机器共享的结构体内存布局约定这正是理解 struct padding 的最大价值布局不一致 数据错乱。图解出处见 networking/networking.tex。结构体内存布局速查清单int对齐到 4 字节边界指针/double对齐到 8 字节边界64 位 Linux 结构体总大小 末尾字段结束地址再补齐到最大成员对齐值的倍数 用sizeof验证、offsetof查看每个字段的真实偏移 字段声明原则按大小从大到小排列天然最小化 padding 跨语言/跨机器传输结构体时务必显式约定布局别依赖编译器默认行为学习路径Coursebook 中的相关文件想系统学习可以按以下路径阅读clone 地址git clone https://gitcode.com/GitHub_Trending/co/coursebook 结构体本质与变长尾introc/c_memory_model.texstruct关键字与字段访问语法introc/language_facilities.tex本篇核心Struct packing 完整图解appendix/appendix.tex 内存分配中的块布局实战malloc/malloc.tex 协议头布局案例networking/networking.tex️ 构建整本教材Makefile 一句话总结结构体 连续内存 对齐规则 隐形 padding。重排字段省空间sizeof验证布局就像 TCP 头部那样把每个字节都用在刀刃上。【免费下载链接】coursebookOpen Source Introductory Systems Programming Textbook for the University of Illinois项目地址: https://gitcode.com/GitHub_Trending/co/coursebook创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考