go - 未初始化的 channel 如何表现？

Question

我有一个包含未初始化 channel 的结构。

当我写入它时，例程按预期阻塞，但读者永远不会收到管道中有内容的通知。

我很惊讶没有错误，我想知道 Go 在做什么。

在下面的示例中，消息 pushed 和 got it 都没有被打印出来。 (取消注释初始化，它会像魅力一样工作)

type MyStruct struct {
    over chan bool
}

func main() {
    nonInitialized := &MyStruct{}
    // nonInitialized.over = make(chan bool)
    go func() {
        for i := 0; i < 10; i++ {
            select {
            case <-nonInitialized.over:
                fmt.Println("got it")
            default:
                // proceed
            }
            fmt.Println("do some stuff")
            time.Sleep(10 * time.Millisecond)
        }
        panic("took too long")
    }()
    // push on the non initialized channel
    fmt.Println("pushing")
    nonInitialized.over <- true
    fmt.Println("pushed")
}

这里是 Playground https://play.golang.org/p/76zrCuoeoh

(我知道我应该初始化 channel ，这不是问题的目的，我想知道在没有初始化 channel 的情况下 Go 中发生了什么。)

Answer 1

channel type 的“未初始化”字段或变量会有 zero value所有 channel 类型的 nil。因此，让我们检查一个 nil channel 或它的操作是如何运行的。

值得在一篇文章中收集 channel 公理:

• nil channel 上的发送永远阻塞 (Spec: Send statements)
• 从 nil channel 接收永远阻塞 (Spec: Receive operator)
• 发送到一个关闭的 channel 会发生 panic (Spec: Send statements)
• 从关闭的 channel 接收立即返回零值(Spec: Receive operator)

在 nil channel 情况下阻塞的原因:如果 channel 值为 nil，则没有人引用它，因此没有人准备好接收来自它(我们要发送的内容)；或发送任何东西(我们将从中收到什么)。

您可以在 Dave Cheney: Channel Axioms 中阅读更多推理和更多详细信息.

为了完整性:

• Closing nil channel 导致 run-time panic (就像关闭一个已经关闭的 channel 一样)。
• Length and capacity nil channel 的值为 0；根据具有 0 长度和容量的 nil slice 和映射。

推理:“closed”是一种状态，但是 nil channel 不能有状态(只有一个 nil channel ，没有一个用于“closed”和一个用于“未关闭” channel )。并且 nil channel 中没有排队的元素(因此 len = 0)，并且它没有缓冲容量(因此 cap = 0)。