在讲内存对齐之前,先介绍一个相关的概念——偏移量。
把存储单元的实际地址与其所在段的段地址之间的距离称为段内偏移,也称为“有效地址或偏移量”。
简单来说,在结构体中偏移量指的是结构体变量中成员的地址和结构体地址的差。
考虑下面的代码:
1 | // 定义一个结构体foo,其中含有两个成员 |
上面的代码中,定义了一个结构体,包括一个字符成员flag和整型成员i。在main函数中想通过指针方式将结构体整型成员赋值为0x01020304,但程序运行的结果实际值为0x01,赋值错误。
其类的成员布局在Clang中生成的IR代码为:
1 | %struct.Foo = type { i8, i32 } |
运行结果:
该程序的问题就在指针的赋值处,也就是int *pi=(int*)(&foo.flag+1);
这里。错误在于误以为结构体字符成员flag的地址加1就是整型成员i的地址,然后给该地址赋值,期望i会得到应有的赋值。但赋值结果并非是所期望的那样。导致这个问题的根源是内存字节对齐
。
内存字节对齐是指,为了保证CPU对内存的访问效率,各种类型数据需要按照一定的规则在内存中存放,而不是完全按字节挨字节
的顺序存放。每种数据类型的默认对其长度依赖于编译器的具体实现,不同的编译器可能有所不同。大多数情况下,基本数据类型的对其长度就是自己数据类型所占空间大小(sizeof值)
。
例如,char
类型占用一个字节,那么对齐长度就是一个字节;int
型占4个字节,那么对齐长度就是四个字节,double
类型占8个字节,那么其对齐长度就是8个字节。
对于结构体数据成员,默认的字节对齐一般满足以下几个准则。
- 结构体变量的首地址能够被其最宽数据类型成员大小整除
- 结构体每个成员相对结构体首地址的偏移量都是该成员本身大小的整数倍,如有需要会在成员之间填充字节。(0被认为是任何数的整数倍)
- 结构体变量所占总空间的大小必定是
最宽数据类型每个数据成员类型大小的整数倍。如有需要会再最后一个成员末尾填充若干字节,使得结构体所占空间大小是最宽数据类型大小的整数倍。 - union成员取最大的成员的字节数作为其大小
- 由于结构体类型需要考虑到字节对齐的情况,所以不同的成员声明顺序会影响结构体的大小。
在本文最开始的代码中,结构体foo中的整型成员i占用4个字节,是占用空间最多的成员,所以foo必须驻留在4的整数倍内存地址。字符成员flag的起始地址即为foo的起始地址,flag占用1个字节。整型数据成员i的起始地址因为必须是4的整数倍,所以不能直接存放于&flag+1的位置(flag已占用了一个字节,其偏移量为1,flag+1地址不再是4的整数倍),而是存放于&flag+4的位置。因此,flag后面的有3个字节浪费掉了,这样,foo一共需要占用8个字节的内存空间,而不是5个字节(chat类型和int类型的sizeof之和)
如图,foo的成员在内存中存放的布局为,每格为1字节。
上面的代码中,给&flag+1地址处赋值为一个4字节的整数0x01020304,因为有3个字节没有影响到变量i,所以赋值结果为1.
所以,想要给成员i正确赋值的代码为:
1 | foo.flag='T'; |
字节对齐的细节与具体编译器的实现有关,不同的平台可能会有所不同。一些编译器允许在代码中通过预处理器指令#pragma pack(n)
或类型属性__attribute__((packed))
来改变默认的内存对其条件。
再分析下以下一份代码:
1 | struct student{ |
student类在Clang中生成的IR代码为:
1 | %struct.student = type { i32, double, %"union.student::hold" } |
成员 | 大小 | 偏移量 |
---|---|---|
(int 4byte)year | 4 | 0 |
(double 8byte)math | 8 | 8 |
(union (int)4byte)hold | 4 | 16 |
补4字节 | 24 |
year的偏移量为0,math的偏移量为sizeof(year)+4byte,即为8byte,而hold的偏移量为math的偏移量(8)加上sizeof(math)(8)的大小,即为16,,而union的大小是其占用空间最大的成员(即int degit;(4byte)),sizeof(student)的大小为最后一个成员的偏移量加上其大小(16+4=20),但是得到的结果并不是所有成员大小的整数倍,所以会在hold之后补上4个字节以满足该要求。所以,sizeof(student)的大小为24byte。
突然觉得一图胜千言…..
可以通过#pragma pack(ALIGN_NUM)
预处理指令来指定对齐:
1 | // sizeof(A) == 16 |
使用自定义对齐(1
为不对齐):
1 | // sizeof(A) == 13 |
C++11之后引入了
alignof
关键字,可以得到一个类型的对齐大小。
如下面结构:
1 | struct A |