go语言defer语句与返回值的微妙交互：详解及代码优化

本文探讨Go语言中defer语句与返回值的交互机制，并分析一个常见误区。以下代码片段展示了这个问题：

func f3() (r int) {
    defer func(r int) {
        r = r + 5
    }(r)
    return 1
}

这段代码定义了一个名为f3的函数，返回一个整数。defer语句中的匿名函数意图在函数返回前将返回值加5。然而，f3() 的返回值始终为1，而非预期的6。

原因在于Go语言的defer语句参数传递机制。defer func(r int) { ... }(r) 将r的值复制给匿名函数。匿名函数内部修改的r只是这个复制值的副本，不会影响f3函数中原始的r。return 1语句在defer语句之前执行，确定了返回值。defer语句中的匿名函数在函数返回之后执行，此时返回值已确定，修改副本r对结果无影响。

要实现预期结果（返回6），需要避免参数值的复制。一种方法是修改匿名函数，使其直接操作f3函数的返回值：

立即学习“go语言免费学习笔记（深入）”；

Go语言（Golang）1.26.0

Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

下载

func f3() (r int) {
    defer func() {
        r += 5
    }()
    return 1
}

在这个修改后的版本中，匿名函数直接通过闭包访问并修改f3函数的返回值r，最终返回6。 另一种方法，如原文所示，是使用一个不同的参数名：

func f3() (r int) {
    defer func(t int) {
        r = t + 5
    }(r)
    return 1 // 这里return 0 或者 return r 都会导致返回6
}

这个方法中，匿名函数的参数t接收r的初始值，然后修改f3函数的返回值r。

总结：Go语言中，defer语句中的匿名函数参数传递是值传递。 为了正确修改defer语句中函数的返回值，应避免值传递，直接在匿名函数内部修改返回值变量，或者通过闭包访问并修改返回值。 理解这一点对于编写高效且无bug的Go代码至关重要。