Go中交换变量值必须用指针:函数参数为int,调用时传&x、&y,函数内用a, b = b, *a并行赋值;值传递无法修改原变量,因Go所有参数均为值传递。

用指针实现两个变量值交换的正确写法
Go 语言中不能直接通过函数参数修改原始变量值,必须传入指针。常见错误是只传值、没解引用,导致交换失败。
关键点:函数参数类型必须是 *int(或其他对应类型的指针),并在函数体内用 *a 和 *b 显式解引用赋值。
- 传参时用
&x和&y获取地址 - 函数内必须用
*a = *b这类语法操作实际内存位置 - 不支持类似 C 的
swap(&x, &y)简写宏,必须显式写交换逻辑
func swap(a, b *int) {
*a, *b = *b, *a // Go 支持并行赋值,安全且简洁
}
x, y := 10, 20
swap(&x, &y)
// 此时 x == 20, y == 10
为什么不能用值传递实现原地交换
Go 所有参数都是值传递,包括指针本身——但指针的“值”是地址。如果函数签名是 func swap(a, b int),那函数内部只是在操作副本,对调用方的 x、y 完全无影响。
典型误判现象:swap(x, y) 调用后打印 x、y 发现没变,就是掉进了值传递陷阱。
立即学习“go语言免费学习笔记(深入)”;
- 值传递交换只改变形参,不影响实参
- 指针传递交换的是实参所指向的内存内容
- 没有引用类型(如 C++ 的
int&),只有指针类型
泛型版交换函数(Go 1.18+)
若需交换任意可比较类型(int、string、自定义结构体等),可用泛型避免重复写多个指针版本。
注意:泛型函数仍需指针参数,否则无法修改原值;类型约束建议用 comparable,除非你明确需要支持不可比较类型(此时需用 any 并承担运行时风险)。
func Swap[T comparable](a, b *T) {
*a, *b = *b, *a
}
s1, s2 := "hello", "world"
Swap(&s1, &s2) // s1 == "world", s2 == "hello"
容易忽略的边界情况
指针交换本身简单,但实际使用中常因空指针或生命周期问题崩溃。
- 传入
nil指针会导致 panic:invalid memory address or nil pointer dereference - 不要交换局部变量的地址并返回该指针(逃逸分析可能失败,或造成悬垂指针)
- 结构体字段交换时,确保字段可寻址(例如不能对
map中的值直接取地址) - 并发场景下,单纯指针交换不保证原子性,需配合
sync.Mutex或atomic包
最常被跳过的其实是空指针检查——哪怕业务逻辑里“不可能为 nil”,上线后某个初始化漏掉就直接 crash。










