Go 结构体的内存大小不仅取决于字段类型，还受字段声明顺序影响，因编译器会插入不同大小的填充字节（padding）以满足对齐要求；空结构体 struct{} 占用零字节，且多个实例可共享同一内存地址。
go 结构体的内存大小不仅取决于字段类型，还受字段声明顺序影响，因编译器会插入不同大小的填充字节（padding）以满足对齐要求；空结构体 `struct{}` 占用零字节，且多个实例可共享同一内存地址。
在 Go 中，结构体（struct）的内存布局遵循严格的对齐规则（alignment rules），其根本目标是保证每个字段的起始地址能被其类型的对齐值（alignment）整除。对齐值通常等于该类型的大小（如 int64 对齐为 8 字节），但受平台架构（GOARCH）影响。若字段顺序不合理，编译器需插入更多填充字节，从而增大整体结构体大小。
以下代码直观展示了字段顺序带来的差异：
package main
import (
"fmt"
"unsafe"
)
type A struct {
a bool // 1 byte
b int64 // 8 bytes, requires 8-byte alignment
c int // 4 bytes on 386, 8 bytes on amd64
}
type B struct {
b int64 // 8 bytes
a bool // 1 byte
c int // 4/8 bytes
}
在 GOARCH=386（32 位）环境下运行结果为：
- unsafe.Sizeof(A{}) == 24
- unsafe.Sizeof(B{}) == 16
原因如下：
-
结构体 A 的布局（386）：
- a bool 占 1 字节，起始偏移为 0；
- b int64 要求地址 % 8 == 0，因此在 a 后插入 7 字节 padding，使 b 偏移为 8；
- c int（386 下 size=4, align=4）紧随其后，偏移为 16；
- 结构体总大小需满足自身对齐（最大字段对齐值 = 8），故向上对齐至 24。
→ 偏移序列：a:0, b:8, c:16，总大小 24。
-
结构体 B 的布局（386）：
- b int64 占 8 字节，偏移 0；
- a bool 偏移 8（无需 padding）；
- c int（size=4, align=4）可紧接在 a 后（8+1=9，但需对齐到 4 的倍数），故在 a 后插入 3 字节 padding，使 c 偏移为 12；
- 结构体总大小为 12 + 4 = 16，且 16 % 8 == 0，满足自身对齐。
→ 偏移序列：b:0, a:8, c:12，总大小 16。
可通过 unsafe.Offsetof 验证实际偏移：
a := A{}
fmt.Printf("A: size=%d, a=%d, b=%d, c=%d\n",
unsafe.Sizeof(a),
unsafe.Offsetof(a.a), unsafe.Offsetof(a.b), unsafe.Offsetof(a.c))
// 输出（386）: A: size=24, a=0, b=8, c=16
b := B{}
fmt.Printf("B: size=%d, b=%d, a=%d, c=%d\n",
unsafe.Sizeof(b),
unsafe.Offsetof(b.b), unsafe.Offsetof(b.a), unsafe.Offsetof(b.c))
// 输出（386）: B: size=16, b=0, a=8, c=12
⚠️ 注意：在 GOARCH=amd64 下，int 类型对齐为 8 字节，此时 A 和 B 均为 24 字节——字段顺序优化仅在混合不同对齐需求字段时才体现价值。
关于空结构体 struct{}：
其大小恒为 0（unsafe.Sizeof(struct{}{}) == 0）。根据 Go 规范，零大小类型不分配独立内存空间，多个变量可能共享同一地址：
a, b := struct{}{}, struct{}{}
fmt.Printf("%p %p\n", &a, &b) // 可能输出相同地址，如 0x1040a120 0x1040a120
这使其成为理想的“占位符”或 channel 信号类型（如 chan struct{}），零开销且语义清晰。
✅ 最佳实践建议：
- 将大对齐字段（如 int64, float64）放在结构体前面；
- 按对齐值降序排列字段（如 int64 → int32 → bool），可最小化 padding；
- 使用 go tool compile -S 或 unsafe.Offsetof 分析布局；
- 避免在性能敏感结构中混用小尺寸高对齐字段（如 bool 后紧跟 int64）。
理解结构体内存布局，是编写高效、低内存占用 Go 程序的关键基础。
