Go返回多个值时究竟发生了什么

Question

Go函数和方法可以返回多个值.

func learnMultiple(x, y int) (sum, prod int) {
    return x + y, x * y // return two values
}

sum,prod:= learnMultiple(10,50)

它是否类似于返回一个元组？

我来自红宝石的土地,我可以返回一个阵列和一个

sum, prod = ["60","500"]

Answer 1

我们可以轻松查看一些已编译的代码,以确认幕后发生了什么.

请考虑以下代码段:

func f() (a, b byte) {
    return 'x', 'y'
}

func main() {
    a, b := f()
    println(a, b)
}

如果我们反汇编创建的ELF二进制文件,你会看到类似的东西(内联被禁用,所以我们可以看到调用发生):

0000000000400c00 <main.f>:
400c00:       c6 44 24 08 78          movb   $0x78,0x8(%rsp)
400c05:       c6 44 24 09 79          movb   $0x79,0x9(%rsp)
400c0a:       c3                      retq

0000000000400c10 <main.main>:
(...)
400c25:       48 83 ec 10             sub    $0x10,%rsp
400c29:       e8 d2 ff ff ff          callq  400c00 <main.f>
400c2e:       48 0f b6 1c 24          movzbq (%rsp),%rbx
400c33:       48 89 d8                mov    %rbx,%rax
400c36:       48 0f b6 5c 24 01       movzbq 0x1(%rsp),%rbx
(...)

因此,f只需将结果字节放入堆栈中,main然后将它们选回并将它们放入工作寄存器中.不同的编译器也可能选择将这两个范围之间的值直接传递给寄存器.

这类似于C语言的编译器所做的,除了它的规范只定义了一个返回值.