Go中值类型传参时发生的是完整值拷贝,原始变量与形参内存独立,修改形参不影响原始变量;struct等大对象应显式传指针以避免性能损耗。

Go 中 int、struct 等值类型传参时到底发生了什么
函数调用时,Go 对所有参数做**值拷贝**——不是“引用传递”,也不是“共享内存”,而是把整个值的字节内容原样复制一份。这意味着:原始变量和形参在内存中是两份独立数据,修改形参不影响原始变量。
常见误解是认为“只要是指针才传地址”,其实关键在于:Go 没有隐式引用;哪怕你传的是一个 128 字节的 struct,它也会被完整拷贝(除非你显式传 *MyStruct)。
示例:
type Person struct {
Name string
Age int
}
func modify(p Person) {
p.Name = "Alice"
p.Age = 30
}
func main() {
p := Person{Name: "Bob", Age: 25}
modify(p)
fmt.Println(p) // {Bob 25} —— 没变
}
嵌套结构体字段修改为何不生效
即使 struct 内部字段是值类型(如 int、[3]int),只要整个 struct 是按值传入,其所有字段都属于拷贝体的一部分。对字段的赋值只作用于副本。
立即学习“go语言免费学习笔记(深入)”;
容易踩的坑:
-
struct包含大数组(如[1024]byte)时,拷贝开销明显,性能敏感场景需考虑传指针 - 字段是
map或slice时看似“可修改”,实则是因它们底层是描述符(header),拷贝的是 header 值,而非底层数组——这属于引用语义的特例,不是值拷贝的例外 - 使用
json.Unmarshal或encoding/gob反序列化到值类型变量时,也是拷贝行为,目标必须是地址(即&v),否则解码失败且无报错
如何验证某次赋值是否触发了拷贝
最直接的方式是用 unsafe.Pointer 对比地址(仅用于调试,勿用于生产逻辑):
func checkCopy() {
s := struct{ x int }{x: 42}
fmt.Printf("original addr: %p\n", &s.x)
s2 := s
fmt.Printf("copied addr: %p\n", &s2.x) // 地址不同 → 真拷贝
}
注意:slice、map、func、channel 类型变量本身是 header,赋值时拷贝的是 header(24/16 字节),不是底层数组或哈希表——所以它们的地址对比不能说明“是否深拷贝”。
真正体现值拷贝特征的是:修改副本字段,原始变量对应字段不变;且 reflect.ValueOf(x).CanAddr() 在函数内对形参返回 false(因其是临时拷贝,没有固定内存地址)。
什么时候该用指针避免不必要的拷贝
不是所有结构体都要加 *,但以下情况建议显式传指针:
- 结构体大小 > 64 字节(例如含多个字符串、切片或大数组)
- 函数需要修改原始值(如初始化、重置、填充字段)
- 方法集要求指针接收者(比如用了
func (p *Person) SetName(...)),此时调用该方法必须传&p - 与标准库约定一致:如
json.Unmarshal(dst interface{})要求dst是指针,否则 panic
一个常被忽略的细节:sync.Mutex 不能被拷贝(Go 1.8+ 会 panic),所以包含它的结构体必须始终以指针方式传递或存储。










