Go中收到SIGINT信号时延迟函数是否执行？中断清理优化问询

第一个问题：收到SIGINT时，deferred函数会被调用吗？ #

答案是分情况而定：

• 如果程序没有捕获SIGINT信号，按下^C时操作系统会直接终止进程，Go runtime没有机会执行任何deferred函数——进程被强制杀死，所有未执行的defer都会被丢弃。
• 但如果像你的代码那样捕获了SIGINT信号，并且让程序进入优雅退出流程，那么在退出路径上的deferred函数是会被执行的——前提是程序能走到触发defer的那个退出点。

你的代码中的问题：defer未执行与竞态风险 #

先把你的代码格式化后分析：

func fn() {
    // some code
    defer cleanup()
    go func() {
        c := make(chan os.Signal, 1)
        signal.Notify(c, os.Interrupt)
        // Block until a signal is received.
        _ = <-c
        cleanup()
    }()
    for {
        // Infinite loop. Returns iff an error is encountered in the
        // body
    }
}

为什么deferred的cleanup()没执行？ #

因为fn()里的for是无限循环（除非循环体内出错返回），fn()永远不会退出，自然也不会触发defer的执行——defer是在函数退出时才会被调用的。

会引入竞态条件吗？ #

是的，大概率会。
你在signal处理的goroutine里直接调用cleanup()，但主goroutine此时还在无限循环中运行，假设循环体内在操作某个共享资源（比如数据库连接、文件句柄、内存全局变量），主goroutine的读写操作和cleanup()的释放/关闭操作会同时进行，完全没有同步机制，这必然会导致数据竞争、程序panic或者资源状态不一致的问题。

更优的清理模式：优雅退出+同步控制 #

正确的做法是让signal处理goroutine通知主goroutine停止工作，再让主goroutine自己执行清理（利用defer的特性），这样能保证主goroutine已经停止所有业务操作，避免竞态。具体步骤：

1. 创建一个退出通知通道（比如done := make(chan struct{})）；
2. 在signal处理goroutine里，收到SIGINT后关闭done通道（关闭通道是广播信号，能通知所有监听它的goroutine）；
3. 主goroutine的无限循环改为监听done通道，收到退出信号后终止循环；
4. 主goroutine退出时，自然触发deferred的cleanup()，此时主goroutine已经停止所有业务操作，不会有竞态。

改进后的代码示例：

import (
    "os"
    "os/signal"
    "syscall"
)

func fn() {
    // some code
    defer cleanup() // 现在这个defer最终会被执行了！

    done := make(chan struct{})
    sigChan := make(chan os.Signal, 1)
    signal.Notify(sigChan, os.Interrupt, syscall.SIGTERM) // 可以同时监听SIGTERM

    // 信号处理goroutine
    go func() {
        <-sigChan
        // 收到信号，通知主goroutine退出
        close(done)
    }()

    // 主循环：同时监听退出信号
    for {
        select {
        case <-done:
            // 收到退出通知，终止循环
            return
        default:
            // 原来的循环体业务逻辑
            // 如果业务逻辑是阻塞的，也可以把它放到select的case里
            // 比如：case result := <-workChan: 处理结果...
        }
    }
}

func cleanup() {
    // 你的清理逻辑：关闭资源、释放连接等
}

额外优化点： #

• 如果有其他工作goroutine，可以用sync.WaitGroup等待它们全部完成后再执行cleanup；
• 可以设置超时时间，避免等待过久（比如用time.After在select里添加超时case）；
• 清理函数本身要保证线程安全，或者确保只有一个goroutine在执行它（上面的模式里cleanup只由主goroutine执行，天然安全）。

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