内存对齐是硬件强制要求而非可选优化：x86未对齐仅慢，ARM/RISC-V直接SIGBUS崩溃；struct成员偏移、sizeof和alignof均受对齐规则支配，编译器插入padding，且sizeof(S)受成员顺序影响，指针算术依赖含padding的sizeof，malloc/new默认不满足高对齐需求，对齐属性随编译环境动态变化。
内存对齐不是可选优化，而是硬件强制要求的底层约束。x86 上未对齐访问只是慢，ARM/AArch64 或 RISC-V 上直接触发 SIGBUS 异常导致程序崩溃。
struct 成员偏移和 sizeof 受对齐规则支配
结构体不是简单把成员挨个拼起来。每个成员的起始地址必须是其自身对齐值的整数倍，编译器自动插入填充字节（padding）来满足这一条件；整个结构体的大小还必须是其最大成员对齐值的整数倍（尾部填充）。
-
alignof(char)是 1，alignof(int)通常是 4（32 位）或 4/8（64 位），alignof(double)通常是 8 - 结构体
alignof(S)=max(alignof(member)…)，不受成员顺序影响 - 但
sizeof(S)受成员顺序影响：大对齐成员放前面能减少中间填充 - 例如
struct { char a; int b; }在 64 位系统上通常占 8 字节（a@0，pad@1–3，b@4）；而struct { int b; char a; }占 8 字节（b@0，a@4，pad@5–7）——后者更紧凑
指针算术依赖于对象的实际布局
当你写 ptr + 1，编译器按 sizeof(*ptr) 跳转，这个 size 已经包含了所有 padding。如果手动用 char* 做偏移计算，却忽略对齐带来的 padding，就会越界或读错字段。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 对
struct S { char a; int b; }* p;，p + 1跳sizeof(S)字节（比如 8），不是1 + 4 = 5 - 用
reinterpret_cast<char>(p) + 4</char>访问b是安全的（假设对齐成立），但+ 5就踩进 padding，读出来是未定义值 - 若结构体含
alignas(16)成员，sizeof(S)可能跳到 16 或 32，ptr + 1的步长也跟着变
malloc / new 返回的指针不一定满足自定义对齐
malloc 保证返回地址对齐到 max_align_t（通常 16 字节），但这不够——SSE/AVX 指令要求 16/32/64 字节对齐，new T 对普通类型也不保证超过 max_align_t。
立即学习“C++免费学习笔记（深入）”；
- 需要显式对齐时，用
aligned_alloc(32, size)（C11）或std::aligned_alloc（C++17） - C++17 起，若
T的alignof(T) > __STDCPP_DEFAULT_NEW_ALIGNMENT__（通常 16），new T会调用重载的operator new(std::align_val_t)，此时才真正按需对齐 - 用
malloc分配后强制reinterpret_cast成__m256*是危险的：即使你算对了 offset，地址本身可能未达 32 字节对齐，运行时在 AVX 指令上触发EXC_BAD_ACCESS
最容易被忽略的是：对齐不是“结构体定义完就固定了”的静态属性——它随编译器、目标架构、ABI、甚至 #pragma pack 或 alignas 的局部干预而动态变化。调试时看 offsetof 和 alignof 的实际值，别信直觉。
