17370845950

Go坚持“一切皆值传递”原则，函数参数、返回值、赋值均复制值；切片/map/channel是含指针的值类型，复制header而非底层数组；需修改原始值时才用指针。

Go 语言没有“值语义设计思想”这个独立概念——它只有统一而坚定的 一切皆值传递 原则。这不是权衡后的语义选择，而是整个类型系统和内存模型的底层铁律。

为什么 Go 坚持“一切皆值传递”？

这不是为了模仿 C 或规避引用，而是工程简洁性的直接体现：统一规则 → 编译器行为可预测 → 开发者心智负担低 → 团队协作时不会因“传参到底是拷贝还是共享”产生歧义。

• 函数参数、返回值、变量赋值，全部走同一套复制逻辑，无需记忆例外
• 没有隐式引用、没有自动装箱/拆箱、没有重载运算符干扰理解
• 配合 go fmt、go vet 等工具链，让“谁拥有这份数据”在代码里一目了然

切片、map、channel 为什么“像引用”？

它们不是引用类型，而是 值类型 + 内部指针 的组合体。例如 []int 的底层结构本质是：

type sliceHeader struct {
    data uintptr
    len  int
    cap  int
}

当你写 b := a（其中 a 是切片），复制的是这个三元结构体，不是底层数组；所以修改 b[0] 会影响 a[0]，但 b = append(b, x) 可能导致底层数组扩容，此时 a 和 b 就彻底分家了。

• 误以为“切片是引用”，就可能在函数中意外修改上游数据
• 误以为“map 是值”，就可能对 map 变量做 = 赋值后还期望原 map 被清空（实际只是副本被清空）
• string 同理：不可变，但底层也含指针；s1 := s2 复制的是 header，不拷贝底层字节数组

什么时候必须用指针？

当你要在函数内修改调用方持有的原始值时——尤其是结构体字段或大型数据。Go 不提供“输出参数”语法糖，也不支持 C++ 风格的移动语义，所以显式指针是唯一正解。

• 结构体方法要改字段？方法接收器必须是 *T，不是 T
• 避免大结构体反复拷贝？传 *MyBigStruct 比传 MyBigStruct 更高效且意图清晰
• 想让多个 goroutine 共享并安全修改同一状态？通常得配 sync.Mutex + 指针，而不是靠“引用语义”蒙混过关

真正容易被忽略的点是：Go 的“值传递”不等于“低效”。因为编译器会做逃逸分析，小对象栈分配、大对象自动转堆、切片 header 复制仅 24 字节……这些优化都在你写 b := a 的瞬间静默发生。你不需要为“要不要加 *”过度焦虑，只需盯住一个事实：你想不想让被调函数影响原始变量？想，就传指针；不想，就传值——就这么直白。