Golang函数参数是值传还是指针传？解析全攻略

Go语言中所有函数参数本质上都是值传递，但“值”的内容决定了行为差异：传指针、slice、map、chan、func或interface{}时，因底层结构包含指针字段，可在函数内修改原始数据；而传int、string、数组或不含指针的struct则完全隔离、互不影响。理解这一机制不仅能避免常见陷阱（如误以为slice是引用传递、mutex未取地址导致并发失效），还能指导更高效、更安全的参数设计——小结构体宜值传，大对象或需修改状态时用指针，关键在于语义清晰而非盲目优化。

Go 函数参数永远是值传递，但“值”的内容决定行为

Go 语言中没有“引用传递”这个概念，func f(x T) 和 func f(x *T) 都是值传递——区别只在于你传进去的“值”本身是什么。传 int，就复制一个整数；传 *int，就复制一个指针（即内存地址）；传 slice、map、chan、func、interface{}，同样传的是它们的底层结构体（包含指针字段），所以看起来像“可修改原数据”，其实仍是值传递。

哪些类型传参后能修改原始数据？

关键看该类型的底层是否包含指向底层数组或数据结构的指针字段。以下类型在函数内修改元素/字段时，会影响调用方看到的内容：

• slice：底层是 struct { array unsafe.Pointer; len, cap int }，array 是指针，所以 s[0] = 1 会生效
• map：本质是 *hmap，传的是指针的副本，仍指向同一张哈希表
• chan：同理，是 *hchan 类型
• *T：指针值被复制，但解引用后操作的是同一块内存
• func 和 interface{}（非空）：内部含指针或反射信息，行为类似

而这些类型则完全隔离：int、string（只读底层数组）、struct（不含上述类型字段）、[3]int 数组（注意不是 slice）——对它们赋值或修改字段，不影响原变量。

常见误判场景与调试技巧

新手常因 slice 行为误以为 Go 有引用传递。例如：

func modify(s []int) {
    s[0] = 999      // ✅ 影响原 slice 元素
    s = append(s, 1) // ❌ 不影响调用方的 s，因为 s 变量本身被重新赋值了
}
func main() {
    s := []int{1, 2}
    modify(s)
    fmt.Println(s) // 输出 [999 2]，不是 [999 2 1]
}

要真正扩展并影响原 slice，必须传指针：func modify(s *[]int)，再用 *s = append(*s, 1)。其他类型同理：

• 想让函数能替换整个 map，得传 *map[K]V
• 想让函数能重置一个 struct 字段且影响调用方，得传 *S 而非 S
• string 永远不可变，传 *string 才能改变其指向（即换一个字符串）

性能与设计建议

传指针不等于更高效，也不等于更“正确”。判断依据应是语义而非直觉：

• 小结构体（如 type Point struct{ x,y int }）按值传递通常更快，避免额外解引用和 GC 压力
• 大结构体或需修改状态时，用指针明确意图，也避免复制开销
• 接口类型（如 io.Reader）本身就是指针语义，传值即可，无需加 *
• 不要为了“统一风格”而强行全用指针——time.Time、sync.Mutex（必须传指针！）就是反例，后者未加 * 会导致锁失效

最易忽略的一点：sync.Mutex、sync.RWMutex 等并发原语，必须取地址传参，否则每次都是副本，完全起不到同步作用——这和“值传递”本质一致，但后果严重，且错误不报编译期异常。

到这里，我们也就讲完了《Golang函数参数是值传还是指针传？解析全攻略》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！