C++中的结构体/类的内存对齐

C++内存对齐问题

为什么要内存对齐？

尽管内存是以字节为单位，但是大部分处理器并不是按字节块来存取内存的.它一般会以双字节,四字节,8字节,16字节甚至32字节为单位来存取内存，我们将上述这些存取单位称为内存存取粒度.
方便计算机寻址，优化寻址速度；

内存对齐规则

有效对其值： 是给定值#pragma pack(n)和结构体中最长数据类型长度中较小的那个。有效对齐值也叫对齐单位。

• 第一个成员在与结构体变量偏移量为 0 的地址处，以后每个成员相对于结构体首地址的 offset 都是该成员大小与有效对齐值中较小那个的 整数倍，如有需要编译器会在成员之间加上填充字节。
• 结构体的总大小 为 成员中最大有效对齐值 的整数倍，如有需要编译器会在最末一个成员之后加上填充字节。
• 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处

• 不同编译器默认的 有效对齐值不同， 64位系统中VS默认的有效对齐数为 8
• 可以通过 #pragma pack( 数字) 来设置默认的对齐数

类 与 结构体一样，如果有虚函数的话 多了 虚函数表指针；64位系统下 8byte， 32位 4byte

#pragma pack(8)

struct SA{
	char A; // offset 0
	char B; // offset 1 有效对齐值 = [min（类型大小， 小对齐数) -> min(1, 8）]
	int C; // offset 4 占用 4 5 6 7  [min(4, 8) ]
};// 结构体总大小 1 + 1 + 2（填充）+ 4 = 8

struct SB{
	char A; // offset 0
	int C; // offset 4 占用 4 5 6 7 [min(4, 8)]
	char B; // offset 8 
}; // 结构体大小目前为 1 + 3(填充) + 4 + 1 = 9 需要 为有效对齐值（4）的整数倍 因此填充 9 10 11； 大小变为12


struct test
{
	int a; // offset 0
	double c; // offset 8 有效对齐值 = min(8, 8);
}; // 结构体大为 4 + 4（填充） + 8 = 16 为有效对齐值的整数倍； 
struct testMemory
{
	int a; // offset 0
	long b; // offset 4 有效对齐值 = min(4, 8)
	char c; // offset 8
	struct test l; // offset 16 嵌套结构体的最大对齐数为 8；
}; // 结构体目前大小为 4 + 4 + 1 + 7（填充）+ 16 = 32

class my {
private:
	int a;// offset 0 
	double b; // offset 8 有效对齐值 = min(8, 8);
	char c; // offset 16
    // vptr 64位 下为 8 
    // 因此 vptr offset 24 有效对齐值 = min(8, 8)
	virtual int m() { return 0; }
	virtual int s() { return 0; } 
};// 类大小为 4 + 4（填充）+ 8 + 1 + 7（填充）+ 8 = 32

int main()
{
	cout << "SA: " << sizeof(SA) << endl << "SB: " << sizeof(SB) << endl;
	cout << "test: " << sizeof(test) << endl << "testMemory: " << sizeof(testMemory) << endl;
	cout << "class my: " << sizeof(my);
	return 0
}

vs64位下对齐数为 8
运行结果

#pragma pack(4)
运行结果

引用：
C/C++内存对齐详解：https://zhuanlan.zhihu.com/p/30007037
C/C++中内存对齐的问题的讲解：https://developer.aliyun.com/article/1260151