Go语言中，b := a 对数组（如 [3]int）是值拷贝，分配独立内存；对切片（如 []int）则是头信息拷贝，共享底层数组——二者语义截然不同，直接影响数据可见性与修改行为。
go语言中，`b := a` 对数组（如 `[3]int`）是**值拷贝**，分配独立内存；对切片（如 `[]int`）则是**头信息拷贝**，共享底层数组——二者语义截然不同，直接影响数据可见性与修改行为。
在 Go 语言中，理解变量赋值背后的内存行为，是写出高效、安全代码的关键。尤其当涉及数组（[N]T）与切片（[]T）时，看似相似的语法 b := a，其底层机制却有本质差异：数组赋值 = 深拷贝；切片赋值 = 浅拷贝（仅复制 header）。
? 数组赋值：独立副本，地址完全分离
Go 中的数组是值类型。声明 var a [3]int 会在栈上分配连续的 3 个 int 空间（例如 24 字节）。执行 b := a 时，编译器会将 a 的全部元素逐字节复制到为 b 新开辟的内存区域中：
func testArrayCopy() {
var a [3]int = [3]int{1, 2, 3}
b := a // ← 值拷贝：分配新内存，复制全部元素
fmt.Printf("a[0] address: %p\n", &a[0]) // e.g., 0xc0000160f0
fmt.Printf("b[0] address: %p\n", &b[0]) // e.g., 0xc000016108 ← 不同地址！
a[0] = 99
fmt.Println("a:", a, "b:", b) // a: [99 2 3] b: [1 2 3] ← 互不影响
}✅ 关键结论：
-
&a[0]和&b[0]地址不同 → 证明a与b占用完全独立的内存块； - 修改
a[0]不会影响b[0]→ 典型的值语义（value semantics）； - 此行为适用于所有值类型（
int、string、struct、[N]T），与可变/不可变无关——Go 中没有“引用语义的值类型”。
? 切片赋值：共享底层数组，地址指向一致
切片 []int 并非原始数据容器，而是一个三字段结构体（header）：{ptr *int, len int, cap int}。其中 ptr 指向底层数组的首地址。赋值 b := a 仅复制该 header，不复制底层数组：
立即学习“go语言免费学习笔记（深入）”；
func testSliceShare() {
a := []int{1, 2, 3} // 底层数组分配在堆/栈，a.header.ptr 指向它
b := a // ← 仅复制 header（含 ptr、len、cap）
fmt.Printf("a[0] address: %p\n", &a[0]) // e.g., 0xc0000160f0
fmt.Printf("b[0] address: %p\n", &b[0]) // e.g., 0xc0000160f0 ← 相同地址！
a[0] = 99
fmt.Println("a:", a, "b:", b) // a: [99 2 3] b: [99 2 3] ← 同一底层数组
}✅ 关键结论：
-
&a[0] == &b[0]→ 证实a与b的ptr字段指向同一底层数组起始位置； - 修改
a[0]即修改底层数组第 0 个元素，b[0]自然反映变更 → 典型的引用语义（reference-like semantics）； - 注意：
&a和&b本身地址不同（a和b是两个独立的 header 变量），但a[0]和b[0]的地址相同。
? 为什么设计如此？——语义清晰性与性能权衡
| 类型 | 赋值行为 | 内存开销 | 安全性 | 典型用途 |
|---|---|---|---|---|
[N]T |
全量拷贝 | O(N) | 高（隔离性强） | 小固定尺寸数据、函数参数传递 |
[]T |
Header 拷贝（O(1)） | O(1) | 中（需同步访问） | 动态集合、通用数据容器 |
- ✅ 数组优势：避免意外共享，适合需要确定大小和内存布局的场景（如图像像素块、协议缓冲区）；
- ✅ 切片优势：零拷贝传递，支持
append、copy等动态操作，是 Go 生态最常用的数据结构。
⚠️ 注意事项与最佳实践
勿混淆
&a与&a[0]：&a是切片 header 变量自身的地址（栈上位置）；&a[0]是底层数组首元素地址（可能在堆）。二者无直接关系。并发安全警告：
多 goroutine 同时读写共享底层数组的切片（如a和b）时，必须加锁或使用sync原语，否则触发数据竞争（data race）。大数组慎用值传递：
若type BigArr [10000]int，func f(x BigArr)会导致 80KB 栈拷贝。应改用指针：func f(x *BigArr)。验证共享行为的可靠方式：
永远比较&a[0]和&b[0]，而非&a和&b—— 后者仅反映 header 变量位置，无实际意义。
掌握数组与切片在赋值时的内存语义差异，不仅能解释 &a[0] != &b[0] 这类困惑，更能指导你做出符合性能与安全需求的设计决策：用数组保证隔离，用切片追求效率，用指针规避大拷贝。
