go中值类型传参拷贝整块内存,引用类型拷贝指针副本;常见值类型包括int、Struct(无指针字段)、[3]int等,引用类型包括slice、map、chan、*t、Interface{}(装指针时)等。

Go 里哪些类型传参时会拷贝整块内存
值类型传参 = 拷贝一份完整数据,原变量和参数互不影响;引用类型传参 = 拷贝的是指向底层数据的“指针副本”,修改内容可能影响原数据。关键不在“名字叫不叫引用类型”,而在底层是否共享同一块内存。
常见值类型:int、float64、bool、struct(不含指针字段时)、[3]int(数组);常见引用类型:slice、map、chan、func、*T(指针)、interface{}(部分情况)。
-
slice是结构体(含ptr、len、cap),传参时拷贝这个结构体,但ptr指向同一底层数组 → 修改元素会影响原 slice,但append后若扩容,新 slice 的ptr可能指向新地址,原 slice 不变 -
map传参后增删改 key 都影响原 map,因为底层hmap是通过指针访问的 -
[5]int是值类型,传参拷贝全部 5 个 int;而[]int是引用类型,只拷贝 header 结构
为什么给函数传 map 还是 nil?
因为 map 变量本身是 nil 指针(未初始化),不是空 map。传 nil 进函数再做 map[key] = val 会 panic:assignment to entry in nil map。
常见错误场景:函数内直接对入参 m map[String]int 赋值,却没检查是否为 nil;或误以为 make(map[string]int) 是必须在调用前做的,其实函数内可自行 make。
立即学习“go语言免费学习笔记(深入)”;
- 如果函数需要写入 map,应明确文档或加注释:“调用方需保证
m != nil”,或函数开头加if m == nil { m = make(map[string]int) } - 不要依赖“传 map 就一定有底层数组”——
nilmap 和make出来的空 map 行为不同:len(nil_map)是 0,但读写会 panic - 测试时记得覆盖
nil输入:传nil进去,看函数是否健壮
struct 字段含指针或 slice 时,还是纯值类型吗
是。struct 本身永远是值类型,赋值/传参都会拷贝整个 struct 内存。但拷贝的是字段的值 —— 如果字段是 *T 或 []T,那拷贝的就是指针或 slice header,它们仍指向原来的底层数据。
这意味着:看似“按值传递”,实际某些字段的修改会穿透到原始 struct。
- 比如
type User struct { Name *string; Tags []string },把变量u1传给函数,函数内改*u1.Name或u1.Tags[0],原u1会变;但改u1.Name = &s2(重赋指针)或u1.Tags = append(u1.Tags, "x")(导致扩容),原u1的字段不会变 - 想彻底隔离,得手动深拷贝:对每个指针字段 new + copy,对 slice 字段用
append([]T(nil), s...)或copy - Go 没有隐式深拷贝,也没有
clone()方法,一切取决于你如何组织字段和复制逻辑
接口变量 interface{} 的底层存储机制影响行为
interface{} 是一个两字宽结构(type + data),传参时拷贝这两个字。但 data 存什么,取决于赋值对象是值类型还是指针类型。
典型坑:把一个值类型变量赋给 interface{},再传给函数修改,原变量不变;但如果赋的是指针,函数里解引用修改,原变量就变了。
- 例如:
var x int = 42; var i interface{} = x→i的data存的是 42 的拷贝;而i = &x→data存的是 &x,函数里*i.(*int) = 99就真改了 x - 反射操作
reflect.ValueOf(i).Interface()得到的仍是拷贝,不是原始变量 - 不要假设
interface{}“自动转引用”——它只是容器,装什么,就有什么语义
事情说清了就结束。最常被忽略的,是以为“用了引用类型就等于共享状态”,其实还得看具体字段怎么组织、有没有发生扩容、接口背后装的是值还是指针。