Go并发编程中，通道接收顺序为何不确定？-Golang-PHP中文网

Go并发编程中，通道接收顺序为何不确定？

心靈之曲

发布： 2025-02-27 09:42:10

原创

1073人浏览过

go 语言并发编程：通道接收顺序的非确定性

本文分析 Go 语言并发编程中，使用通道 (channel) 接收数据的顺序问题。以下代码片段阐述了一个常见的场景，并解释了接收顺序的不确定性：

<code class="go">package main

import "fmt"

func sum(s []int, c chan int) {
    sum := 0
    for _, v := range s {
        sum += v
    }
    c <- sum
}

func main() {
    s := []int{7, 2, 8, -9, 4, 0}
    c := make(chan int)
    go sum(s[:len(s)/2], c)
    go sum(s[len(s)/2:], c)
    x, y := <-c, <-c // 关键点：赋值运算符的结合性
    fmt.Println(x, y)
}</code>

登录后复制

上述代码中，两个 goroutine 并发计算切片 s 的不同部分的和，并将结果发送到通道 c。main 函数从通道 c 接收两个值，分别赋值给变量 x 和 y。然而，输出结果 x 和 y 的值并非总是与 goroutine 启动顺序一致。例如，可能出现 x 为第二个 goroutine 的结果，y 为第一个 goroutine 的结果的情况。

这并非因为通道本身的接收顺序不确定，而是由于 Go 语言中 赋值运算符的右结合性。表达式 x, y := <-c, <-c 等价于 x, y := (<-, c), (<-, c)。这意味着，<-c 先被执行两次，然后将结果分别赋值给 x 和 y。由于 goroutine 的执行顺序是并发且非确定的，因此从通道 c 接收数据的顺序也无法预知。

Go并发编程中，通道接收顺序为何不确定？