结构体大小不等于成员大小之和，因编译器插入填充字节以满足对齐要求；对齐值取成员最大对齐值，结构体总大小需为其整数倍；可通过调整成员顺序或alignas/#pragma pack手动控制。
结构体大小为什么不是成员大小之和？
因为编译器会在成员之间插入填充字节（padding），确保每个成员的起始地址满足其对齐要求。比如 int 通常要求 4 字节对齐，如果前一个成员结束在地址 3，编译器就插 1 字节空隙，让 int 从地址 4 开始。
常见错误现象：sizeof(MyStruct) 比预期大很多，尤其在嵌入式或网络协议打包时导致内存浪费或序列化失败。
- 对齐值取自成员中「最大对齐要求」，但受
#pragma pack或alignas影响 - 结构体自身对齐要求 = 所有成员对齐要求的最大值（向上取整到 2 的幂）
- 末尾可能补填充，使整个结构体大小是其自身对齐值的整数倍
怎么手动控制结构体对齐？
两种主流方式：改排列顺序 + 显式对齐约束。前者零成本、最推荐；后者灵活但需谨慎。
使用场景：频繁创建大量实例（如粒子系统、点云数据）、跨平台二进制兼容、DMA 直接访问。
立即学习“C++免费学习笔记（深入）”；
- 把大对齐成员（
double、long long、指针）放前面，小的（char、bool）塞中间或结尾 - 用
alignas(1)强制取消对齐（慎用！可能触发未对齐访问异常） -
#pragma pack(1)全局禁用填充（影响后续所有结构体，建议用push/pop包裹）
示例：
struct Bad { char a; double b; char c; }; // sizeof = 24（x86_64）
struct Good { double b; char a; char c; }; // sizeof = 16
如何查某个类型的对齐要求？
别猜，用标准工具查。C++11 起有 alignof 运算符，它返回的是对齐值（不是偏移），类型本身和变量都可查。
容易踩的坑：误把 alignof(T) 当作 sizeof(T)；或者在模板里忘记 alignof 是编译期常量，不能用于运行时分支判断。
-
alignof(int)通常是 4，但取决于平台和 ABI（ARM64 上可能是 4 或 8） -
alignof(std::max_align_t)是当前平台支持的最大对齐值（常见为 16） - 结构体的
alignof不等于成员alignof之和，而是最大值
什么时候不该优化对齐？
当性能瓶颈不在内存占用，而在缓存行冲突或访问延迟时，盲目压缩反而坏事。比如把原本跨缓存行的两个 int 挤进同一行，可能引发 false sharing。
典型信号：perf 显示高 L1-dcache-load-misses 或 cpu_cycles 没降反升；多线程下修改相邻字段出现性能抖动。
- 高频访问的小结构体（
- 含虚函数或继承的类，
vptr会固定占 8/16 字节，且影响整体对齐 - 用
std::vector<T>时，T对齐会影响分配器行为（尤其是aligned_alloc）
对齐不是越小越好，关键是匹配硬件访问模式和使用上下文。一个被 memcpy 频繁拷贝的结构体，和一个只在栈上临时构造的结构体，优化策略完全不同。
