Go中值类型的内存布局受对齐规则影响，结构体字段间可能插入填充字节以满足对齐要求，导致实际大小大于字段之和。例如，type Example struct { a bool; b int32; c int8 } 因对齐需占用12字节，而调整字段顺序为 type Optimized struct { b int32; a bool; c int8 } 可将大小优化至8字节。通过 unsafe.Alignof、Offsetof 和 Sizeof 可分析布局，合理排列字段能节省内存并提升性能。
在Go语言中，理解值类型的内存布局和对齐规则对于编写高效、可预测的程序非常重要。尤其在处理结构体、性能优化或与底层系统交互时，这些知识能帮助我们减少内存占用、提升访问速度。
值类型的内存布局
Go中的值类型包括基本类型（如int、float64）、数组、结构体等。它们的数据直接存储在栈上（除非逃逸分析将其分配到堆），变量名对应的是实际数据的副本。
以结构体为例，其字段在内存中是连续排列的，顺序与定义一致。但字段之间可能插入填充字节，这是为了满足对齐要求。
例如：
立即学习“go语言免费学习笔记（深入）”；
type Example struct {a bool // 1字节
b int32 // 4字节
c int8 // 1字节
}
这个结构体并不会简单地占用 1+4+1=6 字节。由于对齐规则，编译器会在 a 和 b 之间插入 3 字节填充，使 b 从 4 字节边界开始；c 后也可能有填充，使整个结构体大小为 12 字节（取决于平台）。
对齐规则与内存对齐机制
每个类型的对齐保证（alignment guarantee）由 unsafe.Alignof() 返回。常见类型的对齐方式通常等于其大小，但不超过系统最大对齐限制（通常是8或16字节）。
对齐的目的在于：让CPU能高效读写数据。未对齐的访问可能导致性能下降甚至硬件异常。
关键点：
- 每个字段的起始地址必须是其对齐值的倍数
- 结构体整体大小必须是对齐值的整数倍（最后一个字段后可能补空）
- 结构体的对齐值等于其所有字段中最大对齐值
仍以上面的 Example 为例：
- Alignof(a) = 1
- Alignof(b) = 4
- Alignof(c) = 1
- 结构体对齐值 = 4
因此内存分布为：
偏移0: a (1字节)偏移1~3: 填充 (3字节)
偏移4: b (4字节)
偏移8: c (1字节)
偏移9~11: 填充 (3字节)
总大小: 12字节
如何优化结构体内存布局
通过调整字段顺序，可以显著减少内存浪费。建议将大对齐或大尺寸的字段放在前面，相同类型的字段集中排列。
改进版：
type Optimized struct {b int32 // 4字节，对齐4
a bool // 1字节
c int8 // 1字节
// 总共6字节 + 2字节填充使大小为8（对齐4）
}
现在总大小为8字节，比原来的12节省了33%。
使用 unsafe.Sizeof() 和 unsafe.Offsetof() 可验证布局：
fmt.Println(unsafe.Sizeof(Example{})) // 输出 12fmt.Println(unsafe.Sizeof(Optimized{})) // 输出 8
小结
Go的值类型在内存中连续存储，但受对齐规则影响，实际大小可能大于字段之和。理解 Alignof、Offsetof、Sizeof 三个工具函数的作用，有助于分析和优化结构体内存使用。合理安排字段顺序，不仅能节省空间，还能提升缓存命中率。
基本上就这些。掌握这些细节，对高性能编程和底层开发很有帮助。不复杂但容易忽略。
