选择异常行为

有志者，事竟成！如果你在学习Golang，那么本文《选择异常行为》，就很适合你！文章讲解的知识点主要包括，若是你对本文感兴趣，或者是想搞懂其中某个知识点，就请你继续往下看吧~

我正在编写一些代码，将数据从一个通道传递到另一个通道。根据一些直觉和这个答案，我期望以下代码能够工作（other是一个足够大的缓冲通道，out是源通道）：

for {
    select {
    case other <- (<-out):
        log.warn("c")
    }
}

确实如此！但其他情况根本不会触发，例如以下代码的日志中没有 ds：

for {
    select {
    case other <- (<-out):
        log.warn("c")
    default:
        log.warn("d")
    }
}

使用更传统的解决方案，日志中到处都是 d：

for {
    select {
    case msg := <-out:
        other <- msg
        log.Warn("C")
    default:
        log.Warn("D")
    }
}

显然，我会采用通常的解决方案，但我仍然不知道为什么不寻常的解决方案不能按预期工作。

我怀疑答案就在 go 内存模型中的某个地方，但我不太清楚这种情况下到底发生了什么。

我整理了一些演示，您可以在其中查看此行为：

• 不寻常（根本没有 d）
• 通常（有很多 ds，您可能必须在本地尝试才能看到 ds 以外的任何内容）

预先感谢任何能够阐明这一点的人！

解决方案

当你有这个时：

ch := make(chan int, 10)
// ...

select {
case ch <- <-out:
    fmt.println("c")
default:
    fmt.println("d")
}

第一个 case 的通信操作为 ch <-something，其中 something 为 <-out。但首先评估 something，然后才检查案例中的哪个通信操作可以继续。

因此，<-out 只要需要就会阻塞，然后检查 ch <-something 是否可以继续。由于您使用了足够大的缓冲区，因此它始终可以在您的示例中继续进行，因此永远不会选择 default。

Spec: Select statements:

“select”语句的执行分几个步骤进行：

1. 对于语句中的所有情况，接收操作的通道操作数以及发送语句的通道和右侧表达式在输入“select”语句时按源顺序仅计算一次。结果是一组要接收或发送到的通道，以及要发送的相应值。无论选择哪个（如果有）通信操作来进行，该评估中的任何副作用都会发生。 recvstmt 左侧带有短变量声明或赋值的表达式尚未计算。
2. 如果一项或多项通信可以继续进行，则通过统一的伪随机选择选择一个可以继续进行的通信。否则，如果存在默认情况，则选择该情况。如果没有默认情况，“select”语句将阻塞，直到至少其中一个通信可以继续。
3. 除非所选情况是默认情况，否则将执行相应的通信操作。
4. 如果选定的情况是带有短变量声明或赋值的 recvstmt，则会计算左侧表达式并分配接收到的值（或多个值）。
5. 执行所选案例的语句列表。

如果降低 ch 的缓冲区，您将偶尔看到输出中打印 ds（在 Go Playground 上尝试）。

ch := make(chan int, 2)

到这里，我们也就讲完了《选择异常行为》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！