在Golang的编程规范中,所有函数参数的传递本质上都是值传递,也就是函数接收的是实参的一个副本,这个规则是理解值类型传递和函数参数传值机制的核心基础。很多开发者会误以为切片、map等类型是引用传递,其实它们传递的也是副本,只是副本中保存的是底层数据结构的引用地址而已。

Golang值传递的核心规则
值传递的含义是:当调用函数时,实参会被复制一份,传递到函数的形参中,函数内部对形参的修改,默认不会影响原来的实参,除非形参本身是指针类型,或者形参指向的底层数据结构可以被修改。
我们可以通过一个简单的整型参数传递示例来验证这个规则:
package main
import "fmt"
// 定义修改整型参数的函数
func modifyInt(num int) {
num = 100
fmt.Println("函数内部修改后的值:", num)
}
func main() {
a := 10
fmt.Println("调用函数前的a值:", a)
modifyInt(a)
fmt.Println("调用函数后的a值:", a)
}
运行上述代码会得到如下输出:
调用函数前的a值: 10 函数内部修改后的值: 100 调用函数后的a值: 10
可以看到,函数内部修改了形参num的值,但是原来的实参a的值并没有发生变化,这就是典型的值类型传递表现,因为int是基础值类型,传递的是值的副本。
常见值类型的传递表现
1. 基础值类型
除了int之外,float、bool、string、rune、byte等基础值类型,传递时都是复制值本身,函数内部的修改不会影响原变量。
以字符串为例:
package main
import "fmt"
func modifyString(s string) {
s = "修改后的字符串"
fmt.Println("函数内部的字符串:", s)
}
func main() {
str := "原字符串"
modifyString(str)
fmt.Println("函数外部的字符串:", str)
}
运行后外部字符串依然是原字符串,符合值传递的预期。
2. 数组类型
数组在Golang中是值类型,传递数组时会复制整个数组的内容,函数内部修改数组元素不会影响原数组。
package main
import "fmt"
func modifyArray(arr [3]int) {
arr[0] = 100
fmt.Println("函数内部的数组:", arr)
}
func main() {
originArr := [3]int{1, 2, 3}
modifyArray(originArr)
fmt.Println("函数外部的数组:", originArr)
}
运行后原数组的第一个元素依然是1,没有发生变化。
3. 结构体类型
结构体也是值类型,传递时会复制整个结构体的所有字段,函数内部修改结构体字段不会影响原结构体实例。
package main
import "fmt"
// 定义结构体
type Person struct {
Name string
Age int
}
func modifyPerson(p Person) {
p.Name = "李四"
p.Age = 20
fmt.Println("函数内部的结构体:", p)
}
func main() {
person := Person{Name: "张三", Age: 18}
modifyPerson(person)
fmt.Println("函数外部的结构体:", person)
}
容易混淆的传递场景
1. 指针类型传递
指针本身也是值类型,传递的是指针变量的副本,但是这个副本和原指针指向同一个内存地址,所以通过指针副本修改指向地址的内容,会影响原指针指向的变量。
package main
import "fmt"
func modifyByPointer(p *int) {
*p = 100
fmt.Println("函数内部通过指针修改后的值:", *p)
}
func main() {
a := 10
fmt.Println("调用函数前的a值:", a)
modifyByPointer(&a)
fmt.Println("调用函数后的a值:", a)
}
这里修改的是指针指向的内存地址的内容,所以原变量a的值会被改变,但这依然属于值传递,因为传递的是指针变量的副本,而不是原指针变量本身。
2. 切片、map、channel类型
切片、map、channel在Golang中本质上是引用类型,但是它们的传递依然是值传递,传递的是这些类型的结构体的副本,这些结构体中包含了指向底层数据的指针,所以修改副本中指向的底层数据,会影响原变量。
以切片为例:
package main
import "fmt"
func modifySlice(s []int) {
s[0] = 100 // 修改底层数组的元素
s = append(s, 4) // 修改切片的len等属性,不会影响原切片
fmt.Println("函数内部的切片:", s)
}
func main() {
sl := []int{1, 2, 3}
modifySlice(sl)
fmt.Println("函数外部的切片:", sl)
}
运行后会发现原切片的第一个元素变成了100,但是长度没有增加,因为append操作修改的是切片结构体的副本的len属性,不会影响原切片的结构体。
总结
理解Golang的参数传值机制只需要记住一个核心:所有参数传递都是值传递,传递的是实参的副本。值类型(基础类型、数组、结构体)的副本是完整的值复制,修改副本不会影响原变量;指针、切片、map等类型的副本虽然复制了本身的结构,但指向的底层数据一致,修改底层数据会影响原变量,修改本身的引用属性则不会影响原变量。掌握这个逻辑后,就可以清晰判断函数参数修改的影响范围,避免开发中的逻辑错误。