go 语言并发编程：通道接收顺序的非确定性
本文分析 Go 语言并发编程中，使用通道 (channel) 接收数据的顺序问题。以下代码片段阐述了一个常见的场景，并解释了接收顺序的不确定性：
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)
}
上述代码中，两个 goroutine 并发计算切片 s 的不同部分的和，并将结果发送到通道 c。main 函数从通道 c 接收两个值，分别赋值给变量 x 和 y。然而，输出结果 x 和 y 的值并非总是与 goroutine 启动顺序一致。例如，可能出现 x 为第二个 goroutine 的结果，y 为第一个 goroutine 的结果的情况。
这并非因为通道本身的接收顺序不确定，而是由于 Go 语言中 赋值运算符的右结合性。表达式 x, y := 等价于 x, y := (。这意味着， 先被执行两次，然后将结果分别赋值给 x 和 y。由于 goroutine 的执行顺序是并发且非确定的，因此从通道 c 接收数据的顺序也无法预知。
为了确保接收顺序，需要使用其他同步机制，例如使用 select 语句或其他协调方法来控制接收顺序。
总而言之，Go 语言通道本身并不保证接收顺序，赋值运算符的右结合性以及 goroutine 的并发执行特性共同导致了接收顺序的不确定性。 开发者应该理解并避免依赖于通道的接收顺序，而是使用更可靠的同步机制来处理并发场景。
