Go函数参数始终值传递,复制的是数据副本;对引用类型(如slice、map)而言,复制的是指向底层数组的指针,故可修改原数据内容,但重新赋值不影响原变量,因副本指针独立。

在Golang中,函数参数传递始终是值传递,也就是说,无论传入的是基本类型还是引用类型,都会对参数的值进行复制。但关键在于:复制的内容到底是什么?这决定了我们在函数内部能否修改原始数据。
引用类型的本质:复制的是“指针”而非“对象”
Go中的引用类型包括 slice、map、channel、interface 和 指针本身。这些类型的变量底层都包含一个指向堆上真实数据结构的指针。当它们作为参数传入函数时,虽然也是值传递,但复制的是这个“指针”的副本,而不是整个数据结构。
这意味着:
- 函数内接收到的是原指针的一个拷贝,但它仍指向同一块内存地址。
- 通过这个副本指针,可以修改原始数据内容。
- 但如果在函数内部重新赋值(例如 make 新的 slice),只会影响局部副本,不会影响原变量。
func modifySlice(s []int) {
s[0] = 999 // 修改底层数组 → 影响原 slice
s = append(s, 4) // 重新分配底层数组 → 只影响局部变量
}
func main() {
a := []int{1, 2, 3}
modifySlice(a)
fmt.Println(a) // 输出 [999 2 3],append 操作未生效
}
map 和 channel 同样遵循该规则
map 和 channel 作为引用类型,在传参时也只复制其内部指针。因此可以在函数中安全地添加或删除元素,这些修改会反映到原始 map 或 channel 上。
立即学习“go语言免费学习笔记(深入)”;
示例:map 的修改可见
func updateMap(m map[string]int) {
m["new_key"] = 100 // 实际修改原 map
}
func main() {
data := map[string]int{"a": 1}
updateMap(data)
fmt.Println(data) // 输出 map[a:1 new_key:100]
}
如何真正传递“可变引用”?使用指针
如果希望在函数内部改变引用本身的指向(比如替换整个 slice 或 map),就需要显式传递指针。
func reassignSlice(ptr *[]int) {
*ptr = []int{4, 5, 6} // 修改指针指向的新地址
}
func main() {
a := []int{1, 2, 3}
reassignSlice(&a)
fmt.Println(a) // 输出 [4 5 6]
}
此时传递的是指向 slice 头部信息的指针地址,函数内通过解引用操作 *ptr 才能修改原始变量。
底层内存视角:栈与堆的协作
从内存管理角度看:
- 局部变量(包括参数)通常分配在栈上。
- 引用类型的真实数据(如 slice 的底层数组、map 的 hash 表)分配在堆上。
- 参数复制仅复制栈上的“描述符”(包含指针、长度等),不复制堆数据。
这种设计兼顾了性能和语义清晰性:避免大对象拷贝开销,同时保持值传递的一致性模型。
基本上就这些。Go 的参数传递机制并不复杂,关键是理解“值传递”复制的是什么——对于引用类型,复制的是指针,不是数据本身。










