Go语言原生支持函数多返回值，这让开发者可以很方便地从一个函数中返回多个结果，不需要额外定义结构体来包装返回值。这个特性看似简单，背后却有一套完整的底层实现逻辑，涉及编译阶段的代码转换和运行时栈帧的布局规则。
多返回值的基本使用场景
多返回值最常见的使用场景是返回函数执行结果和错误信息，比如标准库中的文件读取、网络请求相关函数都会采用这种返回模式。下面是一个简单的多返回值函数示例：
package main
import "fmt"
// 定义一个返回两个int类型值的函数
func calculate(a, b int) (int, int) {
sum := a + b
diff := a - b
return sum, diff
}
func main() {
s, d := calculate(10, 3)
fmt.Printf("sum: %d, diff: %dn", s, d)
}
编译阶段的多返回值处理
Go编译器在编译阶段会对多返回值函数做特殊处理，核心逻辑是将多个返回值转换为函数参数列表末尾的额外输出参数。比如上面定义的calculate函数，编译后的等效函数签名会变成：
func calculate(a, b int, ~r0 *int, ~r1 *int)
这里的~r0和~r1是编译器生成的隐式指针参数，用来接收函数内部返回的sum和diff的值。函数执行时，会把计算结果写入这两个指针指向的内存地址，调用方再通过这两个地址拿到返回值。
调用方的参数准备
当调用多返回值函数时，编译器会在调用方的栈帧中预先分配存放返回值的空间，然后把这两个空间的地址作为额外的参数传入被调用函数。我们可以通过查看汇编代码验证这个逻辑，执行go tool compile -S main.go可以看到对应的汇编指令，其中会包含传递返回值地址的操作。
运行时栈帧中的返回值存储
Go语言的函数调用遵循栈帧布局规则，每个函数的栈帧包含参数、返回地址、局部变量、返回值等部分。对于多返回值函数，返回值区域的大小由所有返回值的类型大小总和决定，这些返回值会连续存储在栈帧的返回值区域中。
栈帧布局示例
以calculate(10, 3)的调用为例，调用方的栈帧布局大致如下：
| 栈帧区域 | 内容 | 大小 |
|---|---|---|
| 参数a | 10 | 8字节（int类型在64位系统的大小） |
| 参数b | 3 | 8字节 |
| 返回值sum地址 | 调用方栈帧中sum变量的地址 | 8字节（指针大小） |
| 返回值diff地址 | 调用方栈帧中diff变量的地址 | 8字节 |
| 返回地址 | 调用结束后要执行的指令地址 | 8字节 |
| 局部变量sum | 计算结果13 | 8字节 |
| 局部变量diff | 计算结果7 | 8字节 |
被调用函数执行完计算逻辑后，会把结果写入传入的返回值地址对应的内存空间，函数返回后，调用方就可以直接从这些空间读取到对应的返回值。
命名返回值的特殊情况
Go语言支持命名返回值，这种情况下编译器会直接在函数的栈帧中为返回值分配局部变量空间，不需要额外生成隐式指针参数。比如下面的函数：
func calculateNamed(a, b int) (sum int, diff int) {
sum = a + b
diff = a - b
return
}
编译后的等效逻辑是函数栈帧中直接包含sum和diff两个局部变量，return语句会自动把这两个变量的值写入调用方预先分配的返回值空间，和未命名返回值的实现逻辑最终是一致的，只是返回值的定义方式不同。
多返回值的注意事项
- 多返回值的类型必须和函数定义中的返回类型完全匹配，否则编译会报错。
- 如果不需要使用某个返回值，可以用下划线
_忽略，编译器会优化掉对应的返回值传递逻辑。 - 多返回值可以和error类型结合使用，这是Go语言中处理错误的标准范式，不需要像其他语言一样使用异常机制。
Go语言的多返回值特性并不是语法糖，而是从编译到运行时都有完整支持的底层特性，理解其实现原理可以帮助开发者更好地编写高效的Go代码，也能更清楚地理解函数调用的完整流程。