Почему этот оператор отсрочки влияет на результат в одном случае, но не влияет на другой?

У меня есть 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)

go scope deferred
person frankegoesdown    schedule 30.12.2019    source источник
comment
@ jub0bs Спасибо, я обновил второй фрагмент кода.   -  person frankegoesdown    schedule 30.12.2019
comment
В вашем первом фрагменте из-за отсутствия именованного параметра результата ваша отложенная функция не имеет возможности влиять на то, что возвращает включающая функция (test). См. спецификацию: если отложенная функция является функциональным литералом, а окружающая функция имеет именованные параметры результата, которые находятся в пределах литерала, отложенная функция может получить доступ к параметрам результата и изменить их до того, как они будут возвращены.   -  person jub0bs    schedule 30.12.2019
comment
@jub0bs еще раз спасибо. Теперь поясню :)   -  person frankegoesdown    schedule 30.12.2019
comment
Также см. связанные/возможные дубликаты: Почему нормальный возврат может скрывать панику, которую именованный возврат правильно предоставляет вызывающей стороне? и Как вернуть значение в паникующей функции Go?   -  person icza    schedule 30.12.2019
comment
@icza Связано, но не обман, ИМО.   -  person jub0bs    schedule 30.12.2019

Ответы (1)


arrow_upward
3
arrow_downward

Спецификация Golang говорит это об операторах отсрочки:

[...] если отложенная функция является функциональным литералом, и окружающая функция имеет именованные параметры результата, которые находятся в пределах литерала, отложенная функция может получить доступ и изменить параметры результата до того, как они будут возвращены .

(мой акцент)

В вашем первом фрагменте функция test не имеет именованного возвращаемого параметра; x — это просто локальная переменная. Следовательно, ваш оператор отсрочки не может изменить результат функции test.

В вашем втором фрагменте функция test имеет именованный возвращаемый параметр x, который входит в область действия вашего функциональный литерал. Таким образом, оператор defer может (и делает) изменить результат функции test.

person jub0bs    schedule 30.12.2019