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 就彻底分家了。
立即学习“go语言免费学习笔记（深入）”；
- 误以为“切片是引用”，就可能在函数中意外修改上游数据
- 误以为“map 是值”，就可能对
map变量做=赋值后还期望原 map 被清空（实际只是副本被清空） -
string同理：不可变，但底层也含指针；s1 := s2复制的是 header，不拷贝底层字节数组
什么时候必须用指针？
当你要在函数内修改调用方持有的原始值时——尤其是结构体字段或大型数据。Go 不提供“输出参数”语法糖，也不支持 C++ 风格的移动语义，所以显式指针是唯一正解。
- 结构体方法要改字段？方法接收器必须是
*T，不是T - 避免大结构体反复拷贝？传
*MyBigStruct比传MyBigStruct更高效且意图清晰 - 想让多个 goroutine 共享并安全修改同一状态？通常得配
sync.Mutex+ 指针，而不是靠“引用语义”蒙混过关
真正容易被忽略的点是：Go 的“值传递”不等于“低效”。因为编译器会做逃逸分析，小对象栈分配、大对象自动转堆、切片 header 复制仅 24 字节……这些优化都在你写 b := a 的瞬间静默发生。你不需要为“要不要加 *”过度焦虑，只需盯住一个事实：你想不想让被调函数影响原始变量？想，就传指针；不想，就传值——就这么直白。
