如何判断Golang函数参数是值传递还是指针传递_Golang参数传递方式解析

Go函数参数均为值传递，区别在于“值”的内容：传指针、slice、map、chan、func、interface{}时因底层含指针字段，可修改原数据；传int、string、数组、不含指针的struct则完全隔离。

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 等并发原语，必须取地址传参，否则每次都是副本，完全起不到同步作用——这和“值传递”本质一致，但后果严重，且错误不报编译期异常。