Go语言for-select循环捕获SIGINT异常问题及缓冲疑问

场景1：带default分支的for-select循环无法捕获信号 #

先看问题中的示例代码：

func main() {
    c := make(chan os.Signal)
    signal.Notify(c, os.Interrupt)
    for {
        select {
        case signal := <-c:
            {
                fmt.Println("receive signal", signal)
                os.Exit(0)
            }
        default:
        }
    }
}

这段代码的问题核心在于：

• 无缓冲通道的接收操作<-c要求收发双方同时就绪才能完成
• 搭配default分支的select属于非阻塞select，所有case无法执行时会立即触发default，导致循环进入无限空转，主线程根本不会阻塞在<-c上等待信号
• 当用户发送SIGINT信号时，signal.Notify尝试往无缓冲通道发信号，但此时主线程正疯狂执行default分支，没有处于接收就绪状态，发送直接失败，信号丢失，程序自然无法退出。

给通道添加缓冲c := make(chan os.Signal,1)后，signal.Notify发送信号时，只要缓冲未满就能直接把信号存入通道，后续循环的select会检测到通道有值，执行信号处理分支退出程序。

场景2：多分支无default的select无需缓冲也能捕获信号 #

再看这段示例代码：

c := make(chan os.Signal)
signal.Notify(c, os.Interrupt)
select {
        case signal := <- c:
            fmt.Println("receive signal", signal)
            buffer.Flush()
            os.Exit(0)
        case b := <- bodyChannel:
            w, _ := json.Marshal(b)
            buffer.Write(w)
            buffer.WriteString("\n")
        case <- t.C:
            fmt.Println("flush")
            err := buffer.Flush()
            if err != nil {
                fmt.Println("flush err", err.Error())
            }
            t.Reset(time.Second* 1)
}

这里的核心逻辑是：

• 没有default分支的select属于阻塞select，主线程会一直停在select上，直到任意一个case就绪
• 当SIGINT信号到来时，signal.Notify往无缓冲通道发信号，此时主线程正阻塞在select的接收操作上，收发双方同时就绪，信号能被正常接收，触发退出逻辑。

两种场景的核心差异 #

• 场景1是非阻塞select+无限循环：主线程始终在空转，无缓冲通道的收发无法匹配，信号丢失
• 场景2是阻塞select：主线程一直等待某个case就绪，无缓冲通道的收发能在信号到来时完成匹配

何时需要使用带缓冲的通道 #

• 当接收方无法保证随时处于阻塞等待状态，且需要确保异步事件（如信号）不丢失时：比如场景1的情况，缓冲可以暂存信号
• 当需要解耦收发双方的执行节奏：比如生产者发送速度偶尔快于消费者处理速度，缓冲可临时存储数据
• 当发送方可能在接收方未就绪时发送数据，且不能丢失数据的场景

内容的提问来源于stack exchange，提问作者Pccc