Go语言中，b := a 对数组（如 [3]int）是完整值拷贝，内存独立；对切片（如 []int）则仅复制头信息（指针、len、cap），底层数组共享——这是理解数据修改行为、内存布局和性能的关键分水岭。
go语言中，`b := a` 对数组（如 `[3]int`）是完整值拷贝，内存独立；对切片（如 `[]int`）则仅复制头信息（指针、len、cap），底层数组共享——这是理解数据修改行为、内存布局和性能的关键分水岭。
在Go语言中，变量赋值看似统一，实则语义迥异：数组是值类型，切片是引用语义的结构体值类型。这一根本差异直接决定了内存分配方式、地址行为及修改可见性。
? 数组赋值：彻底的值拷贝（深拷贝）
当你声明 var a [3]int 并执行 b := a 时，Go会为 b 在栈上分配一块全新的、等长的连续内存空间，并将 a 的全部元素逐字节复制过去。因此：
-
&a[0]和&b[0]必然指向不同地址（如0xc8200126e0vs0xc820012700）； - 修改
a[0] = 42对b[0]完全无影响； - 即使
a和b类型完全相同（如[1000000]int），每次赋值都会触发百万级整数的复制——这不仅是性能开销，更是语义承诺：每个数组变量拥有专属、隔离的数据副本。
func demoArrayCopy() {
a := [3]int{1, 2, 3}
b := a
fmt.Printf("a[0] addr: %p, b[0] addr: %p\n", &a[0], &b[0]) // 地址不同
a[0] = 99
fmt.Println(a, b) // [99 2 3] [1 2 3] → 彼此独立
}⚠️ 注意：
&a和&b是数组变量自身的地址（即整个[3]int结构体在栈中的起始位置），而&a[0]才是首元素地址。二者数值接近但不相等，因变量间存在栈帧偏移。
? 切片赋值：轻量头拷贝 + 底层共享
[]int 并非原始数据容器，而是一个三字段结构体（struct { ptr *int; len, cap int }，共24字节）。b := a 时，仅复制该结构体——其中 ptr 指向同一块底层数组内存：
立即学习“go语言免费学习笔记（深入）”；
-
&a[0]和&b[0]输出相同地址，证明它们共享底层数组； -
a[0] = 99后，b[0]立即变为99； - 但若后续
b = append(b, 4)触发扩容，Go将分配新底层数组，此时b与a脱离共享。
func demoSliceCopy() {
a := []int{1, 2, 3}
b := a
fmt.Printf("a[0] addr: %p, b[0] addr: %p\n", &a[0], &b[0]) // 地址相同！
a[0] = 99
fmt.Println(a, b) // [99 2 3] [99 2 3] → 共享生效
}? 关键对比总结
| 特性 | 数组 [N]T
|
切片 []T
|
|---|---|---|
| 类型本质 | 值类型（固定长度、内存内联） | 引用语义的结构体（含指针+元数据） |
b := a 行为 |
全量元素复制（O(N)） | 仅复制24字节头（O(1)） |
内存地址（&a[0]） |
a 与 b 地址不同 → 独立内存 |
a 与 b 地址相同 → 共享底层数组 |
| 修改传播性 | ❌ 修改 a[i] 不影响 b[i]
|
✅ 修改 a[i] 立即反映在 b[i]（未扩容时） |
| 函数传参 | 大数组拷贝昂贵，小数组安全清晰 | 高效，但需警惕隐式副作用 |
| 初始化语法 |
[3]int{1,2,3}（数组字面量） |
[]int{1,2,3}（切片字面量）或 make([]int, 3)
|
? 实践建议
-
优先使用切片：日常开发中，
[]int更灵活、高效，符合Go惯用法； -
谨慎使用大数组传参：
[10000]int作为函数参数会引发显著栈拷贝，应改用*[10000]int指针或[]int； -
需要隔离时显式复制：若需切片副本，用
copy()或append([]T(nil), s...)； -
调试共享关系：通过
fmt.Printf("%p", &s[0])验证底层数组是否一致，而非比较&s（切片变量地址）。
理解这一差异，是写出高效、可维护Go代码的基石——它不是语法细节，而是Go内存模型与类型系统设计哲学的直接体现。
