如何理解C++的内存对齐规则 探讨结构体填充和alignas关键字

内存对齐是为了提高cpu访问效率并满足硬件要求。1. 数据类型需按自身大小对齐,如int按4字节对齐;2. 结构体成员起始地址必须是其类型对齐值的整数倍,否则插入填充字节;3. 结构体整体大小需为最大成员对齐值的整数倍;4. 成员顺序影响填充量,合理排序可减少空间浪费;5. alignas关键字可显式控制对齐方式,适用于底层优化场景。

如何理解C++的内存对齐规则 探讨结构体填充和alignas关键字

理解c++的内存对齐规则,其实核心在于搞清楚两个问题:为什么需要对齐怎么对齐。简单来说,CPU在读取内存时,访问特定类型的数据如果落在它要求的对齐地址上,效率更高,甚至有些平台强制要求必须对齐,否则会抛异常或者性能下降明显。

如何理解C++的内存对齐规则 探讨结构体填充和alignas关键字

所以结构体填充(padding)和alignas关键字,都是围绕这个“对齐”机制来工作的。

如何理解C++的内存对齐规则 探讨结构体填充和alignas关键字


结构体内存对齐的基本规则

结构体的大小不等于成员变量大小之和,这是因为编译器会在适当的位置插入填充字节(padding),使得每个成员都满足自己的对齐要求。

立即学习C++免费学习笔记(深入)”;

常见的对齐规则包括:

如何理解C++的内存对齐规则 探讨结构体填充和alignas关键字

  • 每个成员的起始地址是其自身对齐值的整数倍
  • 结构体整体的大小是对齐值最大的那个成员的整数倍
  • 对齐值通常是类型的大小,比如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关键字,可以更好地控制内存布局,避免不必要的空间浪费或性能损失。

基本上就这些。

© 版权声明
THE END
喜欢就支持一下吧
点赞7 分享