内存对齐（Memory Alignment）

内存对齐是计算机系统中关于数据存放位置的一项约定,要求某种类型的数据其起始地址必须是特定字节数的整数倍。这个字节数称为对齐值,通常等于该类型的大小或处理器的字长。对齐的目的是让硬件能够以最高效的方式读写内存。

概述

处理器访问内存往往以固定宽度的块为单位。若一个多字节数据横跨了两个对齐块的边界,处理器可能需要两次访存并进行拼接,称为非对齐访问,这会带来额外开销。在某些体系结构上,非对齐访问甚至会直接触发硬件异常。因此编译器在排布变量和结构体成员时,会自动插入填充字节以满足对齐要求。

核心原理

• 每种数据类型都有其自然对齐值,通常为类型大小与平台限制中的较小者。
• 结构体成员按声明顺序排布,编译器在成员间插入填充以满足各自的对齐。
• 结构体整体的对齐值取其最大成员的对齐值,末尾也可能补齐以便数组连续存放。
• 调整成员声明顺序可以减少填充,从而缩小结构体体积。

应用场景

内存对齐深刻影响数据结构的实际占用空间,合理安排字段顺序能显著节省内存,这在海量对象或嵌入式环境中尤为关键。它也与缓存行密切相关,对齐良好的数据能更好地利用缓存并规避假共享。在编写跨平台代码、解析二进制协议、进行内存映射和硬件寄存器访问时,理解对齐规则尤为重要。

常见问题

问:为什么结构体的大小比字段之和还大?答:因为编译器为满足各成员的对齐要求,在成员之间或末尾插入了填充字节,这些填充计入结构体的总大小。

问:如何减少对齐带来的空间浪费?答:可将较大的成员排在前、较小的排在后,按大小递减顺序声明字段以减少填充;部分语言也提供紧凑排布的手段,但可能牺牲访问性能。