结构体对齐由编译器和平台决定，C++标准仅规定成员声明顺序与地址递增，对齐方式为实现定义；需用offsetof、sizeof和static_assert验证，重排成员可减少填充但不能消除末尾填充，alignas可显式指定对齐而#pragma pack会破坏对齐。
结构体对齐由编译器和平台共同决定，不是C++标准强制规定的
不同编译器（如 GCC、MSVC）、不同架构（x86/x64/ARM）甚至同一编译器不同版本，__alignof__ 和实际布局都可能不同。C++ 标准只规定「成员按声明顺序分配」和「地址递增」，对齐方式是实现定义的。这意味着你不能靠“背规则”写出可移植的紧凑结构体，必须用工具验证。
实操建议：
- 用
offsetof()查每个成员偏移，比“手算”可靠得多 - 用
sizeof()+__alignof__(T)验证整体对齐要求 - 在关键结构体上加静态断言：
static_assert(offsetof(MyStruct, b) == 8); - 跨平台项目务必在目标平台上编译并
sizeof实测，别信 x86 上的经验
成员对齐 = min(成员自身对齐要求, 当前最大对齐要求)
结构体中每个成员的对齐起点，取决于它自身的自然对齐（如 int 通常为 4，double 在 x64 上常为 8），但受限于当前已声明成员中的最大对齐值（即所谓“当前最大对齐”）。这个值从 1 开始，每遇到一个更大对齐的成员就更新。
例如：
立即学习“C++免费学习笔记（深入）”；
struct S {
char a; // offset 0, 当前最大对齐 = max(1, alignof(char)=1) → 1
int b; // 要求对齐到 4，但当前最大对齐=1 → 编译器插入 3 字节填充，offset=4；更新最大对齐 = max(1,4)=4
char c; // alignof(char)=1 ≤ 4，直接放 offset=8；最大对齐仍为 4
}; // sizeof(S) = 12（末尾还要按 max_align=4 补齐到 12）
注意：如果把 int b 换成 long long d（对齐 8），那么 c 就会被挤到 offset=16，整体变成 24 —— 顺序真的影响大小。
末尾填充（trailing padding）不可省略，否则数组越界
结构体总大小必须是其最大成员对齐值的整数倍。这不是为了单个对象，而是为了数组：若 S arr[2] 中第二个元素起始地址不对齐，访问它的成员会触发未定义行为（尤其在 ARM 或开启严格对齐检查时）。
常见错误现象：
- 结构体传给硬件寄存器或网络协议时，多出 1–7 字节“空数据”，导致校验失败
- 用
memcpy按sizeof(T)复制，却只初始化了前offsetof(T, last)字节，末尾填充位是垃圾值 - 用
memset(&s, 0, sizeof(s))是安全的；但用memset(&s, 0, offsetof(T, last)+sizeof(last))会漏掉末尾填充，导致 memcmp 比较失败
手动控制对齐要用 alignas，而非仅靠重排成员
重排成员（把大对齐放前面）能减少内部填充，但无法消除末尾填充，也不能强制提高对齐。真正改变布局的是显式对齐说明：
struct alignas(16) CacheLine {
int a;
double b; // 即使 b 对齐 8，整个 struct 也按 16 对齐
}; // sizeof(CacheLine) 至少为 16，且 &c 一定是 16 的倍数
注意事项：
-
alignas(N)中 N 必须是 2 的幂，且不能小于结构体自然对齐（否则被忽略） -
#pragma pack(N)或__attribute__((packed))会禁用填充，但破坏对齐——可能导致性能暴跌甚至崩溃（如 SSE 指令段错误） - 嵌套结构体中，外层
alignas不影响内层成员偏移，只约束外层起始地址
最易被忽略的一点：即使你用 alignas 把结构体对齐到 64，只要它含一个 char 成员，alignof(char) 还是 1 —— 对齐是针对对象整体，不是每个字节。
