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

IT行业相对于一般传统行业，发展更新速度更快，一旦停止了学习，很快就会被行业所淘汰。所以我们需要踏踏实实的不断学习，精进自己的技术，尤其是初学者。今天golang学习网给大家整理了《关于 defer 行为的 Go 语言面试问题》，聊聊，我们一起来看看吧！

我有 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)

解决方案

Golang 规范中关于 defer 语句的规定为 this：

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

（我的重点）

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

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

本篇关于《关于 defer 行为的 Go 语言面试问题》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！