Go语言中，b := a 对数组（如 [3]int）是完整值拷贝，内存独立；对切片（如 []int）则是结构体头（指针+长度+容量）的浅拷贝，二者共享同一底层数组。这是理解Go内存模型与数据修改行为的关键分水岭。
go语言中，`b := a` 对数组（如 `[3]int`）是完整值拷贝，内存独立；对切片（如 `[]int`）则是结构体头（指针+长度+容量）的浅拷贝，二者共享同一底层数组。这是理解go内存模型与数据修改行为的关键分水岭。
在Go语言中，变量赋值看似简单，实则暗藏类型语义鸿沟。你观察到的现象——[3]int 赋值后 &a[0] 与 &b[0] 地址不同，而 []int 赋值后地址相同——并非异常，而是Go严格遵循类型系统设计的必然结果。
? 数组：值类型，全量复制
[N]T 是Go中的值类型，其长度 N 是类型不可分割的一部分（例如 [3]int 和 [4]int 完全不兼容）。执行 b := a 时，Go会将整个数组的 N × sizeof(T) 字节逐字节复制到新内存空间：
func testArrayCopy() {
a := [3]int{1, 2, 3}
b := a // ✅ 完整复制：3个int（通常24字节）
fmt.Printf("a[0] addr: %p\n", &a[0]) // 如 0xc0000160f0
fmt.Printf("b[0] addr: %p\n", &b[0]) // 如 0xc000016108 → 地址不同！
a[0] = 99
fmt.Println(a, b) // [99 2 3] [1 2 3] → 修改互不影响
}✅ 关键点：
- 修改
a[0]不会影响b[0]，因二者物理内存完全隔离； - 传参同理：
func f(x [1000]int)会复制全部1000个元素，大数组慎用； - 若需原地修改，必须显式传递指针：
func f(p *[3]int) { (*p)[0] = 42 }。
? 切片：引用语义的“轻量结构体”
[]T 并非引用类型，而是含三个字段的值类型结构体（底层实现类似）：
立即学习“go语言免费学习笔记（深入）”；
type sliceHeader struct {
Data uintptr // 指向底层数组首地址
Len int
Cap int
}赋值 b := a 仅复制这24字节（64位系统），Data 字段指向同一块底层数组内存：
func testSliceShare() {
a := []int{1, 2, 3}
b := a // ✅ 仅复制 header（指针+Len+Cap）
fmt.Printf("a[0] addr: %p\n", &a[0]) // 0xc0000160f0
fmt.Printf("b[0] addr: %p\n", &b[0]) // 0xc0000160f0 → 地址相同！
a[0] = 99
fmt.Println(a, b) // [99 2 3] [99 2 3] → 共享底层数组
}⚠️ 重要提醒：
-
append可能破坏共享：当容量不足触发扩容时，底层数组被替换，b仍指向旧数组，a指向新数组； - 安全隔离需显式复制：
newS := make([]int, len(oldS)); copy(newS, oldS)； - 切片不能与
nil直接比较数组：var s []int; s == nil合法，但var a [3]int; a == nil编译报错。
? 为什么设计如此？性能与语义的权衡
| 类型 | 内存开销 | 修改影响 | 典型场景 |
|---|---|---|---|
[N]T |
复制 N×T 字节 |
完全隔离 | 固定尺寸缓冲区、C互操作、性能敏感小结构 |
[]T |
固定24字节 | 共享底层数组（可能） | 动态集合、函数参数、通用数据容器 |
? 经验法则：
- 需要确定内存布局/零拷贝传递 → 用数组；
- 需要动态长度/高效传参/灵活操作 → 用切片；
- 永远不要假设切片共享：若逻辑依赖共享，务必用
&a[0]验证地址；若需隔离，主动copy。
✅ 总结：三句话牢记核心差异
-
数组赋值 = 深拷贝：
b := a创建全新内存块，a和b彼此绝缘； -
切片赋值 = 浅拷贝 header：
b := a让b和a共享底层数组，但b本身是独立变量； - 修改行为由底层决定：改元素值是否影响对方，取决于是否共用同一底层数组，而非变量名。
理解这一差异，是写出高效、安全、无隐式副作用Go代码的基石。
