1.字节对齐的基本概念
现代计算机内存空间都是按照字节划分的,从理论上来讲,对任何类型的变量的访问可以从任何地址开始,但是实际情况是在访问特定类型变量的时候经常在特定的地址去访问,这就需要各种类型数据按照一定的规则在空间上排列,而不是按照顺序一个接一个的排放,它们会要求这些数据的首地址是某个数K(通常是4或者8)的倍数,这就是对齐。
2.为什么要进行内存对齐
尽管内存是以字节为单位,但是大部分处理器并不是按照字节块来存取内存的。它一般会以双字节,四字节,8字节,16字节甚至32字节为单位来存取内存,我们将上述这些存取单位称之为内存存取颗粒度。
考虑4字节存取颗粒度的处理器取int类型的变量(32位系统),该处理器只能从地址为4的倍数的内存开始读取数据。
如果没有内存对齐机制,数据就可以任意存放。如果现在一个int变量存放在从地址为1开始的连续四个字节的内存地址中,该处理器去取数据时,要先从0地址开始读取第一个4字节块,剔除不想要的数据(5,6,7地址),最后留下的两块数据合并放入寄存器。很显然,取一个int数据,要地区两个4字节的内存,这样效率就降低了。
而有了内存对齐的机制,那么int只能存放在以4为倍数的地址(比如0,4,8,16),那么处理器取取数的时候,只需要读取一次4个字节的数据就可以了,操作只有一次,效率大大提高了。
3.内存对齐规则
每个特定平台上的编译器都有自己的默认“对齐系数”(也叫对齐模数)。gcc中默认#pragma pack(4),可以通过预编译命令#pragma pack(n),n = 1,2,4,8,16来改变这一系数。
有效对其值:是给定值#pragma pack(n)和结构体中最长数据类型长度中较小的那个。有效对齐值也叫对齐单位。
对齐规则:
(1) 结构体第一个成员的偏移量为0,以后每个成员相对于结构体首地址的 offset 都是该成员大小与有效对齐值中较小那个的整数倍,如有需要编译器会在成员之间加上填充字节。
(2) 结构体的总大小为 有效对齐值 的整数倍,如有需要编译器会在最末一个成员之后加上填充字节。
例子: