结构体默认对齐值取成员中最大alignof(T)，总大小须为其整数倍；如struct S{char a;double b;}对齐值为8，a后补7字节，总大小为16；跨平台需用static_assert校验偏移与尺寸。
结构体默认对齐规则怎么算
编译器不是随便排内存的，它按「成员中最宽基本类型的对齐要求」作为默认对齐值（比如 int64_t 是 8 字节，char 是 1 字节），但最终结构体总大小必须是该对齐值的整数倍。也就是说：struct S { char a; double b; }; 里，虽然 a 只占 1 字节，但 b 要求地址 % 8 == 0，所以 a 后面会补 7 字节空隙；整个结构体大小也得是 8 的倍数（实际为 16）。
常见错误现象：sizeof(S) 比所有成员加起来大很多，序列化到文件或网络时读出来字段错位、值全乱。
- 对齐值取的是成员中最大
alignof(T)，不是sizeof(T)（例如std::max_align_t在多数平台是 16，但结构体没用到__m128类型时不会自动拉高） - 嵌套结构体时，内层结构体的对齐要求也会参与外层计算，不能只看叶子成员
- 不同编译器/平台默认行为可能不一致（比如 Windows MSVC 默认
#pragma pack(8)，Linux GCC 默认自然对齐）
用 alignas 强制指定对齐
alignas 是 C++11 标准方式，作用在变量或类型上，能覆盖默认对齐。但它只能放大对齐（如从 4 改成 16），不能缩小（设成 1 无效，除非配合打包）。
使用场景：需要和硬件寄存器、DMA 缓冲区或 SIMD 指令对齐时，比如 AVX2 要求 32 字节对齐。
立即学习“C++免费学习笔记（深入）”；
struct alignas(32) Vec3 {
float x, y, z;
}; // 即使只有 12 字节，也会补到 32 字节边界
-
alignas参数必须是 2 的幂，且不小于该类型的自然对齐值 - 对结构体整体加
alignas不影响内部成员偏移，只影响该结构体变量的起始地址 - 若同时用了
#pragma pack，alignas仍优先（C++17 起明确保证）
#pragma pack 和 __attribute__((packed)) 怎么选
这是两个最常用的“压缩对齐”手段，但语义和风险完全不同。
#pragma pack(n) 是编译器指令，控制后续结构体的默认对齐上限（n=1/2/4/8/16），全局生效、可嵌套、可取消；而 __attribute__((packed))（GCC/Clang）或 #pragma pack(push, 1)（MSVC）是针对单个结构体的紧凑打包，更安全可控。
struct __attribute__((packed)) PackedHeader {
uint16_t len;
uint32_t crc;
}; // sizeof == 6，无填充
-
#pragma pack(1)会让所有成员紧挨着排，但可能导致未对齐访问——ARMv7 或某些 x86 配置下会触发bus error或性能暴跌 -
__attribute__((packed))仅影响当前结构体，不影响其他类型，适合协议解析等明确需要字节级布局的场景 - Windows 下用
#pragma pack更通用；Linux 下推荐用alignas+__attribute__((packed))组合，避免污染全局
跨平台结构体对齐要注意什么
结构体在不同平台二进制不兼容，不只是字节序问题，对齐差异才是静默崩溃的主因。比如一个在 x86_64 Linux 上 sizeof=24 的结构体，在 ARM64 macOS 上可能是 32，因为 long 和指针宽度不同，且 alignof(max_align_t) 可能是 16 而非 8。
- 永远不要直接
memcpy结构体到文件或 socket——先用static_assert锁死尺寸和偏移：static_assert(offsetof(S, field) == 8); - 网络协议或持久化格式，必须用明确字段序列化（如
uint32_t htonl(x)+ 手动拼包），而不是依赖结构体内存布局 - 第三方库头文件如果没声明对齐，自己封装一层加
alignas或packed，别信注释里的“保证 4 字节对齐”
对齐不是调优选项，是内存布局契约。一旦涉及二进制接口，每个字节的位置都得有显式声明，否则改个编译器版本就可能出事。
