选择语句的细微差别

Question

我阅读了 select 语句及其执行步骤，但我并不完全理解这里发生了什么。

我创建了两个扇入函数示例（来自Go Concurrency Patterns talk）

第一个：

select {

case value := <-g1:

    c <- value

case value := <-g2:

    c <- value

}

按预期从每个通道打印（每个通道都有自己的计数器）：

Bob  : 0

Alice: 0

Bob  : 1

Alice: 1

Bob  : 2

Alice: 2

Alice: 3

Alice: 4

Bob  : 3

Alice: 5

第二个：

select {

case c <- <-g1:

case c <- <-g2:

}

它随机选择一个通道并丢弃另一个通道的值：

Bob  : 0

Alice: 1

Alice: 2

Alice: 3

Bob  : 4

Alice: 5

Bob  : 6

Alice: 7

Alice: 8

Bob  : 9

更新：在写这个问题时，我认为第二个select 等于：

var v string

select {

case v = <-g1:

case v = <-g2:

    c <- v

}

但我错了，因为这个总是从第二个通道打印（正如 switch like 语句所预期的那样，因为 select 语句中没有fallthrough）：

Bob  : 0

Bob  : 1

Bob  : 2

Bob  : 3

Bob  : 4

Bob  : 5

Bob  : 6

Bob  : 7

Bob  : 8

Bob  : 9

有人明白为什么我的第二个例子会创建一个序列吗？

Answer 1

您的第二个选择语句被解释为：v1 := <-g1v2 := <-g2select {case c <- v1:case c <- v2:}如语言规范中所述，每个发送运算符的 RHS 将在执行语句时预先评估：“select”语句的执行分几个步骤：对于语句中的所有情况，接收操作的通道操作数以及发送语句的通道和右侧表达式在进入“选择”语句时按源顺序被计算一次。结果是一组要接收或发送的通道，以及要发送的相应值。无论选择哪个（如果有）通信操作进行，该评估中的任何副作用都会发生。带有简短变量声明或赋值的 RecvStmt 左侧的表达式尚未计算。如果可以进行一个或多个通信，则通过统一伪随机选择选择可以进行的单个通信。否则，如果存在默认情况，则选择该情况。如果没有默认情况，“select”语句会阻塞，直到至少有一个通信可以继续。...因此，作为步骤（1），<-g1和<-g2都将被评估，从每个通道接收值。如果还没有什么可接收，这可能会阻塞。在 (2) 处，我们等待直到c准备好发送一个值，然后随机选择 select 语句的一个分支来执行：因为它们都在同一个通道上等待，所以它们都准备好继续。这解释了您在值被丢弃的地方看到的行为，以及您在将值发送到c.如果您想等待g1和g2，您将需要使用您发现的报表的第一种形式。