解读

国内一线/二线互联网公司面试中，这道题常被用作“语法陷阱 + 并发思维”的综合考察。
面试官通常先给一段 10 行左右的函数，让你预测输出；随后追问“为什么”“顺序调换会怎样”“如果换成匿名返回值结果又如何”。
核心目的不是背结论，而是验证候选人是否真正理解 Go “return 语句不是原子操作” 这一底层语义：

1. 先对返回值进行值拷贝/地址定位；
2. 再执行 defer 链；
3. 最后执行 RET 指令。

命名返回值在这一流程里提前被预分配（可视为函数局部变量），因此 defer 中对其直接赋值会真正写回主调栈；而匿名返回值在步骤 1 只会把临时结果拷贝到新的匿名空间，defer 再改也影响不到主调。
顺序之所以重要，是因为 defer 采用后进先出链表执行，一旦多个 defer 都对同一命名返回值写入，最后一条覆盖前面的值，直接决定最终返回。

知识点

1. 命名返回值：在函数签名处显式声明名字，编译器为其分配函数作用域内的具名变量，地址在 return 之前已确定。
2. 匿名返回值：编译器隐式创建临时变量，return 时先完成右值计算，再拷贝到该临时空间；defer 中无法触碰该空间。
3. return 三阶段：
   ① 计算右值 → ② 存入返回值变量（命名或匿名）→ ③ 运行 defer → ④ RET 指令。
4. defer 链表：运行时按倒序执行，后注册的 defer 先执行，因此修改顺序与注册顺序相反。
5. 常见踩坑：
   • 混用命名与匿名返回值；
   • 在 defer 中误用闭包捕获循环变量；
   • 对指针类型命名返回值做 nil 检查顺序错误。

答案

示例代码（面试白板手写版）：

func demo() (x int) {          // 命名返回值 x
    defer func() { x = 3 }()    // 注册顺序 1
    defer func() { x = 2 }()    // 注册顺序 2，后注册先执行
    return 1                    // 步骤①：x=1；步骤②③：defer 链执行，x 被覆盖为 2 再覆盖为 3
}

调用结果：返回 3。

如果把两个 defer 顺序调换：

func demo() (x int) {
    defer func() { x = 2 }()
    defer func() { x = 3 }()
    return 1
}

则后执行的 defer 把 x 写成 2，最终返回 2。

若改为匿名返回值：

func demo() int {              // 匿名返回值
    defer func() { /* 无法影响返回值 */ }()
    return 1
}

无论 defer 里写什么，始终返回 1。

拓展思考

1. 性能角度：命名返回值在 defer 中修改零额外拷贝，对高频热点函数（如网关中间件）可减少一次值拷贝，但滥用会降低可读性；匿名返回值+显式 return 常数在编译期即可做内联优化，两者需权衡。
2. 错误处理范式：在 pkg 对外暴露的 API 中，推荐命名返回值 + 尾部统一 defer 做 err 包裹，如：

func Do() (err error) {
    defer func() {
        if err != nil {
            err = fmt.Errorf("do failed: %w", err)
        }
    }()
    ...
}

这样无论函数内部哪个分支 return，都能保证错误链完整。
3. 与泛型结合：Go1.18 后泛型函数同样遵守上述规则，类型形参不影响 return 三阶段，但实例化后的命名返回值大小若超过 8 字节，编译器会改用隐式指针传递，defer 中修改仍生效，可借此做零拷贝大对象返回。