go的defer机制

news2024/11/23 18:42:20

defer的底层机制

为栈操作，栈是一个先进后出的数据结构

func main() {
    fmt.Println("reciprocal")

    for i := 0; i < 10; i++ {
        defer fmt.Println(i)
    }
}

运行结果
reciprocal
9
8
7
6
5
4
3
2
1
0

`defer`拷贝机制

以下已经发生压栈发生值拷贝数据不再会发生变化

func test() int {
	var i = 1
	defer func(i int) {
		fmt.Println("数据压栈已压栈数据不会在发生变化", i)
	}(i)
	i++
	return i
}

运行结果

数据压栈已压栈数据不会在发生变化 1

函数返回值 2

`defer`与`return`的返回时机(执行顺序)

根据defer内的变量为匿名函数，还是命名函数。函数的返回数据会有差距

1. 计算并赋值返回值：

• 对于匿名返回值的函数，return 语句先会计算并生成返回值，并将其赋值给一个临时变量。

• 对于命名返回值的函数，return 语句会将结果赋值给命名的返回变量，这个变量在函数开始时就已经声明。

2. 执行 defer 语句：

• defer 语句中的函数在 return 语句执行后被调用，但它们的执行顺序是后进先出 (Last In First Out, LIFO) 的。

• defer 函数可以操作命名返回值，从而可能修改最终的返回值。

3. 返回结果：

• 在 defer 函数执行完后，返回最终的结果。

实践匿名函数

func main() {
	fmt.Println(Anonymous())
}

func Anonymous() int {
	var i int
	defer func() {
		i++
		fmt.Println("defer2 value is ", i)
	}()

	defer func() {
		i++
		fmt.Println("defer1 in value is ", i)
	}()

	return i
}

结果

defer1 in value is  1

defer2 value is  2

0

执行过程：

1. 函数执行到 return i 时，i 的值是 0。

2. 执行 defer 语句，先执行 defer1，然后执行 defer2，此时 i 变为 2，但 return 的返回值已固定为 0。

3. 最终返回值为 0。

实践命名返回值的函数

func main() {
	fmt.Println(HasName())
}

func HasName() (j int) {
	defer func() {
		j++
		fmt.Println("defer2 in value", j)
	}()

	defer func() {
		j++
		fmt.Println("defer1 in value", j)
	}()

	return j
}

结果
defer1 in value 1
defer2 in value 2
2

执行过程：

1. 函数执行到 return j 时，j 的初始值为 0。

2. 执行 defer 语句，先执行 defer1，j 变为 1，再执行 defer2，j 变为 2。

3. 最终返回值为 2，因为 defer 修改了命名返回值 j。

总结

• 匿名返回值函数：return 语句计算出返回值并存储在临时变量中，随后执行 defer 函数，但 defer 对返回值的修改不会影响最终返回值。

• 命名返回值函数：return 语句返回命名的返回变量，defer 函数能够修改这个变量，因此它会影响最终返回值。

defer 执行顺序的规则

1. defer 的参数在 defer 语句处计算。

2. defer 函数在函数返回时按照后进先出的顺序执行。

3. defer 函数可以读写返回函数的命名返回值。