Go 通道:无缓冲和有缓冲通道的行为差异,为何会出现两种情况?
理解 go 通道的不解之处
在学习 go 通道时,有段代码引起了许多疑惑。该代码如下:
package main import "fmt" func main() { chanInt := make(chan int) defer close(chanInt) go func() { for { res, ok := <-chanInt if !ok { break } fmt.Println(res, ok) } }() chanInt <- 1 chanInt <- 10 }
问题 1:无缓冲通道的结果为何存在两种情况?
当通道无缓冲时,会出现两种可能的打印结果:
- 1 10
- 1 true
第一种情况很好理解。但是第二种情况令人困惑,因为主协程在发送 10 之前就已经结束了。这可能表明,子协程在主协程结束之前就已经读取了 10,而这显然是违反直觉的。
问题 2:有缓冲通道为何打印不出任何东西?
当通道有缓冲时(例如 make(chan int, 2)),代码不会打印任何结果。这是因为在主协程关闭通道之前,子协程永远不会从缓冲通道中读取数据。
答案
阻塞通道:
- 阻塞通道意味着写入操作会阻塞,直到有读取操作。
- 在第一种情况下,主协程在发送 10 之前已经关闭了通道。如果子协程在这段时间内没有读取 10,那么主协程就会一直阻塞下去。
- 在第二种情况下,子协程在主协程关闭通道之前就读取了 10。这是因为子协程启动需要时间,而这段时间可能很长。在这个时间范围内,子协程可能来得及读取数据。
缓冲通道:
- 缓冲通道允许写入操作不阻塞,直到缓冲区已满。
- 在有缓冲通道的情况下,即使在关闭通道之前,主协程也可以将数据写入缓冲区。
- 但是,如果子协程还没有启动,它将永远不会读取这些数据,因为缓冲通道在关闭时会自动关闭读取操作。
验证:
可以通过发送多次数据来验证这些结论。对于无缓冲通道,结果量将为发送次数或发送次数减 1。对于缓冲通道,结果量将为发送次数减去缓冲容量至发送次数。
以上就是Go 通道:无缓冲和有缓冲通道的行为差异,为何会出现两种情况?的详细内容,更多请关注其它相关文章!