本文旨在探讨Go函数中的一个问题:为什么Go函数能支持多参数返回,而C/C++、java不行?这其实牵涉到了一个叫做函数调用惯例的问题。
调用惯例
在程序代码中,函数提供了最小功能单元,程序执行实际上就是函数间相互调用的过程。在调用时,函数调用方和被调用方必须遵守某种约定,它们的理解要一致,该约定就被称为函数调用惯例。
函数调用惯例往往由编译器来规定,本文主要关心两个点:
- 函数的参数(入参与出参)是通过栈还是寄存器传递?
- 如果通过栈传递,是从左至右,还是从右至左入栈?
栈
栈是现代计算机程序里最为重要的概念之一,没有栈就没有函数,也没有局部变量。栈保存了一个函数调用所需要的维护信息,这常常被称为堆栈帧(Stack Frame)或活动记录 (Activate Record)。堆栈帧一般包括如下几方面内容:
- 函数的返回地址和参数。
- 临时变量:包括函数的非静态局部变量以及编译器自动生成的其他临时变量。
- 保存的上下文信息:包括在函数调用前后需要保持不变的寄存器。
一个堆栈帧可以用指向栈顶的栈指针寄存器SP与维护当前栈帧的基准地址的基准指针寄存器BP来表示。因此,一个典型的函数活动记录可以表示为如下
在参数及其之后的数据即当前函数的活动记录。BP固定在图中所示的位置(通过它便于索引参数与变量等),它不会随着函数的执行而变化。而SP始终指向栈顶,随着函数的执行,SP会不断变化。在BP之前是该函数的返回地址,在32位机器表示为BP+4,64位机器表示为BP+8,再往前就是压入栈中的参数。BP所直接指向的数据是调用该函数前BP的值,这样在函数返回的时候,BP可以通过读取这个值恢复到调用前的值。
汇编代码解析
下面,我们来对比分析C和Go调用惯例差异。
- C调用惯例
假设有main.c的C程序源文件,其中main函数调用add函数,详细代码如下。
// main.c
int add(int arg1, int arg2, int arg3, int arg4,int arg5, int arg6,int arg7, int arg8) {
return arg1 + arg2 + arg3 + arg4 + arg5 + arg6 + arg7 + arg8;
}
int main() {
int i = add(10, 20, 30, 40, 50, 60, 70, 80);
}
我们通过clang编译器在x86_64平台上进行编译。
$ clang -v
Apple clang version 12.0.0 (clang-1200.0.32.29)
Target: x86_64-apple-darwin19.5.0
main.c 编译后得到的汇编代码如下
$ clang -S main.c
...
_main:
...
subq $32, %rsp
movl $10, %edi // 将参数1数据置于edi寄存器
movl $20, %esi // 将参数2数据置于esi寄存器
movl $30, %edx // 将参数3数据置于edx寄存器
movl $40, %ecx // 将参数4数据置于ecx寄存器
movl $50, %r8d // 将参数5数据置于r8d寄存器
movl $60, %r9d // 将参数6数据置于r9d寄存器
movl $70, (%rsp) // 将参数7数据置于栈上
movl $80, 8(%rsp) // 将参数8数据置于栈上
callq _add // 调用add函数
xorl %ecx, %ecx
movl %eax, -4(%rbp)
movl %ecx, %eax // 最终通过eax寄存器承载着返回值返回
addq $32, %rsp
popq %rbp
retq
...
_add:
...
movl 24(%rbp), %eax
movl 16(%rbp), %r10d
movl %edi, -4(%rbp) // 将edi寄存器上的数据放置于栈上
movl %esi, -8(%rbp) // 将esi寄存器上的数据放置于栈上
movl %edx, -12(%rbp) // 将edx寄存器上的数据放置于栈上
movl %ecx, -16(%rbp) // 将ecx寄存器上的数据放置于栈上
movl %r8d, -20(%rbp) // 将r8d寄存器上的数据放置于栈上
movl %r9d, -24(%rbp) // 将edi寄存器上的数据放置于栈上
movl -4(%rbp), %ecx // 将栈上的数据 10 放置于ecx寄存器
addl -8(%rbp), %ecx // 实际为:ecx = ecx + 20
addl -12(%rbp), %ecx // ecx = ecx + 30
addl -16(%rbp), %ecx // ecx = ecx + 40
addl -20(%rbp), %ecx // ecx = ecx + 50
addl -24(%rbp), %ecx // ecx = ecx + 60
addl 16(%rbp), %ecx // ecx = ecx + 70
addl 24(%rbp), %ecx // ecx = ecx + 80
movl %eax, -28(%rbp)
movl %ecx, %eax // 最终通过eax寄存器承载着返回值返回
popq %rbp
retq
...
因此,在main函数调用add函数之前,其参数存放如下图所示
调用add函数后的数据存放如下图所示
因此,对于默认的C语言调用惯例(cdecl调用惯例),我们可以得出以下结论
- 当函数参数不超过六个时,其参数会按照顺序分别使用 edi、esi、edx、ecx、r8d 和 r9d 六个寄存器进行传递;
- 当参数超过六个,那么超过的参数会使用栈传递,函数的参数会以从右到左的顺序依次入栈
C语言函数的返回值是通过寄存器传递完成的,不过根据返回值的大小,有以下三种情况。
- 小于4字节,返回值存入eax寄存器,由函数调用方读取eax的值
- 返回值5到8字节,采用eax和edx寄存器联合返回
- 大于8个字节,首先在栈上额外开辟一部分空间temp,将temp对象的地址做为隐藏参数入栈。函数返回时将数据拷贝给temp对象,并将temp对象的地址用寄存器eax传出。调用方从eax指向的temp对象拷贝内容。
可以看到,由于采用了寄存器传递返回值的设计,C语言的返回值只能有一个,这里回答了C为什么不能实现函数多值返回。
- Go函数调用惯例
假设有main.go的Go程序源文件,和C中例子一样,其中main函数调用add函数,详细代码如下。
package main
func add(arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8 int) int {
return arg1 + arg2 + arg3 + arg4 + arg5 + arg6 + arg7 + arg8
}
func main() {
_ = add(10, 20, 30, 40, 50, 60, 70, 80)
}
使用go tool compile -S -N -l main.go
命令编译得到如下汇编代码
"".main STEXT size=122 args=0x0 locals=0x50
// 80代表栈帧大小为80个字节,0是入参和出参大小之和
0x0000 00000 (main.go:7) TEXT "".main(SB), ABIInternal, $80-0
...
0x000f 00015 (main.go:7) SUBQ $80, SP
0x0013 00019 (main.go:7) MOVQ BP, 72(SP)
0x0018 00024 (main.go:7) LEAQ 72(SP), BP
...
0x001d 00029 (main.go:8) MOVQ $10, (SP) // 将数据填置栈上
0x0025 00037 (main.go:8) MOVQ $20, 8(SP)
0x002e 00046 (main.go:8) MOVQ $30, 16(SP)
0x0037 00055 (main.go:8) MOVQ $40, 24(SP)
0x0040 00064 (main.go:8) MOVQ $50, 32(SP)
0x0049 00073 (main.go:8) MOVQ $60, 40(SP)
0x0052 00082 (main.go:8) MOVQ $70, 48(SP)
0x005b 00091 (main.go:8) MOVQ $80, 56(SP)
0x0064 00100 (main.go:8) PCDATA $1, $0
0x0064 00100 (main.go:8) CALL "".add(SB) // 调用add函数
0x0069 00105 (main.go:9) MOVQ 72(SP), BP
0x006e 00110 (main.go:9) ADDQ $80, SP
0x0072 00114 (main.go:9) RET
...
"".add STEXT nosplit size=55 args=0x48 locals=0x0
// add栈帧大小为0字节,72是 8个入参 + 1个出参 的字节大小之和
0x0000 00000 (main.go:3) TEXT "".add(SB), NOSPLIT|ABIInternal, $0-72
...
0x0000 00000 (main.go:3) MOVQ $0, "".~r8+72(SP) // 初始化返回值,将其置为0
0x0009 00009 (main.go:4) MOVQ "".arg1+8(SP), AX // 开始将栈上的值放置在AX寄存器上
0x000e 00014 (main.go:4) ADDQ "".arg2+16(SP), AX // AX = AX + 20
0x0013 00019 (main.go:4) ADDQ "".arg3+24(SP), AX
0x0018 00024 (main.go:4) ADDQ "".arg4+32(SP), AX
0x001d 00029 (main.go:4) ADDQ "".arg5+40(SP), AX
0x0022 00034 (main.go:4) ADDQ "".arg6+48(SP), AX
0x0027 00039 (main.go:4) ADDQ "".arg7+56(SP), AX
0x002c 00044 (main.go:4) ADDQ "".arg8+64(SP), AX
0x0031 00049 (main.go:4) MOVQ AX, "".~r8+72(SP) // 将结果AX填置到对应栈上位置
0x0036 00054 (main.go:4) RET
...
同样的,我们将main函数调用add函数时,其参数存放可视化出来如下所示
这里我们可以看到,add函数的入参压栈顺序和C一样,都是从右至左,即最后一个参数在靠近栈底方向的SP+56~SP+64,而第一个参数是在栈顶SP~SP+8。
调用add函数后的数据存放如下图所示
注意,这里与C中调用不同的是,由于通过栈传递参数,所以并不需要将寄存器中保存的参数再拷贝至栈上。在本例中,add帧直接调用main帧栈上的数据进行计算即可。通过将结果累加到AX寄存器上,最后再将最终的返回值置回栈中即可,返回值的位置是在最后一个入参之上。
因此我们知道,Go函数的出入参均是通过栈来传递的。所以,如果想返回多值,那么仅需要在栈上多分配一些内存即可。到这里也就回答了文章开头的问题。
总结
在函数调用惯例中,C语言和Go语言选择了不同的实现方式。C语言同时使用了寄存器与栈传递参数,而Go语言除了在函数计算过程中会临时使用例如AX这种累加寄存器之外,全部是通过栈完成参数的传递。
任何选择都会有它的优劣所在,总体来讲,C语言实现方式更多地是考虑性能,Go语言实现方式更多地是考虑复杂度。下面,我们详细比较一下两种调用惯例。
C语言方式
CPU访问寄存器的效率会明显高于栈;
不同平台的寄存器存在差异,需要为每种架构设定对应的寄存器传递规则;
参数过多时,需要同时使用寄存器与栈传递,增加了实现复杂度,且此时函数调用性能和Go语言方式差别不再大;
只能支持一个返回值。
Go语言方式
遵循Go语言的跨平台编译理念:都是通过栈传递,因此不用担心架构不同带来的寄存器差异;
参数较少的情况下,函数调用性能会比C语言方式低;
编译器易于维护;
可以支持多返回值。
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。