Go语言defer执行顺序与命名返回值的返回结果差异疑问

核心原因：Go的return语句不是原子操作，匿名返回值和命名返回值的赋值逻辑存在差异 #

Go语言中任意return语句都会被编译器拆分为三个执行步骤：

• 步骤1：为返回值赋值：匿名返回值会先创建一个临时变量存储要返回的值，命名返回值则直接对提前声明的返回变量执行赋值操作
• 步骤2：按逆序执行所有注册的defer语句
• 步骤3：将最终的返回值返回给调用方

第一段匿名返回值函数的执行逻辑 #

// return 0
func f() int {
    res := 0 
    defer func(){
        res++
    }()
    return res
}

这段函数的返回值是匿名的，执行流程如下：

1. return第一步：创建匿名临时返回变量，将局部变量res的当前值0赋值给这个临时变量
2. 执行defer匿名函数：修改的是局部变量res的值，已经赋值完成的临时返回变量不会被影响
3. 把临时变量的值0返回，因此最终返回结果为0

第二段命名返回值函数的执行逻辑 #

// return 1
func f() (res int) {
    res = 0 
    defer func(){
        res++
    }()
    return res
}

这段函数的返回值已经提前声明为res，属于命名返回值，执行流程如下：

1. return第一步：直接对命名返回变量res赋值0（此处赋值的对象就是最终要返回的变量本身）
2. 执行defer匿名函数：直接修改命名返回变量res的值，res从0变为1
3. 把res的当前值1返回，因此最终返回结果为1，不会返回0

内容的提问来源于stack exchange，提问作者vgjm