Channel是Go中的一个核心类型,你可以把它看成一个管道,通过它并发核心单元就可以发送或者接收数据进行通讯(communication)。
类型
T表示任意的一种类型
- 双向: chan T
- 单向仅发送: chan <-
- 单向仅接受: <- chan
单向的channel,不仅可以通过声明make(chan <- interface{})
来创建,还可以通过隐身或显示的通过 chan
来转换,如下
1 | func main() { |
在 convert函数中,就可以吧channel当成单向输入管道来使用了
既然 双向 chan,既可以接收,也可以发送,为什么还会有单向chan的存在? 我的一个理解便是 权限收敛,例如一个爬虫系统中,有些进程a仅仅负责抓取页面内容,并转发给进程b,那进程a仅需要 单向发送的chan
即可
Blocking
缺省情况下,发送chan或接收chan会一直阻塞着,直到另一方准备好。这种方式可以用来在gororutine中进行同步,而不必使用显示的锁或者条件变量。
如官方的例子中x, y := <-c, <-c
这句会一直等待计算结果发送到channel中。以下面例子看一下
1 | func bufferChannel() { |
输出结果如下
1 | start goroutine 0 |
可以看出,go func
执行到了①后并没有继续执行②,而是等待③执行完成后,再去执行②,也就可以说明 channel <- i
阻塞了goroutine
的继续执行
如果,我不想在这里阻塞,而是我直接把数据放到channel
里,等接收方准备好后,到channel
中自取自用如何处理,这里就涉及到了另一个概念 buffered channel
buffered channel
我们把程序修改一下
1 | func bufferChannel() { |
输出结果
1 | start goroutine 0 |
我们发现go func
执行完①之后就执行了②,并没有等待③的执行结束,这就是buffered channel的效果了
我们只需要在make的时候,声明底2个参数,也就是chan的缓冲区大小即可
通过上面的程序可以看出,我们一直在使用③的形成,即<- chan
来读取chan中的数据,但是如果有多个goroutine在同时像一个chan写数据,我们除了使用
1 | for { |
还有什么更优雅的方式吗
for … range
还是上面那个程序,我们使用 for … range 进行一下改造
1 | func bufferChannel() { |
这样就可以遍历 channel
中的数据了,但是我们在运行的时候就会发现,哎 这个程序怎么停不下来了?range channel
产生的迭代值为Channel中发送的值,它会一直迭代直到channel被关闭,所以 我们goroutine
发送完数据后,把channel
关闭一下试试,这一次,我们不再进行time.Sleep(2 * time.Second)
1 | func bufferChannel() { |
这样,整个程序就可以正常退出了,所以,在使用range
的时候需要注意,如果channel
不关闭,则range
会一直阻塞在这里的
select
我们上面讲的一直都是只有一个channel
的时候,我们应该怎么去做,加入有两个channel
或者更多的channel
,我们应该怎么去做,这里就介绍一下 go里面的多路复用 select
,以下面程序为例
1 | func example() { |
time.Tick
是go的time包提供的一个定时器的一个函数,它返回一个channel
,并在指定时间间隔内,向channel发送一条数据,time.Tick(time.Second)
就是每秒钟向这个channel发送一个数据
time.After
是go的time包提供的一个定时器的一个函数,它返回一个channel
,并在指定时间间隔后,向channel发送一条数据,time.After(3 * time.Second)
就是3s后向这个channel发送一个数据
输出结果
1 | come into default |
可以看到,select
会选择一个没有阻塞的 channel
,并执行响应 case
下的逻辑,这样就可以避免由于一个 channel
阻塞而导致后续的逻辑阻塞的情况了
我们继续做个小实验,把上面关闭的channel
放到 select
里面试一下
1 | func example() { |
输出结果
1 | . |
简直是车祸现场,幸好设置了3s主动退出,那case的时候,有没有办法判断这个channel是否关闭了呢,当然是可以的,看下面的程序
1 | func example() { |
输出结果
1 | come into default |
综上可以看出,通过 value, ok := <- channel
这种形式,ok获取的就是用来判断channel
是否关闭的,ok为 true,表示channel正常,否则,channel就是关闭的