Go Channels 的状态与操作

什么是 Channels ？

Channels 是 Goroutines 之间通信的通道，用于多个 Goroutine 之间的消息传递和协作。在很多编程语言中，线程之间通信和协作的方式往往是通过共享变量（共享内存）来实现的，这种编程方式需要程序员对于共享变量的读写进行保护，比如加锁，从而保证线程之间的正确协作。Go 语言提倡另一种方式 – 通过通信来共享内存，Goroutine 之间共享的值通过 channels 进行传递，Go 语言保证同一时刻只有一个 Goroutine 可以访问 channels 中的值，从设计上就避免了数据竞争的出现。

Do not communicate by sharing memory; instead, share memory by communicating.

channels 中消息的流动方向

channels 可以是单向的或者双向的：

• 单向的 channel 只能进行 send 或者 receive 操作。单向的 channel 用于函数参数声明，表明函数调用时传递的 channel 用于 send 或者 receive 操作
• 双向的 channel 可以执行 send 和 receive 操作

channels 的状态

channels 有三种状态，不同状态下的 send 和 receive 操作有不同的行为：

1. nil 状态

一个刚声明的 channel 处于nil 状态

• send 和 receive 操作都会被阻塞

2. open 状态

调用内置的 make 函数创建一个 channel 之后，channel 处于 open 状态。此时，send 和 receive 操作可以正常进行，是否会阻塞与 channel 是否是缓冲的，以及缓冲区是空的，还是满的有关。

不带缓冲的 channel

• send 操作将会阻塞，直到 channel 另一端发生 receive 操作
• 同理，receive 操作将会阻塞，直到 channel 另一端发生 send 操作：

带缓冲的 channel

• 如果缓冲区满了，send 将会被阻塞
• 如果缓冲区为空，receive 将会被阻塞

3. closed 状态

调用内置的 close 函数关闭一个 channel 之后，channel 处于 closed 状态

• 向一个已经关闭的 channel 进行 send 操作将会导致 panic
• 从一个已经关闭的 channel 进行 receive 操作可以正常进行，接收到的是 channel 所携带的消息类型的零值 （zero value）

Channels 的常用操作

创建 channel

使用内置的 make 函数可以创建一个 channel，channel 被创建之后，处于 open 状态。

ci := make(chan int)            // 创建一个不带缓冲区的 channel，channel 中的消息类型是 int
cs := make(chan *os.File, 100)  // 创建一个带缓冲区的 channel，channel 的缓冲区容量是100，消息类型是 *os.File

关闭 channel

使用内置的 close 函数可以关闭一个 channel，channel 被关闭之后，处于 closed 状态。

close(ch)

查询 channel 的容量

ch := make(chan int, 100)
capacity := cap(ch) // returns 100

查询 channel 中的消息数量

ch := make(chan int, 5)
ch <- 1
ch <- 2
n := len(ch) // returns 2

向 channel 发送消息

ch := make(chan int)
ch <- 1

从 channel 接收消息

ch := make(chan int)
val := <- ch

参考资料

• The Behavior Of Channels
• Effective Go