17370845950

Go中值类型赋值后互不影响且零值可用，引用语义类型赋值后共享底层数据且零值为nil需make初始化；string是不可变的值类型特例。

怎么一眼看出一个类型是值类型还是引用语义类型

Go 语言没有官方定义的“引用类型”，但你可以通过两个简单动作快速判断：赋值后改一个，另一个是否跟着变，以及是否必须用 make 或字面量初始化才可用。

• int、[3]int、struct{}、string：赋值后互不影响，零值可直接用（比如 a := 0），属于值类型
• slice、map、chan、func、interface{}：赋值后修改底层数据会影响其他变量；零值是 nil，不 make 就 panic（如 m := map[string]int{}; m["k"] = 1 合法，但 var m map[string]int; m["k"] = 1 会 panic）
• string 是个特例：它底层含指针，但赋值时复制的是整个结构体（指针+长度+容量），不可变，所以表现像值类型

为什么传参时 slice 改了原变量，int 却不会

因为所有参数都是值传递，区别只在「传的是什么」——int 传的是数字本身，[]int 传的是一个三字段结构体：ptr（指向底层数组）、len、cap。这个结构体很小（通常 24 字节），但它内部的 ptr 指向堆上同一块内存。

• 对 slice 调用 append：如果没扩容，ptr 不变，所有共享该 slice 的变量都能看到新元素
• 对 slice 调用 append 导致扩容：底层数组换地址，原 slice 和新 slice 不再共享数据
• 想真正修改原始 slice 头（比如让长度归零或换底层数组），必须传 *[]int，否则函数内 s = append(s, x) 只改了副本的 ptr，不影响调用方

struct 是值类型，但什么时候该用 *struct

struct 默认按值传递，哪怕它很大。但你不需要“总是”用指针——关键看你要不要共享状态，以及性能是否敏感。

• 小 struct（如 type Point struct{ X, Y int }）：传值更高效，CPU 缓存友好，无 GC 压力
• 大 struct（如含 []byte、map 字段，或超过 64 字节）：传指针避免拷贝开销，也避免意外复制导致状态不一致
• 方法接收者选值 or 指针？如果方法要修改字段，必须用 func (s *MyStruct) SetX(x int)；如果只是读，值接收者更安全（无副作用风险）
• 注意逃逸：即使写 var s MyStruct，若被返回或闭包捕获，s 仍可能逃逸到堆 —— 这和它是值类型不矛盾

容易踩的坑：以为 map 是“引用类型”就不用管初始化

这是最常导致 panic 的误解。你写 var m map[string]int，m 是 nil，不是空 map。对 nil map 做 delete 或 range 是合法的，但写入（m["k"] = v）直接 panic: assignment to entry in nil map。

• 正确初始化方式只有三种：m := make(map[string]int)、m := map[string]int{}、或从函数返回非 nil map
• 切忌用 new(map[string]int) —— 它返回 *map，不是 map，编译不过
• 检查是否为 nil：用 m == nil；检查是否为空：用 len(m) == 0

• 

  同理，nil slice 可以 append（自动 make），nil map 不行 —— 这种不对称性必须记牢

最易被忽略的一点：所谓“引用语义”，本质是结构体里藏了指针。你永远在操作那个小结构体（栈上），只是它连着堆。一旦你把结构体字段（比如 slice 的 ptr）改了，连接就断了。理解这点，就不会在扩容、重切片、重新赋值时掉进共享/不共享的陷阱。