本文详解 Go 语言中 <-chan 表达式的求值规则：它始终表示“从通道接收”，而非“向通道发送”；当出现在赋值或发送语句右侧时，其返回值是接收到的数据，类型由通道元素类型决定，与目标接收方无关。
本文详解 go 语言中 `
在 Go 中，<- 是一元接收操作符（unary receive operator），其行为严格由语法位置决定，而非由上下文中的目标通道类型推断。这一点常被初学者误解——尤其在嵌套通道（如 chan chan string）场景下。
回到原始示例：
chan_of_chans := make(chan chan string)
my_chan := make(chan string)
go func() { my_chan <- "Hello" }()
go func() { chan_of_chans <- my_chan }() // ✅ 发送的是 my_chan 这个 channel 值本身
fmt.Println(<- <- chan_of_chans) // ? 等价于：temp := <-chan_of_chans; fmt.Println(<-temp)关键点在于：<- <- chan_of_chans 是两次连续接收：
- 第一次 <- chan_of_chans 从 chan_of_chans 中取出一个 chan string 类型的通道（即 my_chan）；
- 第二次 <- temp（其中 temp 是上一步得到的 chan string）才真正从该通道中接收 "Hello" 字符串。
因此，<-my_chan 永远返回 string（因 my_chan 是 chan string），而 chan_of_chans <- my_chan 永远发送的是 chan string 类型的通道变量——类型由操作数（channel 变量）自身决定，不随接收方变化。
⚠️ 常见误区澄清：
- ❌ 错误理解：“<-ch 会根据左边接收方类型自动选择发送内容”。
✅ 正确理解：<-ch 是一个表达式，其值类型唯一确定（即 ch 的元素类型），仅用于读取；发送动作必须显式使用 ch <- value。 - ❌ 误写 chan_of_chans <- <- my_chan 意图“转发数据”。
✅ 正确转发需两步：val := <-my_chan; chan_of_chans <- val，或简洁写为 chan_of_chans <- (<-my_chan)（注意括号不可省略，否则解析为 (chan_of_chans <- <-) my_chan，语法错误）。
✅ 推荐实践：在通道链路中明确区分「通道传递」与「数据传递」：
// 场景：动态分发数据到不同子通道
dispatcher := make(chan struct{ data string; target chan<- string })
go func() {
for job := range dispatcher {
job.target <- job.data // 向目标通道发送字符串
}
}()
// 使用时先传通道，再传数据
subChan := make(chan string)
dispatcher <- struct{ data string; target chan<- string }{"Ping", subChan}
fmt.Println(<-subChan) // 输出 "Ping"总结：Go 的通道操作符语义清晰且无重载——<-ch 恒为接收，ch <- v 恒为发送；嵌套通道的灵活性源于通道本身可作为一等值传递，而非语法糖。掌握这一原则，即可避免类型混淆与运行时死锁。
