调用者如何从子 goroutine 的恐慌中恢复

Question

我曾经认为如果调用者在恐慌之前完成，goroutine 中的恐慌会杀死程序（延迟恢复没有帮助，因为此时还没有发生恐慌），

直到我尝试了以下代码：

    func fun1() {
        fmt.Println("fun1 started")
        defer func() {
            if err := recover(); err != nil {
                fmt.Println("recover in func1")
            }
        }()

        go fun2()

        time.Sleep(10 * time.Second) // wait for the boom!
        fmt.Println("fun1 ended")
    }

    func fun2() {
        fmt.Println("fun2 started")

        time.Sleep(5 * time.Second)
        panic("fun2 booom!")

        fmt.Println("fun2 ended")
    }

我发现无论调用者函数完成与否，如果它启动的 goroutines 恐慌，调用者的延迟恢复机制将无济于事。整个程序还是死了。

那么，为什么？理论上调用者函数仍在运行。当恐慌发生时，调用者的延迟函数应该可以工作（包括恢复）。

Answer 1

specification says：

在执行函数 F 时，显式调用 panic 或运行时 panic 会终止 F 的执行。任何被 F 延迟的函数都会照常执行。接下来，运行由 F 的调用者运行的任何延迟函数，依此类推，直到执行 goroutine 中的顶级函数延迟。此时，程序终止并报告错误情况，包括 panic 的参数值。这种终止序列称为恐慌。

因为fun2是goroutine中执行的顶级函数，而fun2没有从恐慌中恢复，所以当fun2发生恐慌时程序终止。

当执行fun2 的goroutine 发生恐慌时，不会调用fun1 中的延迟调用。

一个 goroutine 无法从另一个 goroutine 的恐慌中恢复。

Answer 2

您可以在 fun2() 中使用 runtime.Goexit() 而不是在 fun1() 中恢复

Goexit 终止调用它的 goroutine。没有其他 goroutine 受影响。

类似

func fun2() {
    defer func() {
        if err := recover(); err != nil {
            fmt.Println("Do some cleanup and teardown")
            runtime.Goexit() //Here
        }
    }
    ...
}