Go函数调用默认值传递,传递参数时创建副本,修改不影响原值;结构体和数组复制整个数据,大对象有性能开销;指针传递可修改原始数据,因副本指向同一地址;切片、map等引用类型传参复制引用头,但可操作共享底层数据;参数副本在栈帧中创建,逃逸分析可能分配到堆,但传参始终为值复制。
在go语言中,函数调用默认使用值传递,这意味着传递给函数的是原始数据的副本,而不是原始数据本身。理解副本创建机制对掌握Go内存模型和避免常见陷阱至关重要。
值传递的基本行为
当变量作为参数传入函数时,Go会创建该变量的一个副本。函数内部对参数的修改不会影响原始变量。
例如:
func modifyValue(x int) {
x = 100
}
func main() {
num := 10
modifyValue(num)
fmt.Println(num) // 输出 10,未改变
}
这里 x 是 num 的副本,修改 x 不会影响 num。
立即学习“go语言免费学习笔记(深入)”;
结构体与数组的副本创建
对于复合类型如结构体和数组,值传递会复制整个数据结构。
这意味着:
- 大型结构体或数组传值可能带来性能开销
- 函数接收的是完整拷贝,修改不影响原值
type Person Struct {
Name String
Age int
}
func updatePerson(p Person) {
p.Name = “Alice”
}
func main() {
person := Person{Name: “Bob”, Age: 30}
updatePerson(person)
fmt.Println(person) // Name 仍为 Bob
}
尽管结构体字段被修改,原始 person 未受影响,因为函数操作的是副本。
指针与引用类型的特殊性
虽然Go只支持值传递,但通过传递指针可以实现“引用语义”。
指针本身是值传递,但其副本仍指向同一内存地址。
func modifyViaPointer(p *int) {
*p = 200
}
func main() {
num := 10
modifyViaPointer(&num)
fmt.Println(num) // 输出 200
}
这里传递的是指针的副本,但副本和原指针都指向 num,因此能修改原始值。
切片、map、channel 等引用类型作为参数时,虽然也是值传递(复制的是引用头结构),但它们内部包含指向底层数据的指针,因此函数内可修改共享数据。
副本创建的深层机制
Go在函数调用时通过栈分配为参数创建副本。基本类型复制值,复合类型复制全部字段,指针类型复制地址。
关键点:
- 副本创建发生在函数调用栈帧中
- 复制深度为浅拷贝(不递归复制指针指向的内容)
- 逃逸分析可能使部分变量分配到堆上,但传参仍是值复制
基本上就这些。Go的值传递机制清晰统一,理解副本如何创建有助于写出高效安全的代码。