golang 推迟不按预期评估

Question

因此根据规范，延迟函数中的值在调用延迟函数时被评估，但直到封闭函数返回时才会执行操作。我明白了，并理解整个“for i:=0;i<4;i++ defer example prints 3210' thing.

”

但是，当我尝试使用 defer 临时分配覆盖值（将 max m 分配给队列长度 q）时，请确保在完成后重置该值（演示的示例已简化）：

type tss struct {
    q int
    m int
}

func (t *tss) test() {
    if true {
        defer func() {
            t.q=t.q     //this should evaluate to 't.q = 50' right?
            fmt.Println("assigned",t.q,"to t.q")
        }()
        t.q = t.m
    }
    fmt.Printf("q=%v, m=%v\n", t.q, t.m)
}

func main() {
    ts := tss{50,1}
    fmt.Printf("q=%v, m=%v\n", ts.q, ts.m)
    ts.test()
    fmt.Printf("q=%v, m=%v\n", ts.q, ts.m)
}

我希望收到输出：

q=50, m=1
q=1, m=1
assigned 50 to t.q
q=50, m=1

但是实际输出是：

q=50, m=1
q=1, m=1
assigned 1 to t.q
q=1, m=1

因此，这些值似乎是在错误的时间进行评估的。但是，当我首先将 t.q 转储到变量中并将该赋值移到延迟函数之外，并将测试函数更改为如下所示：

func (t *tss) test() {
    if true {
        qtmp := t.q
        defer func() {
            //assigning qtmp here still assigns 1 back to t.q
            t.q=qtmp
            fmt.Println("assigned",t.q,"to t.q")
        }()
        t.q = t.m
    }
    fmt.Printf("q=%v, m=%v\n", t.q, t.m)
}

我得到了上面的预期输出，其中分配了 50。

我是否遇到了错误，或者是否有关于在我遗漏的延迟函数中分配值的问题？

可能值得注意的是，如果我将 t.q 作为函数参数传递，也同样有效：

func (t *tss) test() {
    if true {
        defer func(q int) {
            t.q=q
            fmt.Println("assigned",t.q,"to t.q")
        }(t.q)
        t.q = t.m
    }
    fmt.Printf("q=%v, m=%v\n", t.q, t.m)
}

编辑：这是使用答案中的方法的完整版本：

type tss struct {
    q int
    m int
}

func (t *tss) test() {
    if true {
        defer func(q int) {
            t.q=q     //this will correctly evaluate to 't.q = 50'
            fmt.Println("assigned",t.q,"to t.q")
        }(t.q)
        t.q = t.m
    }
    fmt.Printf("q=%v, m=%v\n", t.q, t.m)
}

func main() {
    ts := tss{50,1}
    fmt.Printf("q=%v, m=%v\n", ts.q, ts.m)
    ts.test()
    fmt.Printf("q=%v, m=%v\n", ts.q, ts.m)
}

以及正确的输出：

q=50, m=1
q=1, m=1
assigned 50 to t.q
q=50, m=1

Answer 1

所以我在校对我的帖子时回答了我自己的问题。我不会删除它来隐藏我的尴尬，而是将其保留，以防其他人遭受同样的困惑。

延迟函数在调用时计算该函数的任何参数。它不会立即评估函数体内的任何值。因此，当延迟操作发生时，就会执行内部分配。

所以：

1. 代码已运行
2. 遇到 defer 语句
3. golang 存储参数值供以后使用
4. 延迟函数的主体被完全忽略
5. 其余代码运行到封闭函数的末尾
6. 使用存储的参数值执行延迟函数

-迈克

Answer 2

回答你自己的问题干得好。我认为有必要向未来的读者展示对您最初的尝试进行的修正。

func (t *tss) test() {
    if true {
        defer func(q int) {
            t.q = q //this should evaluate to 't.q = 50' right?
            fmt.Println("assigned", t.q, "to t.q")
        }(t.q)
        t.q = t.m
    }
    fmt.Printf("q=%v, m=%v\n", t.q, t.m)
}

输出

q=50, m=1
q=1, m=1
assigned 50 to t.q
q=50, m=1