结构体默认对齐需满足三规则：成员起始偏移为其对齐数（min(类型大小, 编译器默认对齐值)）的整数倍；结构体总大小为最大对齐数的整数倍；编译器自动插入填充字节。
结构体默认对齐是怎么算的
结构体默认对齐不是简单加总成员大小，而是由编译器按规则插入填充字节。关键看三点：每个成员的起始偏移必须是其「对齐数」的整数倍；对齐数 = min(成员类型大小, 编译器默认对齐值)；整个结构体大小必须是最大对齐数的整数倍。
比如在 VS（默认对齐值 8）下：struct { char a; int b; } 中，a 在 offset 0，b 需要 4 字节对齐，所以从 offset 4 开始，中间填 3 字节；结构体总大小要对齐到最大对齐数 4 的倍数，最终为 8。
常见错误现象：sizeof 结果比预期大、跨平台序列化时结构体二进制布局不一致、用 memcpy 拷贝结构体后字段值错乱。
#pragma pack 改变对齐边界
#pragma pack(N) 是最常用的手动控制方式，它限制编译器使用的最大对齐值为 N（仅限 1/2/4/8/16）。它影响后续所有结构体，直到遇到 #pragma pack() 或 #pragma pack(pop)。
立即学习“C++免费学习笔记（深入）”；
-
#pragma pack(1)：完全禁用填充，成员紧挨着排，但可能触发 CPU 硬件异常（尤其 ARM 或某些嵌入式平台）或显著降速 -
#pragma pack(4)：强制所有成员最多按 4 字节对齐，double成员也会被截断对齐到 4，而非默认的 8 - 注意：
#pragma pack(show)可在 GCC/Clang 中打印当前对齐值，VS 也支持但需开启特定诊断
使用场景：与硬件寄存器映射、网络协议打包、文件格式解析等要求精确字节布局的场合。但别在头文件里裸写 #pragma pack，容易污染下游代码——应配对使用 push/pop。
alignas 指定精确对齐要求
alignas 是 C++11 引入的标准化方式，比 #pragma pack 更安全、作用域更明确。它不改变结构体内成员排布，只约束该类型或变量的**起始地址**对齐要求。
示例：
struct alignas(16) Vec4 {
float x, y, z, w;
};
这个结构体实例分配内存时，首地址一定是 16 的倍数；但内部仍按默认规则对齐（float 对齐数为 4，无填充）。
常见误用：
- 对单个成员用
alignas（如alignas(8) int b;）会抬高该成员起始偏移，但不保证整体结构体大小变化 —— 其他成员仍按原规则排布 -
alignas值不能小于其自然对齐数（如alignas(2) double d;在多数平台非法，编译报错error: alignment is less than the alignment of type 'double'） - 结构体嵌套时，外层
alignas不影响内层成员对齐，只约束该结构体变量自身的地址
结构体成员排序影响实际大小
对齐填充发生在成员之间，所以成员声明顺序直接影响填充量。核心原则：按成员大小**降序排列**，能最小化填充。
对比这两个结构体：
struct Bad { char a; int b; char c; }; // sizeof = 12（a+3填充+b+c+3填充）
struct Good { int b; char a; char c; }; // sizeof = 8（b+a+c+1填充，最后补0到4倍数）
这不是玄学，是编译器逐个放置成员时的必然结果。降序排列后，大成员先占位，小成员更容易“塞进”前面留下的空隙。
容易被忽略的点：
- bool、char、short 这些小类型混在一起时，尽量集中声明，避免被大类型隔开
- 指针类型（
void*、std::shared_ptr）在 64 位系统上通常为 8 字节，应视同double处理 - 继承链中的基类成员也参与对齐计算，虚函数表指针（vptr）会额外占 8 字节（x64），且总是放在开头
真正麻烦的从来不是怎么对齐，而是对齐之后你没意识到 padding 字节里全是未定义值 —— 用 memset 初始化或 == 比较两个结构体前，得先确认 padding 是否被清零或忽略。
