Go 并发原语 - Channel

Mon, 20 Apr 2026 14:00:00 +0800

Channel 是 Go 语言内建的 first-class 类型，也是 Go 与众不同的特性之一。它不是通过库提供的——而是直接内置在语言规范中，地位之高在编程语言中比较罕见。Channel 的设计源自 CSP（Communicating Sequential Process）模型：不要通过共享内存来通信，要通过通信来共享内存。

一、Channel 基本用法

声明和初始化

// 声明
var ch chan int // 双向 channel
var sendCh chan<- int // 只发送
var recvCh <-chan int // 只接收

// 初始化（必须用 make）
ch = make(chan int) // 无缓冲
ch = make(chan int, 10) // 有缓冲，容量 10

三种操作

┌──────────────────────────────────────────────────────────────┐
│ Channel 的三种操作 │
├──────────────────────────────────────────────────────────────┤
│ ch <- value 发送：把 value 放入 channel │
│ value := <-ch 接收：从 channel 取出值 │
│ close(ch) 关闭：关闭 channel │
└──────────────────────────────────────────────────────────────┘

无缓冲 vs 有缓冲

无缓冲 channel (make(chan int))：

 发送者 channel 接收者
 │ │ │
 │── send ────→ │ │
 │ (阻塞...) │ │
 │ │ ←── recv ────────│
 │ (解除阻塞) ──→│──→ (收到值) │
 │ │ │

 发送和接收必须同时就绪，类似"面对面交接"。


有缓冲 channel (make(chan int, 3))：

 发送者 buffer [_ _ _] 接收者
 │ │ │
 │── send ────→ [v _ _] (不阻塞) │
 │── send ────→ [v v _] (不阻塞) │
 │── send ────→ [v v v] (不阻塞) │
 │── send ────→ [v v v] (阻塞! 满了) │
 │ │ ←── recv ────────│
 │ (解除阻塞) ──→│──→ (取出一个值) │
 │ │ │

 缓冲未满时发送不阻塞，缓冲为空时接收阻塞。

二、Channel 的行为表

对 channel 执行不同操作，在不同状态下的行为：

Channel on Chen Shungen

Go 并发原语 - Channel

一、Channel 基本用法

声明和初始化

三种操作

无缓冲 vs 有缓冲

二、Channel 的行为表