Go语言中slice、map、chan等类型赋值时共享底层数据，因其实现含指针字段；range遍历得元素副本，修改无效；for循环变量复用导致闭包捕获同一地址，Go 1.22+默认修复。
Go 语言没有传统意义上的“引用类型”，但 slice、map、chan、func、interface{} 这些类型在使用时表现出**引用语义**——即赋值或传参时，底层数据结构（如底层数组、哈希表、队列）不被复制，多个变量可能共享同一份数据。理解这点，是避免线上事故的关键。
为什么 a := b 有时改 a 会连带影响 b？
这不是“引用传递”，而是这些类型的底层结构包含指针字段。例如：
package main
import "fmt"
func main() {
a := []int{1, 2, 3}
b := a // b 和 a 共享同一底层数组
b[0] = 99
fmt.Println(a) // [99 2 3] —— a 被意外修改了
}
原因在于 []int 的运行时表示是类似这样的结构体：
type slice struct {
array *int // 指向底层数组的指针
len int
cap int
}
-
a和b的array字段指向同一块内存 - 对
b的元素修改，就是直接写那块内存 - 这和
struct或[3]int（数组）完全不同：后者是值类型，b := a会完整复制所有字节
用 range 遍历时修改元素为何无效？
因为 range 给你的是每个元素的**副本**，不是原切片中元素的地址：
立即学习“go语言免费学习笔记（深入）”；
items := []string{"a", "b", "c"}
for _, s := range items {
s = "X" // 修改的是 s 的副本，不影响 items 中任何元素
}
fmt.Println(items) // ["a" "b" "c"]，没变
正确做法是用索引：
for i := range items {
items[i] = "X"
}
- 这是最常被新手忽略的“假修改”陷阱
- 尤其在处理结构体切片时（如
[]User），for _, u := range users { u.Name = "xxx" }完全无效 - 若真需要修改副本再写回，必须显式赋值：
users[i] = u
闭包捕获循环变量为何总拿到最后一个值？
Go 的 for 循环变量是**单个变量复用**，生命周期覆盖整个循环，而不是每次迭代新建一个：
for _, v := range []int{1, 2, 3} {
go func() {
fmt.Print(v) // 所有 goroutine 都打印 3
}()
}
// 输出可能是：3 3 3（顺序不定）
根本原因是：所有匿名函数捕获的都是同一个变量 v 的地址，而循环结束时 v == 3。
- 修复方式：在循环体内用新变量接收，强制创建独立绑定：
val := v; go func() { fmt.Print(val) }() - Go 1.22+ 已默认启用 per-iteration 循环变量语义（可通过
GOEXPERIMENT=loopvar提前体验），但旧版本仍需手动规避 - 同理适用于
defer、append(&v, ...)等所有取地址/逃逸场景
真正危险的不是“引用语义”本身，而是你以为在操作独立数据，其实正踩在共享内存上。只要记住一点：slice、map、chan 的赋值不是拷贝数据，只是拷贝那个“指向数据的指针+长度容量”三元组——其余一切行为，都从这个事实自然推导出来。
