Go 语言"多返回值"到底是怎么实现的？
在 C、Java 等传统语言中，函数通常只能通过寄存器返回一个值。如果想返回多个数据，你不得不定义一个结构体，或者通过指针参数"绕路"实现。
然而，Go 语言原生支持多返回值（Multiple Return Values），这让 res, err := doSomething() 成为了 Gopher 们最亲切的写法。那么，Go 到底在底层干了什么？
1. 核心本质：打破"寄存器"的束缚
在传统的 CPU 调用规约（Calling Convention）中，返回值通常存放在 rax 等特定的寄存器中。但寄存器数量有限，难以承载多个返回值。
Go 的本质逻辑是：将"返回值"视作"入参"的延续。 它并没有试图在 CPU 寄存器上做文章，而是直接利用内存（栈空间)来传递数据。这种设计虽然在理论上比寄存器操作稍慢，但它极大地简化了编译器设计，并提供了无限的扩展性。
2. 底层逻辑：三步走策略
Go 编译器在处理多返回值时，遵循"调用者预留，被调用者填空"的原则。
- 第一步：调用方（Caller）开辟空间
当编译器发现一个函数有多个返回值时，它会在调用方的栈帧（Stack Frame）中，专门划出一块连续的内存区域，用于存放这些返回值。
关键点：这块空间是在函数还没开始执行前就准备好的，且紧跟在函数的入参之后。
- 第二步：被调用方（Callee）执行并复制
当函数执行到 return 语句时，底层并不是简单的跳转，而是执行了一系列的 MOV 指令：
它计算出调用方预留空间的内存地址。
将函数内的局部变量值，拷贝到这些预留地址中。
如果有多个返回值，则按顺序依次拷贝。
- 第三步：控制权回收
当 RET 指令执行，函数执行完毕退栈。此时，调用方的栈顶（SP）正好指向了之前存放返回值的区域。调用方无需任何转换，直接从自己的栈上读取结果即可。
3. 为什么不选寄存器？Go 的权衡艺术
你可能会问：既然寄存器快，为什么 Go 不用寄存器？
简单与统一：不同的 CPU 架构（x86 vs ARM）寄存器数量天差地别。使用栈作为媒介，可以让 Go 编译器在跨平台移植时保持极高的一致性。
支持"无限"返回值：栈空间只受内存限制。通过栈，Go 可以轻松支持返回 3 个、5 个甚至更多值，而不需要处理复杂的寄存器溢出问题。
完美支持 defer：Go 的 defer 可以在函数返回前修改"命名返回值"。如果返回值在栈上，defer 函数只需要知道栈地址就能直接修改，逻辑清晰且稳定。
4. 总结
Go 语言多返回值的核心本质是：内存驱动胜过寄存器驱动。
通过在调用者栈帧上预留空间，Go 将复杂的函数返回问题转化为了简单的内存拷贝问题。这种设计体现了 Go 一贯的哲学：用简洁的底层模型，支撑强大的语言表达力。
下一次写下 v1, v2, v3 := func() 时，可以想象到：在内存的深处，调用者已经为你摆好了排座，等待着数据整齐地归位。