Go语言中所有赋值和参数传递均为值拷贝，即复制数据副本；基本类型、结构体、数组复制后互不影响，而切片、map、channel虽为值传递，但其底层共享数据结构，故修改元素会影响原变量；若需修改原值，应使用指针传递。
在 Go 语言中，理解变量复制行为和函数参数传递的关键在于“值语义”这一核心机制。Go 中所有类型的赋值和参数传递都是以“值拷贝”的方式进行的，也就是说，传递的是数据的副本，而不是原始数据本身。这个原则适用于基本类型、结构体、数组等，但对于指针、切片、map 和 channel 这些引用类型包装器，其内部行为需要更细致的理解。
值语义的基本含义
Go 的设计哲学强调简单和可预测性，因此它统一采用值语义：每当一个变量被赋值或作为参数传入函数时，系统会创建该值的一个副本。
例如：
func main() {
a := 10
b := a // b 是 a 的副本
b = 20
fmt.Println(a) // 输出 10，a 不受影响
}
这里 b := a 创建了 a 的副本，修改 b 不会影响 a。这种行为就是典型的值语义。
立即学习“go语言免费学习笔记（深入）”；
结构体与数组的复制行为
对于复合类型如结构体和数组，Go 同样执行深拷贝（逐字段/元素复制）：
type Person struct {
Name string
Age int
}
func update(p Person) {
p.Age = 30
}
func main() {
person := Person{Name: “Alice”, Age: 25}
update(person)
fmt.Println(person) // Age 仍是 25
}
函数 update 接收的是 person 的副本，对副本的修改不会反映到原变量上。要想修改原始结构体，必须传指针：
func update(p *Person) {
p.Age = 30 // 等价于 (*p).Age = 30
}
切片、map 和 channel 的特殊性
虽然 Go 始终使用值语义，但像切片、map、channel 这些类型本质上是“描述符”或“句柄”，它们的值中包含指向底层数据结构的指针。
当这些类型的变量被复制时，副本与原变量共享同一份底层数据：
func main() {
s1 := []int{1, 2, 3}
s2 := s1
s2[0] = 99
fmt.Println(s1) // [99 2 3]
}
尽管是值拷贝，s1 和 s2 指向同一个底层数组，所以修改 s2 会影响 s1。这不是引用语义，而是“值语义 + 共享数据结构”的结果。
同理，map 和 channel 也是如此：
复制 map 变量不会复制整个映射表，只是复制指向它的指针多个变量可以操作同一个 map，因为它们持有相同的“访问路径”
函数参数传递的实际影响
函数调用时，实参被复制给形参，这是纯粹的值传递。是否能修改原始数据，取决于传入的是普通值还是指针：
传 int、struct 值：函数内无法修改调用方变量传 *int、*struct：函数通过指针可修改原始数据传 slice：虽是值拷贝，但可通过索引修改共享底层数组传 map：同样可修改共享的哈希表内容
注意：即使是 slice，如果函数试图重新分配（如 append 导致扩容），可能不会影响原 slice 的长度或容量：
func grow(s []int) {
s = append(s, 4) // 若触发扩容，新底层数组不会影响外层
}
func main() {
s := []int{1, 2, 3}
grow(s)
fmt.Println(len(s)) // 仍是 3
}
要让 grow 影响原 slice，需传指针：
func grow(s *[]int) {
*s = append(*s, 4)
}
基本上就这些。Go 的值语义很一致，关键是要分清“值拷贝”和“是否共享数据”。理解这一点，就能准确预测变量复制和函数传参的行为。不复杂但容易忽略细节。
以上就是如何理解Golang值语义_Golang变量复制行为与函数参数传递原理的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1423981.html
微信扫一扫 
支付宝扫一扫 
