Go运行时：嵌套defer中recover失效与gorecover的argp参数机制

复现代码与输出 #

Demo代码 #

package main

import "fmt"

func main() {
	defer func() {
		if r := recover(); r != nil {
			fmt.Println("外层defer捕获到panic:", r)
		} else {
			fmt.Println("外层defer未捕获到panic")
		}
	}()

	defer func() {
		defer func() {
			if r := recover(); r != nil {
				fmt.Println("内层defer捕获到panic:", r)
			} else {
				fmt.Println("内层defer未捕获到panic")
			}
		}()
		panic("test panic")
	}()

	fmt.Println("main函数执行完毕")
}

运行输出 #

内层defer未捕获到panic
外层defer捕获到panic: test panic

问题1：为何嵌套defer的recover无法捕获panic？ #

结合你提供的runtime/panic.go中的gorecover源码，核心判断逻辑直接决定了结果：

func gorecover(argp uintptr) interface{} {
	gp := getg()
	p := gp._panic
	if p == nil || !p.recovered || p.argp != argp {
		return nil
	}
	p.recovered = true
	return p.arg
}

gorecover能捕获panic的核心条件是：当前panic节点的argp必须与传入的argp完全匹配。

底层逻辑拆解 #

1. panic触发时的argp记录：当panic("test panic")在中间的defer匿名函数中触发时，Go运行时会创建一个_panic结构体，其中argp字段记录的是触发panic的函数（中间defer匿名函数）的调用者的栈帧返回地址指针——也就是main函数的栈帧相关地址。
2. defer函数的argp传入规则：每个defer函数执行时，调用recover()会由编译器自动传入当前defer函数的调用者的栈帧返回地址指针：
   • 内层defer的调用者是中间的defer匿名函数，因此它传入的argp是中间defer函数的栈帧地址；
   • 外层defer的调用者是main函数，因此它传入的argp与panic节点的argp完全匹配。

内层defer的argp与panic节点的argp不相等，所以gorecover直接返回nil，无法捕获panic；外层defer的argp匹配，成功触发恢复。

问题2：gorecover的argp参数是如何传入的？ #

recover是Go内置函数，不需要开发者手动传参，整个过程由编译器自动处理：

1. 编译器解析到recover()调用时，会先识别当前函数是否处于defer上下文；
2. 自动生成代码，获取当前defer函数的调用者的栈帧返回地址指针（即argp）；
3. 将这个argp作为参数，把原recover()调用替换为对runtime.gorecover的调用。

简单来说，argp是编译器根据当前函数的调用栈上下文自动计算并传入的，它代表调用当前defer函数的上层函数的栈帧标识，用于精准匹配panic触发时的上下文。

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