Go所有参数传递都是值传递,slice、map、chan、func、*T等类型因值中含指针可间接修改原数据;int、string、数组、结构体等则完全拷贝,修改不影响原值。

Go 里所有参数传递都是值传递
这是最关键的判断:Go 没有引用传递(reference passing),func f(x T) 中的 x 永远是 T 类型值的一份拷贝。但“值”的内容取决于类型本身——比如 slice、map、chan、func、*T 这些类型,它们的底层结构里本身就包含指针字段,所以拷贝后仍能间接修改原始数据。
哪些类型传参后能“修改原值”
不是因为传了引用,而是因为值里自带指针。常见可变类型包括:
-
slice:拷贝的是struct{ ptr *T, len, cap },ptr指向同一底层数组 -
map:拷贝的是*hmap(一个指针),所以m["k"] = v会反映到原map -
chan:同map,本质是*hchan -
*T:拷贝的是地址值,解引用后自然操作原内存 -
func:底层是*funcval,闭包环境共享
而 int、string、struct{...}、[3]int 这类类型,拷贝的是全部字节,函数内修改不影响调用方。
常见误判场景:slice append 后原 slice 不变
这是最常让人困惑的点:虽然 slice 是“可变”的,但 append 可能导致底层数组扩容,生成新地址,此时新 slice 的 ptr 已不同,原变量不受影响。
基于Intranet/Internet 的Web下的办公自动化系统,采用了当今最先进的PHP技术,是综合大量用户的需求,经过充分的用户论证的基础上开发出来的,独特的即时信息、短信、电子邮件系统、完善的工作流、数据库安全备份等功能使得信息在企业内部传递效率极大提高,信息传递过程中耗费降到最低。办公人员得以从繁杂的日常办公事务处理中解放出来,参与更多的富于思考性和创造性的工作。系统力求突出体系结构简明
func modify(s []int) {
s = append(s, 99) // 若触发扩容,s.ptr 已变
}
func main() {
s := []int{1, 2}
modify(s)
fmt.Println(s) // 输出 [1 2],不是 [1 2 99]
}
要真正扩展原 slice,必须返回新 slice 并由调用方接收:s = modify(s)。
想确保不可变?用指针或只读封装
如果传入一个大 struct 又不想拷贝,显式传 *T;如果想禁止修改,别暴露字段,提供只读方法,或用 interface{} 配合私有字段。Go 不提供 const 参数修饰符,所谓“只读”靠约定和封装实现。
真正容易被忽略的,是 slice 和 map 在函数内重新赋值(如 s = s[1:] 或 m = make(map[string]int))不会影响外部变量——因为只是改了那个局部指针值,不是改它指向的内容。









