17370845950

Go函数参数均为值传递，包括slice、map、chan、interface；传指针才能修改原变量或替换整个值。

Go 函数参数永远是值传递，包括 slice、map、chan、interface

Go 里没有“引用传递”这个概念。所有函数调用都是值传递 —— 即把实参的**副本**传给形参。哪怕你传的是 slice、map 或 *struct，底层仍是复制一个结构体（如 sliceHeader）或指针值本身。

常见误解是 “slice 是引用类型所以能改原数据”，其实是因为 slice 底层是三字段结构体：{ptr *T, len int, cap int}，复制后两个变量指向同一片底层数组。但如果你在函数内对 slice 做 append 导致扩容，新底层数组就和原 slice 无关了。

• 传 []int：复制 header，原 slice 和形参共享底层数组 → 修改元素（如 s[0] = 99）会影响原 slice
• 传 []int 并执行 s = append(s, x)：若触发扩容，s 指向新数组，原 slice 不受影响
• 传 map[string]int：复制的是 map header（本质是指针），所以增删改 key 都影响原 map
• 传 *MyStruct：复制的是指针值，解引用后修改字段会作用于原 struct

想真正“传引用”？只能显式传指针

如果希望函数内修改能反映到调用方的变量本身（比如让一个 int 变量被赋新值，或让一个 slice 变量重定向到底层新数组），必须传指针。

典型场景：函数需要替换整个 slice 变量（不只是改元素），或初始化一个可能为 nil 的 slice/map/chan/interface。

func fillSlice(s *[]int) {
    *s = []int{1, 2, 3} // 替换整个 slice 变量
}

func main() {
    var s []int
    fillSlice(&s)
    fmt.Println(s) // [1 2 3] —— 成功
}

• 不加 * 和 &，fillSlice(s) 传的是空 slice header 副本，函数内赋值对原 s 无任何影响
• 对 map 或 chan 同理：函数内做 m = make(map[int]string) 不会改变调用方的 m，必须用 *map
• interface{} 也是值类型，传入后修改其内部字段（如是 struct 指针）有效，但重新赋值 arg = somethingElse 无效

struct 字段含 slice/map 时的“浅拷贝”陷阱

定义一个 struct，字段包含 slice 或 map，把它作为函数参数传入时，struct 本身被完整复制（值传递），但其中的 slice/map 字段仍共享底层数组或哈希表。

type Config struct {
    Items []string
    Meta  map[string]string
}

func modify(c Config) {
    c.Items[0] = "hacked"     // ✅ 影响原 c.Items 底层数组
    c.Meta["note"] = "done"   // ✅ 影响原 c.Meta
    c.Items = append(c.Items, "new") // ❌ 若扩容，只改副本的 Items 字段，原 struct 不变
}

• 这种行为叫“浅拷贝”：struct 字段值被复制，但字段指向的堆内存未复制
• 若需完全隔离（深拷贝），得手动 copy slice、遍历赋值 map，或用第三方库如 github.com/jinzhu/copier
• 更安全的做法是：避免在函数内直接修改入参 struct 的复合字段；改为返回新 struct 或只操作指针 *Config

性能提示：大 struct 尽量传指针，小类型传值更高效

Go 编译器不会自动优化大 struct 的值传递。传一个 1KB 的 struct，每次调用都复制 1KB 内存；而传 *Struct 只复制 8 字节（64 位系统）。

• 原则：struct 大小 > 机器字长（通常 8 字节）且不常修改字段 → 优先传指针
• 小类型如 int、string（仅 16 字节 header）、time.Time（24 字节）—— 传值开销小，且避免 nil panic 和并发读写冲突
• string 是只读的：传值安全，函数内不能改原 string 数据（底层 data 字段是只读指针）
• 不要为了“统一风格”强行全用指针 —— 过度解引用反而影响 CPU cache 局部性

最易被忽略的一点：即使你传的是指针，只要函数签名写成 func f(x *MyStruct)，那 x 本身还是一个指针值的副本。你能通过它改它指向的对象，但改不了调用方那个指针变量的地址 —— 除非再加一层指针，即 *