go 并行赋值与defer的关系

在你提供的代码片段中，涉及了变量作用域和闭包的问题，让我们来分析一下为什么输出的是 error2 而不是 error。

func msg() (result string) {
    err := errors.New("error")
    defer func() {
        fmt.Println(err) // 这里为啥是error2，而不是error？
    }()
    a, err := "ssss", errors.New("error2") // 这个为啥不会报错？
    fmt.Println(a)

    return
}

分析：

1. 第一部分：err := errors.New("error")

   • 这行代码定义了一个名为 err 的变量，并赋值为 errors.New("error")。

2. 第二部分：defer func() { fmt.Println(err) }()

   • 这里使用了 defer 延迟执行函数，它捕获了外部函数的 err 变量。
   • 注意，这里的 defer 函数中使用的 err 是一个闭包，它会在 msg() 函数返回时执行。在执行时，它捕获的是 msg() 函数返回时的 err 变量的值。

3. 第三部分：a, err := "ssss", errors.New("error2")

   • 这是一个并行赋值语句，同时定义了变量 a 和新的变量 err。
   • a 被赋值为字符串 "ssss"。
   • err 被赋值为 errors.New("error2")。

为什么输出是 error2 而不是 error？

• 在 defer 延迟执行函数中，输出的 err 变量实际上是在 msg() 函数返回时执行的结果。
• 在 msg() 函数中，虽然先定义了 err := errors.New("error")，但是后来在并行赋值语句 a, err := "ssss", errors.New("error2") 中又定义了一个新的 err 变量。
• 在 defer 延迟执行函数内部，闭包捕获的是 msg() 函数返回时的变量状态。由于在执行 msg() 函数过程中，后续的并行赋值语句 err := errors.New("error2") 改变了 err 变量的值，所以在 defer 函数内部输出的是最近的 err 变量，即 errors.New("error2")。

总结：

• 输出的 err 变量是在 defer 延迟执行函数内部捕获的 msg() 函数返回时的值。
• 并行赋值语句 a, err := "ssss", errors.New("error2") 中重新定义了 err 变量，因此在 defer 函数中捕获的是最近的 err 变量，即 errors.New("error2")。