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

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 循环初始化变量只初始化一次一样，小心别用，等待官方改进就是了。

经验尚浅，还望大佬们不吝赐教！