结构体或类的单对象物理开销由内存对齐规则和字段排列顺序共同决定；关键在于按对齐基数降序重排字段以减少填充，用offsetof和sizeof验证效果，并注意alignas、继承、数组及嵌套结构体等约束。
结构体或类的单对象物理开销，不只取决于字段大小之和，更由内存对齐规则和字段排列顺序共同决定。精准压缩的关键，在于理解填充（padding）如何产生，并主动控制布局——这不是玄学，而是可计算、可验证的工程动作。
掌握对齐基数与偏移计算逻辑
每个字段的起始地址必须是其“对齐基数”的整数倍。对齐基数 = min(字段自身大小, 编译器默认对齐值)。常见环境下（GCC/Clang，64位系统）默认对齐值等于字段大小，因此：
- char / bool / uint8_t：对齐基数为 1，可放任意地址
- short / uint16_t：对齐基数为 2，需放在偶数地址
- int / float / uint32_t：对齐基数为 4，地址 % 4 == 0
- double / long long / 指针：对齐基数为 8，地址 % 8 == 0
第一个字段总在偏移 0；后续字段从上一字段结束位置开始，向后跳至满足自身对齐要求的首个地址——中间空缺即为填充字节。
按对齐需求降序重排字段（核心策略）
目标是让高对齐字段“带起节奏”，避免小类型割裂大类型造成跨域填充。例如原始结构：
struct Bad {char a;
double b;
char c;
int d;
};
在 64 位系统中实际占 32 字节（a 后填 7 字节对齐 b；c 后填 3 字节对齐 d；末尾再补 4 字节使整体满足 8 字节对齐）。重排后：
double b;
int d;
char a;
char c;
};
→ b 在 0，d 在 8，a 在 12，c 在 13，结构体总大小为 16（满足最大对齐数 8 的倍数），节省 50% 空间。
- 把所有 8 字节对齐成员（double、指针、int64_t）放在最前
- 接着放 4 字节对齐成员（int、float、uint32_t）
- 最后集中放置 1–2 字节成员（char、bool、short）
- 相同类型字段尽量连续，减少分散带来的碎片化填充
验证与量化压缩效果
不要依赖直觉，用 sizeof 和 offsetof 验证每一步：
- 用
#include <cstddef></cstddef>中的offsetof(Type, member)查看各字段真实偏移 - 打印
sizeof(Type)对比重排前后数值，确认是否达到预期（典型收益为 20%–40%，极端案例可达 50%+） - 注意：若结构体含
alignas(n)或__attribute__((aligned))，该字段对齐基数会被强制抬高，需优先识别并纳入排序依据
例如：struct X { alignas(16) double d; char c; }; 中 d 实际按 16 字节对齐，c 必须从偏移 16 开始，此时应把它视作“16 字节成员”参与排序。
避开常见陷阱
重排不是万能解药，几个关键约束必须守住：
- 字段语义顺序不能破坏：如协议解析结构体必须与二进制格式严格一致，此时重排不可行，应改用
#pragma pack(1)并承担性能代价 - 继承与虚函数会引入隐藏字段（如 vptr），它们占据固定位置（通常开头），重排时需将其视为首个 8 字节成员处理
- 数组成员的对齐数 = 元素类型的对齐数，但占用空间 = 元素大小 × 数量，重排时按单个元素对齐需求归类
- 嵌套结构体的对齐数 = 其内部最大对齐数，总大小也需满足该值的倍数，重排外层时应先确定内层对齐属性
不复杂但容易忽略。
