为什么这种延迟语句在一种情况下会影响结果，而在另一种情况下不会？

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)
  main.go:20            0x48cf74                488d0d05090100          LEAQ 0x10905(IP), CX
  main.go:20            0x48cf7b                48894c2440              MOVQ CX, 0x40(SP)
  main.go:20            0x48cf80                4889442448              MOVQ AX, 0x48(SP)
  print.go:274          0x48cf85                488b0524020d00          MOVQ os.Stdout(SB), AX
  print.go:274          0x48cf8c                488d0d0dd70400          LEAQ go.itab.*os.File,io.Writer(SB), CX
  print.go:274          0x48cf93                48890c24                MOVQ CX, 0(SP)
  print.go:274          0x48cf97                4889442408              MOVQ AX, 0x8(SP)
  print.go:274          0x48cf9c                488d442440              LEAQ 0x40(SP), AX
  print.go:274          0x48cfa1                4889442410              MOVQ AX, 0x10(SP)
  print.go:274          0x48cfa6                48c744241801000000      MOVQ $0x1, 0x18(SP)
  print.go:274          0x48cfaf                48c744242001000000      MOVQ $0x1, 0x20(SP)
  print.go:274          0x48cfb8                e84397ffff              CALL fmt.Fprintln(SB)
  print.go:274          0x48cfbd                488b6c2450              MOVQ 0x50(SP), BP
  print.go:274          0x48cfc2                4883c458                ADDQ $0x58, SP
  print.go:274          0x48cfc6                c3                      RET
  main.go:19            0x48cfc7                e8d447fcff              CALL runtime.morestack_noctxt(SB)
  main.go:19            0x48cfcc                e96fffffff              JMP main.main(SB)

对于第二个代码段（其输出为2：]

  main.go:18            0x48cf30                64488b0c25f8ffffff      MOVQ FS:0xfffffff8, CX
  main.go:18            0x48cf39                483b6110                CMPQ 0x10(CX), SP
  main.go:18            0x48cf3d                7678                    JBE 0x48cfb7
  main.go:18            0x48cf3f                4883ec58                SUBQ $0x58, SP
  main.go:18            0x48cf43                48896c2450              MOVQ BP, 0x50(SP)
  main.go:18            0x48cf48                488d6c2450              LEAQ 0x50(SP), BP
  main.go:19            0x48cf4d                e84effffff              CALL main.test(SB)
  main.go:19            0x48cf52                e8d9bff7ff              CALL runtime.convT64(SB)
  main.go:19            0x48cf57                488b442408              MOVQ 0x8(SP), AX
  main.go:19            0x48cf5c                0f57c0                  XORPS X0, X0
  main.go:19            0x48cf5f                0f11442440              MOVUPS X0, 0x40(SP)
  main.go:19            0x48cf64                488d0d15090100          LEAQ 0x10915(IP), CX
  main.go:19            0x48cf6b                48894c2440              MOVQ CX, 0x40(SP)
  main.go:19            0x48cf70                4889442448              MOVQ AX, 0x48(SP)
  print.go:274          0x48cf75                488b0534020d00          MOVQ os.Stdout(SB), AX
  print.go:274          0x48cf7c                488d0d1dd70400          LEAQ go.itab.*os.File,io.Writer(SB), CX
  print.go:274          0x48cf83                48890c24                MOVQ CX, 0(SP)
  print.go:274          0x48cf87                4889442408              MOVQ AX, 0x8(SP)
  print.go:274          0x48cf8c                488d442440              LEAQ 0x40(SP), AX
  print.go:274          0x48cf91                4889442410              MOVQ AX, 0x10(SP)
  print.go:274          0x48cf96                48c744241801000000      MOVQ $0x1, 0x18(SP)
  print.go:274          0x48cf9f                48c744242001000000      MOVQ $0x1, 0x20(SP)
  print.go:274          0x48cfa8                e85397ffff              CALL fmt.Fprintln(SB)
  print.go:274          0x48cfad                488b6c2450              MOVQ 0x50(SP), BP
  print.go:274          0x48cfb2                4883c458                ADDQ $0x58, SP
  print.go:274          0x48cfb6                c3                      RET
  main.go:18            0x48cfb7                e8e447fcff              CALL runtime.morestack_noctxt(SB)
  main.go:18            0x48cfbc                e96fffffff              JMP main.main(SB)

Answer 1

Golang规范对延迟语句说this：

[...]，如果延迟的函数是函数常量并且周围的函数已命名结果参数，它们在常量的范围内，则延迟的函数可以在返回结果参数之前对其进行访问和修改。

（我的重点）

在your first snippet中，函数test没有命名的返回参数； x仅仅是局部变量。因此，您的defer语句无法修改函数test的结果。

在your second snippet中，函数test具有命名的返回参数x，该参数位于函数文字范围内。因此，defer语句可以（并且确实）修改函数test的结果。