为什么go panic用局部变量恢复返回值不起作用？

Question

此panic恢复代码使用命名的返回值。

func main() {
    result, err := foo()
    fmt.Println("result:", result)
    if err != nil {
        fmt.Println("err:", err)
    }
}

func foo() (result int, err error) {
    defer func() {
        if e := recover(); e != nil {
            result = -1
            err = errors.New(e.(string))
        }
    }()
    bar()

    result = 100
    err = nil
    return
}

func bar() {
    panic("panic happened")
}

输出

result: -1
err: panic happened

func main() {
    result, err := foo()
    fmt.Println("result:", result)
    if err != nil {
        fmt.Println("err:", err)
    }
}

func foo() (int, error) {
    var result int
    var err error
    defer func() {
        if e := recover(); e != nil {
            result = -1
            err = errors.New(e.(string))
        }
    }()
    bar()

    result = 100
    err = nil
    return result, err
}

func bar() {
    panic("panic happened")
}

result: 0

Answer 1

spec：Return语句详细说明了以下内容：

从具有结果类型的函数返回值有三种方法：

1. 返回值可以在“return”语句中显式列出。每个表达式必须是单值的，并且可赋值给函数结果类型的相应元素。
2. “return”语句中的表达式列表可能是对多值函数的单个调用。其效果是，从该函数返回的每个值都被赋给了一个临时变量，该变量的类型与相应值的类型相同，后面跟着一个列出这些变量的“return”语句，在这一点上，应用了前面案例的规则。
3. 如果函数的结果类型为其结果参数指定了名称，则表达式列表可能为空。结果参数充当普通的局部变量，函数可以根据需要为它们赋值。“return”语句返回这些变量的值。

因此，基本上，如果使用显式列出返回值的return语句，将使用这些返回值，而不管结果参数是否命名。

如果结果参数被命名，它们就充当普通的局部变量：您可以读写它们。如果指定了结果参数，则可以使用“naked”return语句，而不列出要返回的值。如果这样做，那么实际返回值将是（命名的）结果参数的值。如果函数由于panicing和recovery而没有到达return语句，那么同样的情况也适用：一旦延迟函数运行，实际返回值将是命名结果参数的值（延迟函数可以更改这些参数，并且“有权”返回什么）。

如果您不使用命名的结果参数，而是声明局部变量，它们在这种方式上并不特殊：当函数返回时，这些参数不会“自动”用作结果值（就像它们被命名为结果参数而不是局部变量时一样）。因此，如果在延迟函数中更改它们，则不会对返回的实际值产生任何影响。事实上，如果您不使用命名的结果参数并且您的函数panics和recover，您就不能指定返回值，它们将是结果类型的零值。这就是为什么您会看到结果:0(0是int)的零值，并且没有错误（因为error是接口类型，接口类型的零值是nil，如果是nil，则不会打印错误）。

参见相关内容：如何在Go函数中返回一个值？