Go语言的并发模型基于Goroutine和Channel，很多开发者习惯通过Channel在Goroutine之间传递指针变量来减少数据拷贝开销，但这种用法如果处理不当，很容易引发死锁问题。死锁的本质是多个Goroutine互相等待对方释放资源，而指针变量的引用特性会让这种等待关系变得更隐蔽。
指针变量引发死锁的常见场景
场景一：指针指向的变量被提前回收
当把一个局部变量的指针发送到Channel，而发送方Goroutine在接收方处理之前就退出，此时指针指向的变量可能已经被回收，接收方Goroutine如果尝试操作这个指针，可能会导致阻塞或者异常，进而引发死锁。下面是一个典型的错误示例：
package main
import (
"fmt"
"time"
)
func main() {
ch := make(chan *int)
go func() {
// 局部变量，函数退出后可能被回收
num := 10
ch <- &num
// 发送后立刻退出Goroutine
}()
time.Sleep(time.Second)
// 接收指针并尝试操作
p := <-ch
// 此时num可能已经被回收，操作p可能导致阻塞
fmt.Println(*p)
}
场景二：指针传递导致Goroutine无法退出
如果Channel是无缓冲的，发送方Goroutine会阻塞直到接收方接收数据。如果发送的是指针，而接收方Goroutine因为某些原因没有及时接收，或者接收后没有正确释放相关资源，就会导致发送方Goroutine一直阻塞，最终引发死锁。示例如下：
package main
func main() {
ch := make(chan *int)
go func() {
num := 20
// 无缓冲Channel发送指针，会阻塞直到有接收方
ch <- &num
// 如果没有接收方，这里会一直阻塞
}()
// 主Goroutine没有接收操作，会直接触发死锁
// <-ch
}
死锁问题的核心原因分析
Go的Channel发送和接收操作在以下情况会阻塞：无缓冲Channel的发送方会阻塞直到接收方接收，接收方会阻塞直到发送方发送。而指针变量的特殊性在于，它只是保存了变量的内存地址，当指针指向的变量生命周期结束，指针就会变成悬空指针，此时如果Goroutine还在等待操作这个指针，就会陷入无限阻塞。
另外，如果多个Goroutine之间通过指针共享数据，没有做好同步，很容易出现循环等待的情况。比如Goroutine A等待Goroutine B处理完指针指向的数据，而Goroutine B又在等待Goroutine A发送新的指针，这种循环等待就会直接触发死锁。
避免指针引发死锁的方案
- 尽量避免在Channel中传递指针，优先传递值的副本，虽然会有一定的拷贝开销，但可以避免引用相关的生命周期问题。
- 如果必须传递指针，确保指针指向的变量的生命周期覆盖所有使用该指针的Goroutine，不要传递局部变量的指针到Channel后立刻退出Goroutine。
- 使用带缓冲的Channel，避免无缓冲Channel带来的强制同步阻塞，减少Goroutine互相等待的概率。
- 使用
select语句配合default分支或者超时机制，避免Goroutine在Channel操作上无限阻塞。
正确的指针传递示例
下面是一个安全的指针传递示例，确保指针指向的变量生命周期足够长，并且Channel操作有合理的超时控制：
package main
import (
"fmt"
"time"
)
func main() {
ch := make(chan *int, 1) // 使用带缓冲的Channel
// 全局变量或者生命周期足够长的变量
num := 30
go func() {
// 传递生命周期长的变量的指针
ch <- &num
}()
// 使用select设置超时，避免无限阻塞
select {
case p := <-ch:
fmt.Println(*p)
case <-time.After(time.Second):
fmt.Println("接收超时，避免死锁")
}
}
在Go并发编程中，指针的使用需要格外谨慎，尤其是在Channel和Goroutine配合的场景下，要充分理解指针的引用特性和Goroutine的阻塞规则，才能有效避免死锁问题的出现。