C++结构体大小计算与内存对齐详解

结构体的大小受内存对齐规则影响，不是成员变量大小的简单相加。1. 每个成员变量的起始地址必须是其类型大小的整数倍；2. 结构体总大小必须是内部最大成员对齐值的整数倍；3. 编译器会自动填充字节以满足对齐要求；4. 成员顺序、编译器设置（如#pragma pack(n)）、虚函数机制等因素也会影响最终大小；5. 可通过sizeof()查看结构体实际大小，通过offsetof()宏查看成员偏移量来验证内存布局。

结构体的大小并不是简单地把每个成员变量的大小加起来，而是受内存对齐规则影响。搞清楚这一点，对于优化程序性能、理解数据在内存中的布局非常关键。

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

C++中结构体的大小计算遵循几个基本的内存对齐规则：

• 每个成员变量的起始地址必须是该变量类型大小的整数倍（比如int占4字节，则它的地址必须是4的倍数）。
• 整个结构体的总大小必须是其内部最大成员变量对齐值的整数倍。
• 编译器会根据目标平台和编译选项自动进行填充（padding），以满足这些对齐要求。

举个例子：

struct Example {
    char a;     // 1字节
    int b;      // 4字节
    short c;    // 2字节
};

按照上面的规则：

• char a 占1字节，放在偏移0的位置没问题；
• 接下来是 int b，它需要从4的倍数地址开始，因此前面要填充3个字节；
• 然后是 short c，它需要从2的倍数地址开始，刚好可以紧跟在b之后；
• 最后整个结构体的大小要是最大成员（int=4）的整数倍，所以最终大小是12字节（1 + 3填充 + 4 + 2 = 10，补2字节到12）。

影响结构体大小的常见因素

除了基本的对齐规则外，还有几个容易被忽略的因素会影响结构体的大小：

• 成员顺序：调整成员变量的顺序可以减少填充字节数。例如把 char 放在 int 后面，而不是开头，可能节省空间。
• 编译器设置：有些编译器支持 #pragma pack(n) 指令来手动控制对齐方式，n可以是1、2、4等，表示按n字节对齐。
• 空结构体或匿名结构体：空结构体在C++中大小为1字节，这是为了保证不同的对象有不同的地址。
• 继承和虚函数机制：带有虚函数的类或者有继承关系的结构体会引入虚表指针（vptr），也会增加实际占用的空间。

如何查看结构体的实际大小？

最直接的方法就是使用 sizeof() 运算符：

cout << sizeof(Example) << endl;

这会输出结构体在当前平台下的实际大小。

如果你想更深入地了解结构体的内存布局，可以用调试器查看内存分布，或者用 offsetof() 宏查看每个成员的偏移量：

#include <cstddef>
cout << offsetof(Example, b) << endl;

此外，也可以通过手动插入 char dummy; 或者使用 std::aligned_storage 来模拟结构体内存布局并验证填充情况。

基本上就这些了。只要记住，结构体大小不是成员大小的简单相加，而是一个受对齐规则、编译器策略和成员顺序共同影响的结果。