C++内存对齐

内存对齐

编译器将程序中的每个“数据单元”安排在字的整数倍的地址指向的内存之中

对齐原则

• 结构体变量的首地址能够被其最宽基本类型成员大小与对齐基数中的较小者所整除。

• 结构体每个成员相对于结构体首地址的偏移量 （offset） 都是该成员大小与对齐基数中的较小者的整数倍，如有需要编译器会在成员之间加上填充字节 （internal padding）。

• 结构体的总大小为结构体最宽基本类型成员大小与对齐基数中的较小者的整数倍，如有需要编译器会在最末一个成员之后加上填充字节 （trailing padding）。

内存对齐原因

• 某些硬件设备只能存取对齐数据，存取非对齐的数据可能会引发异常；
• 某些硬件设备不能保证在存取非对齐数据的时候的操作是原子操作；
• 相比于存取对齐的数据，存取非对齐的数据需要花费更多的时间；
• 某些处理器虽然支持非对齐数据的访问，但会引发对齐陷阱（alignment trap）；
• 某些硬件设备只支持简单数据指令非对齐存取，不支持复杂数据指令的非对齐存取。

内存对齐优点

• 便于在不同的平台之间进行移植，因为有些硬件平台不能够支持任意地址的数据访问，只能在某些地址处取某些特定的数据，否则会抛出异常；
• 提高内存的访问效率，因为 CPU 在读取内存时，是一块一块的读取。

类的大小计算

类的大小是指类的实例化对象的大小，用 sizeof 对类型名操作时，结果是该类型的对象的大小。

计算原则：

• 遵循结构体的对齐原则。
• 与普通成员变量有关，与成员函数和静态成员无关。即普通成员函数，静态成员函数，静态数据成员，静态常量数据成员均对类的大小无影响。因为静态数据成员被类的对象共享，并不属于哪个具体的对象。
• 虚函数对类的大小有影响，是因为虚函数表指针的影响。
• 虚继承对类的大小有影响，是因为虚基表指针带来的影响。
• 空类的大小是一个特殊情况，空类的大小为 1，当用 new 来创建一个空类的对象时，为了保证不同对象的地址不同，空类也占用存储空间。