关于延迟行为的 Go 语言面试问题

Question

我有 2 个代码示例：func test() int {    var x int    defer func() {        x++    }()    x = 1    return x}func main() {    fmt.Println(test())}它返回：1。但是，以下代码示例的行为有所不同：func test() (x int) {    defer func() {        x++    }()    x = 1    return}func main() {    fmt.Println(test())}它返回2。为了了解发生了什么，我反汇编了代码。对于第一个代码片段（其输出为1）：  main.go:19            0x48cf40                64488b0c25f8ffffff      MOVQ FS:0xfffffff8, CX  main.go:19            0x48cf49                483b6110                CMPQ 0x10(CX), SP  main.go:19            0x48cf4d                7678                    JBE 0x48cfc7  main.go:19            0x48cf4f                4883ec58                SUBQ $0x58, SP  main.go:19            0x48cf53                48896c2450              MOVQ BP, 0x50(SP)  main.go:19            0x48cf58                488d6c2450              LEAQ 0x50(SP), BP  main.go:20            0x48cf5d                e83effffff              CALL main.test(SB)  main.go:20            0x48cf62                e8c9bff7ff              CALL runtime.convT64(SB)  main.go:20            0x48cf67                488b442408              MOVQ 0x8(SP), AX  main.go:20            0x48cf6c                0f57c0                  XORPS X0, X0  main.go:20            0x48cf6f                0f11442440              MOVUPS X0, 0x40(SP)

Answer 1

Golang 规范对 defer 语句这样说：

[...] 如果延迟函数是函数字面量，并且周围的函数具有在字面量范围内的命名结果参数，则延迟函数可以在返回结果参数之前访问和修改结果参数。

（我的重点）

在您的第一个片段中，函数test没有命名返回参数；x只是一个局部变量。因此，您的 defer 语句不能修改 function 的结果test。

在您的第二个片段中，函数test有一个命名的返回参数x，它在您的函数文字范围内。因此， defer 语句可以（并且确实）修改了 function 的结果test。