Go 语言中延迟语句修改返回值算陷阱还是特性?

查看 11|回复 0
作者:assassing   
0x00 现象
Go 语言中,defer 语句中可以修改函数返回变量,导致返回值被修改。请看下面各种情况:
package main
import "fmt"
// 返回不受 defer 影响,返回 0
func f0() int {
        var i int
        defer func() { i++ }()
        return i
}
// 返回被 defer 修改后的值 1
func f1() (i int) {
        defer func() { i++ }()
        return
}
// 返回引用类型受 defer 影响,返回 [2]
func f2() []int {
        var i = []int{1}
        defer func() { i[0]++ }()
        return i
}
// 指明返回变量 a ,但实际返回的还是 i 。经过 defer 修改后返回 3
func f3() (i int) {
        i = 100 // 在 return 时被重新赋值
        a := 2
        defer func() { i++ }()
        return a
}
// i 在返回前赋值为 3 但不返回,经过 defer 修改,返回 4
func f4() (i int) {
        defer func() { i++ }()
        return 3
}
func main() {
        fmt.Println(f0(), f1(), f2(), f3(), f4()) // 输出:0 1 [2] 3 4
}
0x01 解释
站内有篇对这一现象说明的文章,经过实际测试( Go 1.22 )得到下面理解:
  • 正常返回(匿名返回值):函数内部会初始化一个隐藏局部变量储存返回值,在运行到 return 时,这个隐藏变量被赋予 i 的字面量值。defer 语句中修改 i 的值不会影响到隐藏返回变量,所以最终返回 0。当然,如果 i 的类型为引用型(例如切片),那么赋值给隐藏返回变量时,是引用传递,defer 语句中的修改依然会体现到返回值上。
  • 具名返回(命名返回值):要把返回分为三步分析。先给具名返回变量 i 赋值,如果 return 后带有值(或变量)则赋给 i;然后执行 defer 语句,里面可能修改 i 的值;最后将 i 的最终值返回。

    经过上面解释,正常 return 语句和裸 return 语句在逻辑上达成了一致。
    0x02 疑惑
    这里不讨论为什么具名返回值被设计成这样的,我的疑惑是:
  • 在延迟语句中,修改返回值的使用场景是什么?
  • 承接上一问,如果有使用场景,那么和具名返回配合的使用场景是什么?

    如果没有使用场景,我便直接将其理解为「陷阱」。就同 for 循环初始化变量只初始化一次一样,小心别用,等待官方改进就是了。
    经验尚浅,还望大佬们不吝赐教!
  • 您需要登录后才可以回帖 登录 | 立即注册

    返回顶部