Go 通道:无缓冲和有缓冲通道的行为差异,为何会出现两种情况?

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 通道:无缓冲和有缓冲通道的行为差异,为何会出现两种情况?的详细内容,更多请关注其它相关文章!