内存对齐是为了提高cpu访问效率并满足硬件要求。1. 数据类型需按自身大小对齐,如int按4字节对齐;2. 结构体成员起始地址必须是其类型对齐值的整数倍,否则插入填充字节;3. 结构体整体大小需为最大成员对齐值的整数倍;4. 成员顺序影响填充量,合理排序可减少空间浪费;5. alignas关键字可显式控制对齐方式,适用于底层优化场景。
理解c++的内存对齐规则,其实核心在于搞清楚两个问题:为什么需要对齐和怎么对齐。简单来说,CPU在读取内存时,访问特定类型的数据如果落在它要求的对齐地址上,效率更高,甚至有些平台强制要求必须对齐,否则会抛异常或者性能下降明显。
所以结构体填充(padding)和alignas关键字,都是围绕这个“对齐”机制来工作的。
结构体内存对齐的基本规则
结构体的大小不等于成员变量大小之和,这是因为编译器会在适当的位置插入填充字节(padding),使得每个成员都满足自己的对齐要求。
立即学习“C++免费学习笔记(深入)”;
常见的对齐规则包括:
- 每个成员的起始地址是其自身对齐值的整数倍
- 结构体整体的大小是对齐值最大的那个成员的整数倍
- 对齐值通常是类型的大小,比如int是4字节,则默认按4字节对齐;但也可以被修改
举个例子:
struct Example { char a; // 1字节 int b; // 4字节 short c; // 2字节 };
假设在32位系统下,默认对齐方式为4字节:
- a占1字节,放在0偏移处没问题;
- b要求从4的倍数开始,所以1~3是填充字节;
- c要求从2的倍数开始,当前偏移是8(刚好符合),占用2字节;
- 整体结构体大小要对齐到最大成员的对齐值(即4),所以最后可能还有2字节填充,总大小为12。
结构体填充是怎么发生的?
填充主要发生在两个地方:
- 成员之间:前面的成员不能满足下一个成员的对齐要求时,中间插入填充
- 结构体末尾:整个结构体的大小如果不是最大对齐值的整数倍,就补上填充
填充的目的不是浪费空间,而是为了访问速度优化。例如,一个int如果被拆成两次读取,效率会大打折扣。
另外,结构体顺序不同会导致填充也不同。比如把char放最后,结构体大小可能会变小:
struct Example2 { int b; // 4字节 short c; // 2字节 char a; // 1字节 };
此时填充量更少,结构体总大小可能是8而不是12。
所以设计结构体的时候,尽量按照对齐大小从大到小排列成员,可以减少填充,节省内存。
alignas关键字的作用与使用场景
C++11引入了alignas关键字,用于显式指定某个变量或结构体的对齐方式。
它可以用来:
- 强制某个变量以更大的对齐方式存储
- 控制结构体整体的对齐方式
- 配合SIMD指令、内存池等底层操作
语法很简单:
alignas(16) int x; // x按16字节对齐 struct alignas(16) MyStruct { int a; double b; };
上面的例子中,即使MyStruct本身只需要8字节对齐,但由于用了alignas(16),整个结构体都会按16字节对齐。这对于某些需要严格对齐的场合非常有用,比如向量计算、DMA传输等。
需要注意的是:
- alignas的参数必须是2的幂次
- 如果多个alignas同时出现,会选择最大的那个
- 使用不当可能导致内存浪费,但能提升访问效率
小结一下
内存对齐是C++中不可忽视的一个细节,特别是在做高性能或嵌入式开发时。结构体填充虽然看起来像“浪费”,但它是为了保证访问效率和平台兼容性。通过合理安排结构体成员顺序、使用alignas关键字,可以更好地控制内存布局,避免不必要的空间浪费或性能损失。
基本上就这些。