Go Channel 深入解析：从语义到 Runtime 底层

3. 重点是 4 种状态

理解 channel，最先要记住的不是源码，而是状态。

我建议可以先把这 4 种状态背下来：

这张表之所以重要，平时我们项目遇到的，90% 都源于此。

4. 四种状态，所衍生的四种行为

4.1 nil channel：

永远阻塞，却在 select 里很好用

未初始化的 channel 零值就是 nil。

这种行为非常的'绝'：

• 发送会永久阻塞。
• 接收会永久阻塞。
• close(nil) 会直接 panic。

var ch chan int
// ch <- 1 // 永久阻塞
// <-ch // 永久阻塞
// close(ch) // panic

第一次了解到的时候是非常疑惑的，因为这种特性挺直觉的，因为只是一个没初始化的值！为啥会好用呢？

其实，是因为可以通过 select 将其玩通。因为把某个 case 对应的 channel 变量设成 nil，就等于临时禁用这个分支。

var in <-chan int
for {
    select {
    case v := <-in:
        _ = v
    default:
        return
    }
}

如果运行过程中把 in = nil，那么这个 case v := <-in 就永远不会被选中。这个技巧在状态切换、阶段性关闭某条分支时非常顺手。

4.2 无缓冲 channel：

它通常被用作同步状态，撇开了对队列的幻想

很多人对无缓冲 channel 的第一理解是'没有 buffer'。

这没错，但不够准。

更准确的说法是：无缓冲 channel 的核心是发送和接收必须配对完成。

ch := make(chan int)
go func() {
    ch <- 42
}()
v := <-ch
fmt.Println(v)

这段代码里，发送方执行 ch <- 42 后，如果接收方还没 ready，就会阻塞；接收方执行 <-ch 后，如果发送方还没 ready，也会阻塞。

所以无缓冲 channel 本质上是一种同步握手。

它特别适合表达'我不是想排队，我就是要等对方真的接住'。

4.3 有缓冲 channel：

它是固定容量的环形队列

有缓冲 channel 会在 runtime 里维护一个固定容量的环形缓冲区。

ch := make(chan int, 8)

它的行为可以简单记成 4 句话：

• buffer 未满，发送直接写入，不阻塞。
• buffer 非空，接收直接读取，不阻塞。
• buffer 满了，发送阻塞，进入 sendq。
• buffer 空了，接收阻塞，进入 recvq。

从值的角度看，它可以理解为 FIFO 队列。

但这里有个很容易被忽略的点：FIFO 不等于 goroutine 调度绝对公平。

也就是说，channel 内部的元素顺序可以按先入先出来理解，但多个 goroutine 谁先被调度到、谁先抢到执行机会，不是你靠 channel 就能绝对保证的。

4.4 关闭 channel：

不是销毁，而是告诉接收方'不会再有新值了'

close(ch) 最容易被误解成'把 channel 删除了'。

其实不是。

关闭的语义更像是一句广播声明：

发送方结束了，后面不会再有新值。

关闭之后要分两种情况看：

• 如果 buffer 里还有数据，接收方仍然可以继续读完。
• 当 buffer 被读空以后，再接收会立刻返回零值，且 ok=false。

ch := make(chan int, 2)
ch <- 1
ch <- 2
close(ch)
fmt.Println(<-ch) // 1
fmt.Println(<-ch) // 2
v, ok := <-ch
fmt.Println(v, ok) // 0 false

而另外两件事一定会 panic：

• 向已关闭 channel 发送。
• 对同一个 channel 重复 close。

go 官方推荐的优雅做法是，发送方主动 close，而非接受方进行 close。

5. channel 让你意想不到的亮点

channel 不只是传值工具，它还是同步原语。

这一部分是很多开发者容易忽略，但却很重要的点。

channel 的意义不只是'传个数据过去'，还包括：

建立 happens-before 关系。

也就是说，某次发送或者关闭之前发生的写操作，对后续被唤醒的接收方来说是可见的。

看一个最经典的例子：

var s string
done := make(chan struct{})
go func() {
    s = "hello"
    close(done)
}()
<-done
fmt.Println(s) // 一定能看到 hello

这里真正关键的不是 done 里有没有值，而是：

• goroutine 先写 s = "hello"。
• 然后 close(done)。
• 主 goroutine 在 <-done 之后继续往下走。

这个顺序能成立，不是靠'碰巧'，而是因为 Go 内存模型明确给了你同步保证。

所以很多时候，channel 传递的不是数据，而是'某件事已经发生'的事实。

这也是为什么 done chan struct{} 这种写法在 Go 里这么常见：它利用的本质是同步语义，不是数据语义。

6. runtime 里 channel 的样子：

hchan、waitq、sudog

如果继续往底层看，channel 在 runtime 里的核心结构叫 hchan。

虽然没必要记完整源码，但下面这些字段最好了解：

可以把它理解成一个简化版结构：

type hchan struct {
    qcount   uint
    dataqsiz uint
    buf      unsafe.Pointer
    sendx    uint
    recvx    uint
    recvq    waitq
    sendq    waitq
    closed   uint32
    lock     mutex
}

这里还有个很关键的角色：sudog。

很多人第一次看到这个名字会觉得奇怪，但它解决的问题其实很现实：

goroutine 和 channel 不是一对一关系。

尤其是 select 里，一个 goroutine 可能同时等多个 channel；反过来，一个 channel 也可能同时被很多 goroutine 等待。

所以 runtime 不能简单在 goroutine 或 channel 上只挂一个指针，而是需要一个'等待记录单元'把两边串起来，这个记录单元就是 sudog。

你可以把它理解成：

某个 goroutine 正在某个 channel 上等待一次发送或接收。

7. send / recv / close / select 底层怎么走？

这一段不建议死记 runtime 代码，没啥意义。所以会通过 决策顺序 来给大家描绘。

7.1 ch <- x 的底层顺序

我把发送流程，模拟成下面这棵决策树：

1. 如果 channel 是 nil： 则是：永久阻塞。
2. 如果 channel 已关闭： 则是：panic。
3. 如果 有等待中的接收者： 则是：直接把值交给接收者，必要时绕过 buffer。
4. 如果 buffer 还有空位： 则是：写入环形缓冲区。
5. 否则： 当前 goroutine 封装成 sudog，进入 sendq，阻塞等待。

切记

即使是 buffered channel，只要此时已经有接收者在等，发送也可能直接把值交给接收者，而不是先进 buffer。

所以不要把 channel 想得太机械，好像任何值都必须先排进缓冲区。

7.2 v := <-ch 的底层顺序

接收的逻辑和发送基本对称，但对 closed 的处理更特殊：

1. 如果 channel 是 nil： 则是：永久阻塞。
2. 如果 channel 已关闭且已空： 则是：立刻返回零值，ok=false。
3. 如果 有等待中的发送者： 则是：和发送者直接配对，必要时与 buffer 做一次交接。
4. 如果 buffer 里有数据： 则是：直接从环形缓冲区读取。
5. 否则： 当前 goroutine 进入 recvq，阻塞等待发送者唤醒。

所以 ok=false 的真正含义不是'这次接收失败了'，而是：

channel 已经关闭，并且已经没有剩余数据了。

v, ok := <-ch
if !ok {
    // channel 已关闭且读空
}

7.3 close(ch) 做了什么

close 的本质非常适合一句话记忆：

设置关闭标记，然后广播唤醒所有等待者。

它不是销毁 channel，而是做 3 件事：

1. 检查 nil 和重复关闭。
2. 把 closed 标记设为 1。
3. 唤醒所有等待中的接收者和发送者。

等待中的接收者被唤醒后：

• 如果还有 buffer 数据，先继续读。
• 读空后再接收，返回零值和 ok=false。

等待中的发送者被唤醒后：

• 不会'补发成功'。
• 最终会走向 panic。

这也是为什么向已关闭 channel 发送是非常危险的。

7.4 select 为什么明显更复杂

语言层面上，select 规则不复杂：

• 所有 case 的 channel 表达式和发送值会先求值。
• 多个 case 同时 ready 时，伪随机选一个。
• 如果都不 ready 且有 default，走 default。
• 否则当前 goroutine 阻塞。

但 runtime 难点在于：

一个 goroutine 同时等多个 channel，但最终只能有一个 case 赢。

所以实现时通常要做这些事：

1. 随机化扫描顺序，避免固定偏向前面的 case。
2. 按 channel 地址统一加锁顺序，避免死锁。
3. 先尝试找立即可执行的 case。
4. 如果都不 ready，就把当前 goroutine 以多个 sudog 的形式挂到多个 channel 的等待队列。
5. 某个 case 成功后，再把其它 case 的等待记录清理掉。

所以 select 语义不难，复杂度主要都在 runtime 的并发协调上。

8. 工程实践

讲到底层，不是为了背源码，而是为了更好的服务项目。

8.1 close 通常应该由发送方做

原因很简单：发送方最清楚'后面还有没有数据'。

如果由接收方随手关闭 channel，很容易导致另一个发送方还没停，结果下一次发送直接 panic。

单发送者场景下，发送方自己关闭，最简单也最安全。

多发送者场景下，最好由协调者统一关闭，比如：

• 一个专门的管理 goroutine。
• sync.Once。
• 更上层的退出控制逻辑。

8.2 不要拿 len(ch) 做同步判断

这是一个非常常见的坑。

len(ch) 只是某一瞬间的快照，不是同步保证。

if len(ch) > 0 {
    v := <-ch
    _ = v
}

这段代码的问题在于：你检查完长度，到真正接收之间，别的 goroutine 完全可能已经把 channel 清空了。

这就是典型的 TOCTOU 问题。

更稳的写法一般是：

select {
case v := <-ch:
    _ = v
default:
    // 暂时没数据
}

8.3 下游不收了，上游必须能停，不然就会 goroutine 泄漏

这是线上最容易踩的一个大坑。

如果消费者退出了，但生产者还在不停往 channel 发数据，生产者 goroutine 很可能永久阻塞在发送上。

这些 goroutine 不会自动被 GC 回收，因为它们还'活着'，只是卡住了。

解决思路通常有两种：context 或 done channel。

func producer(ctx context.Context, ch chan<- int) {
    for {
        select {
        case <-ctx.Done():
            return
        case ch <- getValue():
        }
    }
}

或者：

done := make(chan struct{})
go func() {
    for {
        select {
        case <-done:
            return
        case ch <- getValue():
        }
    }
}()
// 需要停止时 close(done)

8.4 buffered channel 很适合做限流

这类写法在后端里非常常见，而且很好用。

limit := make(chan struct{}, 3) // 最多 3 个并发
for _, job := range jobs {
    job := job
    go func() {
        limit <- struct{}{} // acquire
        defer func() { <-limit }() // release
        do(job)
    }()
}

本质上，这就是拿 buffered channel 充当一个计数信号量。

8.5 什么时候该用 channel，什么时候该用 mutex

这是我最想强调的一句判断：

channel 更擅长表达协作流程和所有权转移，mutex 更擅长保护共享状态。

如果你的问题本质上是：

• 任务分发。
• worker 协作。
• 广播退出。
• 流水线处理。
• 有界并发控制。

那 channel 往往很合适。

如果你的问题本质上只是：

• 保护一个共享 map。
• 修改一个共享 struct。
• 进入一个很短的临界区。

那 sync.Mutex 往往更直接，成本也更低。

不要为了'Go 很推崇 channel'就到处硬用。

9. 自检（来判断一下自己掌握的怎么样吧）

• channel 对外是带类型的通信管道，对内是 锁 + 环形缓冲区 + sendq/recvq + 唤醒逻辑。
• nil channel 发送和接收都会永久阻塞，close(nil) 会 panic。
• 无缓冲 channel 的本质是同步握手，不是队列。
• 有缓冲 channel 的本质是固定容量环形队列。
• close 不是销毁，而是广播'不会再有新值'。
• v, ok := <-ch 里，ok=false 只会在'channel 已关闭且已空'时出现。
• channel 不只是传值工具，还是同步原语，会建立 happens-before。
• hchan 的关键字段要知道：qcount、dataqsiz、buf、sendx、recvx、recvq、sendq、closed、lock。
• sudog 记录的是'某个 goroutine 正在某个 channel 上等待一次发送或接收'。
• select 的复杂度来自'一个 goroutine 同时等多个 channel，但最终只能有一个 case 赢'。
• 工程上，发送方通常负责 close，不要靠 len(ch) 做同步判断，下游不消费时上游必须可停。

最后还是回到最实用的那句话。

真正理解 channel，不是会写 make(chan T)，而是你已经知道它什么时候像队列，什么时候像同步点，什么时候像广播器，什么时候会把 goroutine 永远卡住。

这一步迈过去，Go 并发编程才算真正入门。