Go语言未知panic触发位置时恢复后如何继续执行后续代码

首先明确Go panic/recover的核心运行规则，这是所有方案的基础：

• 函数触发panic后，会立刻终止当前函数内剩余的正常执行逻辑，仅按注册顺序执行该函数内已声明的defer调用
• 之后panic会沿着调用栈逐层向上冒泡，每经过一层调用栈就执行该层已注册的defer，直到某层defer内调用recover()将panic捕获
• 捕获panic的函数，在recover逻辑执行完成后会直接返回，不会继续执行该函数内recover位置之后的正常代码

你遇到的f3()不执行的问题，本质是顶层注册的recoverPanic()在main函数层才捕获到从f2冒泡上来的panic，此时main函数内f2()调用之后的所有正常逻辑（包括f3()调用）已经被panic终止，自然不会执行。

通用实现方案 #

不需要在每个可能触发panic的函数内单独写defer，通过两层设计即可实现需求：

• 封装统一的安全调用包装函数，把panic的捕获边界控制在单个函数调用层，避免panic跨多层调用栈冒泡打断外层执行流
• 全局兜底要执行的逻辑，直接注册到程序入口（main、goroutine启动函数）的defer链中，不需要在下层函数重复注册

参考实现代码：

package main

import "fmt"

// safeCall 统一的安全调用包装，捕获调用fn时触发的所有panic，避免panic向上冒泡
func safeCall(fn func()) (panicCause any) {
	defer func() {
		panicCause = recover()
	}()
	fn()
	return nil
}

func main() {
	// 全局兜底逻辑注册到main的defer链即可，任意位置触发的panic冒泡到main层时都会优先执行
	defer f3()
	// 全局panic捕获逻辑
	defer recoverPanic()

	// 所有业务逻辑通过safeCall调用，单个函数的panic不会打断main的整体执行流
	safeCall(f1)
	safeCall(f2)
	// panic被safeCall隔离后，后续正常逻辑会继续执行
	fmt.Println("f2 调用完成，继续执行后续流程")
	f3()
}

func f1() {
	fmt.Println("f1")
}

func f2() {
	// 函数内部不需要单独写defer/recover，任意位置触发的panic都会被外层safeCall捕获
	fmt.Println("f2")
	panic("f2")
}

func f3() {
	fmt.Println("f3")
}

func recoverPanic() {
	if r := recover(); r != nil {
		fmt.Printf("Cause of panic ==>> %q\n", r)
	}
}

上述代码的运行输出：

f1
f2
f3
Cause of panic ==>> "f2"
f2 调用完成，继续执行后续流程
f3

注意事项 #

• 不要尝试实现「捕获panic后回到panic触发点继续执行剩余逻辑」，这是违背Go语言panic设计定位的：panic本身用于表示不可预期的严重错误，如果你预期某段逻辑出错后后续流程还能继续运行，就应该通过类似safeCall的包装把错误隔离在当前调用边界内，不要让panic向外逃逸
• 如果是每个goroutine内的逻辑，需要在goroutine的入口层单独做同样的包装，因为defer是跟着goroutine调用栈走的，main层的defer捕获不到其他goroutine触发的panic
• 全局兜底的defer注册顺序要注意：defer遵循后进先出的执行规则，要保证recover逻辑最后执行，才能让所有前置的兜底defer在panic冒泡时正常跑完

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