本文旨在深入解析Go语言中 select 语句的 default 用法，并阐述其可能导致的阻塞问题。通过具体示例，我们将分析为何在没有就绪的 channel 时，空的 default 分支会导致程序无法响应其他 channel 事件。此外，本文还将介绍几种避免阻塞的方案，并强调在并发编程中，合理利用 goroutine 的重要性，以实现更高效的程序设计。
在Go语言中，select 语句用于在多个 channel 操作中进行选择。它类似于 switch 语句，但用于 channel 的发送和接收操作。当多个 channel 同时准备好时，select 会随机选择一个执行。default 分支在没有其他 case 准备好时执行，这使得 select 语句可以实现非阻塞的 channel 操作。然而，不恰当的使用 default 可能会导致意想不到的问题。
default 分支引起的阻塞问题
考虑以下代码片段：
package main
import (
"fmt"
"time"
)
func main() {
tick := time.Tick(100 * time.Millisecond)
boom := time.After(500 * time.Millisecond)
for {
select {
case <-tick:
fmt.Println("tick.")
case <-boom:
fmt.Println("BOOM!")
return
default:
// 什么也不做
}
}
}这段代码看似合理，但实际上会导致程序无法响应 tick 和 boom channel 的事件。这是因为 default 分支始终处于就绪状态。因此，select 语句会不断地选择 default 分支执行，而忽略了 tick 和 boom channel 的事件。由于 goroutine 不是抢占式调度的，这个循环会一直执行，导致 tick 和 boom 永远没有机会被选中。
立即学习“go语言免费学习笔记（深入）”；
解决方案
有几种方法可以解决这个问题：
-
添加 I/O 操作或 time.Sleep()： 在 default 分支中添加 I/O 操作或者 time.Sleep() 可以让出 CPU 的时间片，从而让其他的 goroutine 有机会运行。例如：
default: //fmt.Println(" .") // 添加 I/O time.Sleep(50 * time.Millisecond) // 添加延时 -
使用 runtime.Gosched()： 调用 runtime.Gosched() 可以显式地让出 CPU 的时间片，让其他的 goroutine 有机会运行。
import "runtime" default: runtime.Gosched() -
使用 runtime.GOMAXPROCS()： 允许 Go 运行时使用多个操作系统线程，从而提高并发性。
import "runtime" func main() { runtime.GOMAXPROCS(2) // 使用 2 个线程 // ... } -
移除 default 分支： 这是最推荐的方法。如果不需要在没有 channel 准备好时执行任何操作，就直接移除 default 分支。这样 select 语句会阻塞，直到有 channel 准备好。如果需要在后台执行一些处理，可以考虑使用 goroutine。
package main import ( "fmt" "time" ) func main() { tick := time.Tick(100 * time.Millisecond) boom := time.After(500 * time.Millisecond) for { select { case <-tick: fmt.Println("tick.") case <-boom: fmt.Println("BOOM!") return } } }在这个例子中，如果 tick 和 boom 都没有准备好，select 语句会阻塞，直到其中一个 channel 准备好。
最佳实践：利用 Goroutine
如果需要在 default 分支中执行一些后台处理，最好的方法是使用 goroutine。例如：
package main
import (
"fmt"
"time"
)
func main() {
tick := time.Tick(100 * time.Millisecond)
boom := time.After(500 * time.Millisecond)
// 启动一个 goroutine 来执行后台处理
go func() {
for {
// 执行一些后台处理
// ...
time.Sleep(10 * time.Millisecond) // 避免 CPU 占用过高
}
}()
for {
select {
case <-tick:
fmt.Println("tick.")
case <-boom:
fmt.Println("BOOM!")
return
}
}
}在这个例子中，后台处理在独立的 goroutine 中执行，不会阻塞 select 语句。
总结
select 语句是 Go 语言中强大的并发工具，但 default 分支的使用需要谨慎。避免在没有明确需求的情况下使用 default 分支，特别是空的 default 分支。如果需要在没有 channel 准备好时执行一些操作，可以考虑使用 goroutine。合理利用 goroutine 可以提高程序的并发性和响应性。 总而言之，理解 select 语句的阻塞特性和 goroutine 的调度机制，是编写高效 Go 并发程序的关键。
