为什么恐慌恢复以局部变量返回值不起作用？

Question

这个panic recover code 使用命名的返回值。

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

但是为什么带有局部变量的this code 不起作用呢？

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

有什么解释可以帮助我理解它的原因/基本概念吗？在 go tour basics 中解释如下。

命名返回值 Go 的返回值可以命名。如果是这样，它们将被视为在函数顶部定义的变量。

所以应该是一样的吧？

Answer 1

Spec: Return statements 详细说明：

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

1. 一个或多个返回值可能在“return”语句中明确列出。每个表达式都必须是单值的，并且可以分配给函数结果类型的相应元素。
2. “return”语句中的表达式列表可能是对多值函数的一次调用。效果就好像从该函数返回的每个值都分配给具有相应值类型的临时变量，然后是列出这些变量的“return”语句，此时适用前一种情况的规则。
3. 如果函数的结果类型为其结果参数指定名称，则表达式列表可能为空。结果参数充当普通的局部变量，函数可以根据需要为它们赋值。 “return”语句返回这些变量的值。

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

如果结果参数被命名，它们充当普通的局部变量：您可以读取和写入它们。 如果结果参数被命名，您可以使用“裸”return 语句，而不列出要返回的值。如果这样做，那么实际的返回值将是（命名的）结果参数的值。 如果您的函数由于恐慌和恢复而没有达到return 语句，同样的情况也适用：一旦延迟函数运行，实际返回值将是命名结果参数的值（即延迟函数可以改变并“有发言权”返回）。

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

查看相关：How to return a value in a Go function that panics?

Answer 2

请注意，这与恐慌/恢复无关，它是defer 语句的一个特性。

... 如果延迟函数是 函数字面量 和周围的 函数具有命名结果参数，它们在范围内 字面量，延迟函数可以访问和修改结果 参数之前他们被返回。如果延迟函数有 任何返回值，当函数完成时它们将被丢弃。

Answer 3

可能是@icza 的anwser 的简短摘要：

1. 命名的返回变量在函数没有恐慌的情况下终止（正常返回或从恐慌中恢复）时使用其最终值返回，因此您可以在 defer recover func() 中更改它们，并且最终值已更改，因此返回价值观。
2. 如果使用局部变量，编译器无法知道这些局部变量将用作返回变量，直到正常返回。局部变量可能会在恐慌恢复中改变，但是 由于 panic，return 语句尚未执行，所以你定义的局部变量没有被视为返回变量，返回值将是返回类型的零值。