为什么 goroutine 通道会这样做？

Question

我刚接触 golang。我正在尝试了解频道的工作原理，但它确实令人困惑。

我评论了我的问题。有人可以向我解释为什么这段代码以这种奇怪的方式运行吗？

package main

import "fmt"

func main() {
    slice := []int{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
    c := make(chan int)
    go pokeVals(slice, c)

    fmt.Println(slice)
    fmt.Println("start")
    <-c // why 2 "poke"s here?
    fmt.Println("-")
    <-c // why 0 "poke"s?
    //<-c // But if uncommented - 2 more "pokes" here

    fmt.Println("end")
}

func pokeVals(values []int, c chan int) {
    for _, val := range values {
        fmt.Println("poke")
        c <- val
    }
    fmt.Println("overpoked")
}

Golang 操场link：https://play.golang.org/p/u__cVyUbNJY

Answer 1

Goroutines 运行并发。它们是如何安排的不在您的掌控之中，您唯一能保证的是您是否使用诸如通道、等待组或其他同步原语之类的同步。

从 main() 启动一个 goroutine，它在 c 上循环发送值。但是在发送每个值之前，它首先打印 "poke"。因此，即使您没有收到来自 c 的消息，您也可能会看到打印了一个 "poke"。如果你确实从 c 收到了一个值，那么这个 goroutine 中的循环可以继续进行下一次迭代，再次打印 "poke"，它可能会立即这样做，甚至在 main() goroutine 之前开始打印 "-"。这就是你的经历。

原始版本中的 main() goroutine（第 3 个 <-c 被注释掉）终止（在打印 "end" 之后）。一旦 main() returns，您的应用程序结束，它不会等待其他 goroutines 完成。这就是你的体验。有关详细信息，请参阅。

如果您取消注释第 3 个 <-c，则 main() 必须等待 c 上的另一次发送，这意味着它必须在此之前等待 "poke" 打印.一旦 pokeVals() 的 goroutine 能够在 c 上发送另一个值，它可能会在下一次迭代循环中再次打印 "poke"（如果这是在从 [=10= 返回之前安排的） ]), 这就是你所经历的。

是否看到另外 2 个 "poke" 的打印结果不确定，其中 1 个或 2 个都是有效结果。

为什么 goroutine 通道会这样做？

Why goroutine channel does this?

channel

go

goroutine