go语言中defer和return的执行顺序及返回值详解

本文深入探讨Go语言中defer语句和return语句的执行顺序，并解释一些常见疑惑，特别是关于以下代码片段：

package main

import (
    "fmt"
)

func main() {
    fmt.Println(f0()) // 1
    fmt.Println(f1()) // 0
}

func f0() (result int) {
    defer func() {
        result++
    }()
    return 0
}

func f1() (result int) {
    result = 0 
    return
}

许多开发者对f0和f1函数的返回值感到困惑。让我们逐一分析：

疑问一：f0函数返回值为何是1而不是0？

f0函数显式返回0，但输出结果却是1。这是因为Go语言中defer语句的执行时机是在函数返回之前。defer func() { result++ }() 定义了一个匿名函数，并在函数执行完毕前调用。因此，return 0语句执行后，defer语句中的result++才会执行，将result的值从0增加到1，最终返回1。关键在于，result是函数的命名返回值，它在函数开始时被隐式初始化为0，而不是在return语句中才被赋值。

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

Go语言（Golang）1.26.0

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

下载

疑问二：f1函数返回值为何是0？

f1函数中，return语句后没有值，看似返回空值。但Go语言没有null的概念。对于数值类型，如int，如果没有显式赋值，则默认值为0。result变量在函数开始时被隐式声明并初始化为0。return语句只控制函数执行流程，不影响result的值。result = 0语句虽然看似多余，但它明确了result的初始值，避免歧义。

通过以上分析，我们理解了Go语言中defer和return的交互机制以及数值类型的默认值。理解这些细节对于编写高效、正确的Go代码至关重要。