本文详解 go 单向通道 `
在 Go 中，通道（channel）不仅是并发通信的核心机制，其类型系统还支持方向约束：chan T 是双向通道，而 chan<- T（只写）和 <-chan T（只读）是编译期强制的单向通道类型。它们并非独立的“新通道”，而是对同一底层通道的类型视图限制——这是理解单向通道的关键前提。
❌ 常见错误：直接创建单向通道
你最初的代码中：
c := make(chan<- int, 3) // 错误！无法接收，也无法赋值给 <-chan int
这行代码试图直接创建一个“只写通道”，但 Go 不允许 make() 创建单向通道。make() 只能创建双向通道 chan T。单向类型只能通过类型转换或赋值从双向通道派生而来。否则，如你所见，Thread 函数尝试从 chan<- int 接收（<-c）会触发编译错误：“invalid operation: receive from send-only type”。
✅ 正确做法：从双向通道派生单向视图
核心原则：先 make(chan T)，再通过转换/赋值生成方向受限的引用。这样既保证了底层通道可读可写，又在类型层面约束了各协程的访问权限。
✅ 方式一：类型转换（简洁推荐）
func Thread(r <-chan int) {
for num := range r { // 使用 range 更安全，自动处理关闭
fmt.Println("Thread:", num)
time.Sleep(time.Second)
}
}
func main() {
c := make(chan int, 3) // 创建双向缓冲通道
s, r := (chan<- int)(c), (<-chan int)(c) // 派生只写 & 只读视图
go Thread(r) // 工作协程仅能接收
for i := 1; i <= 10; i++ {
s <- i // 主协程仅能发送
}
close(c) // 显式关闭，通知接收方结束
}✅ 方式二：显式变量声明（语义更清晰）
var s chan<- int = c // s 只能发送 var r <-chan int = c // r 只能接收
? 为什么需要两个变量？ 因为 s 和 r 是同一底层通道 c 的不同类型别名。s 的类型确保调用方无法意外接收（编译报错），r 的类型确保接收方无法意外发送（同样编译报错）。这提供了强大的 API 安全性与文档自明性。
⚠️ 注意事项与最佳实践
- range 替代无限循环：在接收端使用 for num := range r 而非 for { <-r }，可自动响应通道关闭，避免 goroutine 泄漏。
- 务必关闭通道：发送完成后调用 close(c)，使 range 正常退出。若不关闭，range 将永久阻塞。
- 缓冲区大小合理设置：本例用 make(chan int, 3) 提供缓冲，避免发送方因接收方处理慢而阻塞；若需严格同步（无缓冲），则用 make(chan int)。
- 单向通道是类型契约，非运行时隔离：它不改变通道行为，仅由编译器强制检查。运行时仍共享同一底层队列。
总结
单向通道不是“特殊通道”，而是 Go 类型系统为并发安全提供的静态契约工具。正确路径永远是：
1️⃣ make(chan T) 创建双向通道；
2️⃣ 通过转换（(chan<- T)(c)）或赋值（var w chan<- T = c）生成方向受限变量；
3️⃣ 将只写变量传给发送方，只读变量传给接收方。
如此，你既能享受类型安全带来的可维护性，又能精准控制数据流向——这才是 Go 并发哲学中 “Don’t communicate by sharing memory; share memory by communicating” 的优雅落地。
