pragma pack控制结构体和联合体成员的内存对齐边界，即每个成员起始偏移及结构体总大小的填充规则，而非单个变量或整体起始地址对齐。
什么是 #pragma pack，它到底在控制什么
#pragma pack 控制的是结构体（struct）和联合体（union）中成员的**内存对齐边界**，不是单个变量的对齐，也不是整个结构体的起始地址对齐——它影响的是“每个成员从哪个偏移开始存放”以及“结构体总大小是否补零到某倍数”。编译器默认按目标平台最自然的对齐方式（比如 x86_64 下通常按 8 字节对齐），而 #pragma pack(n) 会强制所有成员按 ≤n 的最大2的幂对齐（n 只接受 1、2、4、8、16）。
#pragma pack 的三种写法与作用域细节
它不是全局开关，而是有明确的作用域边界，容易因漏写恢复指令导致后续结构体意外被压缩：
-
#pragma pack(n)：设置当前及之后所有结构体的对齐值为n -
#pragma pack()：恢复编译器默认对齐（通常是 8 或 16，取决于平台和编译选项） -
#pragma pack(push, n)+#pragma pack(pop)：压栈/出栈对齐值，更安全，推荐用于头文件中临时修改
错误示例：#pragma pack(1) 写在头文件开头却没配对 #pragma pack()，会导致下游所有包含该头文件的代码结构体都变成 1 字节对齐，可能引发性能下降甚至 ABI 不兼容。
结构体对齐的实际计算规则（别只看 sizeof）
结构体大小 = 最后一个成员结束位置 + 尾部填充，而每个成员的起始偏移必须是 min(成员自身对齐要求, 当前 pack 值) 的整数倍。例如：
立即学习“C++免费学习笔记（深入）”；
#pragma pack(4)
struct S {
char a; // offset 0（1 ≤ 4 → 对齐到 1）
int b; // offset 4（int 通常需 4 字节对齐，4 ≤ 4 → OK）
short c; // offset 8（short 需 2 字节对齐，但前面占了 8 字节，8%2==0 → OK）
}; // sizeof(S) == 12（b 占 4 字节到 offset 8，c 占 2 字节到 offset 10，尾部补 2 到 12）
关键点：
- 成员自身对齐要求（如
int是 4，double在多数平台是 8）不会被pack改变，只是“能否按那个值对齐”受限制 - 结构体总大小必须是“当前 pack 值”和“最大成员对齐要求”二者中的较小者的整数倍（上例中 max(4,4,2)=4，12%4==0）
- 用
offsetof查偏移比只看sizeof更可靠
跨平台和 ABI 兼容性里最常踩的坑
#pragma pack 是编译器扩展，不是 C++ 标准，不同编译器行为略有差异（比如 MSVC 和 GCC 对 #pragma pack() 恢复值的定义不完全一致），而且它直接影响二进制布局：
- 结构体用于网络协议或文件格式时，必须显式
#pragma pack(1)并确保两端编译环境一致，否则读写错位 - 不要在导出的 DLL / SO 头文件里裸写
#pragma pack(n)，应始终用push/pop包裹，避免污染调用方的结构体布局 - 启用
-Wpadded（GCC/Clang）或/Wall（MSVC）能提示因对齐产生的隐式填充，反向验证 pack 是否生效 - 现代替代方案：C++11 起可用
alignas精确控制单个成员对齐，但无法替代pack对整体布局的压缩效果
真正难的不是写对这行指令，而是确认“这个结构体是否会被序列化”“它会不会被其他语言（如 Rust、C#）通过 FFI 访问”“打包值在静态库链接时是否被继承”——这些场景下，#pragma pack 的副作用远比语法本身更值得花时间验证。
