结构体内存占用不等于字段大小之和，是因为编译器按对齐规则插入填充字节（padding）：每个字段起始地址必须为其类型对齐值的整数倍，且结构体总大小为最大字段对齐值的倍数；字段顺序影响padding量，大对齐字段前置可减少浪费。
为什么结构体 sizeof 不等于字段大小之和？
Go 中没有 sizeof 运算符，但结构体内存占用常比字段总和大——这是编译器按对齐规则自动插入填充字节（padding）导致的。核心原因：CPU 访问未对齐内存可能触发性能惩罚甚至 panic（如在 ARM 上访问未对齐 int64）。Go 编译器遵循“字段自然对齐”原则：每个字段起始地址必须是其自身类型宽度的整数倍。
如何用 unsafe.Sizeof 和 unsafe.Offsetof 验证填充位置？
这两个函数是观察结构体内存布局最直接的工具。注意：unsafe 包仅用于调试和底层理解，生产代码慎用。
示例：
type S struct {
a byte // offset 0
b int64 // offset 8（不是 1！因为 int64 要求 8 字节对齐）
c int32 // offset 16（b 占 8 字节，c 从 16 开始，满足 4 字节对齐）
}
unsafe.Sizeof(S{}) 返回 24；unsafe.Offsetof(S{}.b) 是 8；unsafe.Offsetof(S{}.c) 是 16。这说明编译器在 a 后插入了 7 字节 padding。
立即学习“go语言免费学习笔记（深入）”；
- 字段顺序直接影响 padding 量：把大字段放前面通常更省空间
-
unsafe.Offsetof只能作用于字段名，不能是表达式（如unsafe.Offsetof(s.b)错误，必须写unsafe.Offsetof(S{}.b)或unsafe.Offsetof((*S)(nil).b) - 结构体末尾也可能有 padding（为满足整体对齐），比如含
int64的结构体，即使最后是byte，总大小仍可能是 8 的倍数
不同平台下对齐规则会变吗？
Go 的对齐规则由目标架构决定，但语言层做了封装：同一类型在相同 GOOS/GOARCH 下对齐值固定。例如 int64 在 amd64 和 arm64 上都是 8 字节对齐；int32 都是 4 字节对齐。但要注意：
- ARM64 对某些向量类型（如
simd相关）可能有额外要求，标准 Go 类型不受影响 - CGO 交互时，C 结构体的对齐可能与 Go 不同，需用
//go:align或#pragma pack显式控制 - 交叉编译时，
unsafe.Sizeof返回的是目标平台的值，不是本地平台
什么时候该手动优化结构体字段顺序？
只有当结构体被大量实例化（如百万级 slice 元素、高频分配的 map value）且内存敏感时才值得调序。优化思路是按字段类型大小降序排列：
type Bad struct {
a byte
b int64
c int32
} // size = 24
type Good struct {
b int64 // 8
c int32 // 4（紧接后，offset=8）
a byte // 1（offset=12）
} // size = 16（末尾补 3 字节对齐到 16）
关键点：
- 字段顺序只影响 padding，不改变语义或可读性
- 嵌套结构体也会参与对齐计算，外层结构体的对齐值取所有字段（含内嵌）的最大对齐值
- 使用
go tool compile -S查看汇编时，若看到大量movzx或跨 cache line 访问，可能是未对齐信号
真正难的是权衡：字段逻辑分组 vs 内存紧凑。多数业务代码不用动，但做序列化协议、二进制解析或高性能缓存时，一个结构体少 8 字节，乘上千万实例就是几十 MB 差异。
