php小编小新在这篇文章中将为您解答一个常见问题：“为什么这个程序在结果中打印421？”这个问题可能涉及到程序中的某些特定逻辑或错误。我们将通过分析可能的原因和解决方法来帮助您理解并解决这个问题。请继续阅读以获取详细的解答。

问题内容

我不明白，为什么这个程序打印 421 而不是 431？

package main

import "fmt"

var x int
func f() int {
    x++
    return x
}

func main() {
    o := fmt.println

    defer o(f())
    defer func() {
        defer o(recover())
        o(f())
    }()

    defer f()
    defer recover()

    panic(f())
}

下面我添加了我猜测的评论：

package main

import "fmt"

var x int
func f() int {
    x++
    return x
}

func main() {
    o := fmt.Println

    defer o(f()) // x=1
    defer func() {
        defer o(recover()) // x=3 from panic (but if we ll execute this program we ll see 2)
        o(f()) // x=4
    }()

    defer f() // x=2
    defer recover() //nil

    panic(f()) // x=3
}

解决方法

defer 确实不调用该函数，但它<确实“立即”评估其论点。另外，对 recover() 的调用仅在从延迟函数调用时停止紧急状态（defer receive() 不符合此条件）。请参阅为什么`deferrecover()`不会捕获恐慌？

鉴于此：让我们对行进行编号：

L1: o := fmt.Println

L2: defer o(f()) // x = 1

L3: defer func() {
L4:     defer o(recover()) // recover() returns 2
L5:     o(f())             // x = 4, it gets printed
L6: }()

L7: defer f() // after panic: x = 3
L8: defer recover()

L9: panic(f()) // x = 2

上面代码的执行过程如下：

l2：评估 o() 的参数，调用 f()，x 递增到 1 （稍后将打印）。 o() 尚未被调用。

l3：延迟函数尚未调用，暂时跳过其整个主体。

l7: f() 尚未被调用，x 仍为 1。

l8: recover() 未被调用。

l9：调用f()，将x递增到2，然后返回，因此2被传递给panic()。

我们处于恐慌状态，因此现在执行延迟函数（按 lifo 顺序）。

l8: recover() 被调用但不会停止恐慌状态。

l7: f() 现在被调用，将 x 增加到 3。

l3：这个匿名函数现在被执行。

l5：调用 f()，将 x 递增到 4，立即打印出来。

l4：延迟函数 o() 现在被执行，打印上面的值 2。

l2：延迟函数 o() 现在被执行，打印之前计算的值 1。

程序结束。