解析go语言调用约定多返回值实现原理
作者:晓彬_ 发布时间:2023-10-08 23:38:06
go简单代码反汇编
用简单的代码用以分析go的调用约定及多返回值的返回方式。
package main
func vals(c, d int) (a int, b int) {
e := 1
f := 2
a = c + d + e + f
b = d * 2
return
}
func testMutil() {
i, j := vals(1, 2)
i = i + 1
j = j + 1
}
func main() {
testMutil()
}
编译go build -gcflags "-N -l" test.go并通过反编译软件获得部分汇编:
main_vals:
sub rsp, 18h
mov [rsp+18h+var_8], rbp
lea rbp, [rsp+18h+var_8]
mov [rsp+18h+arg_10], 0
mov [rsp+18h+arg_18], 0
mov [rsp+18h+var_10], 1
mov [rsp+18h+var_18], 2
mov rax, [rsp+18h+arg_0]
add rax, [rsp+18h+arg_8]
add rax, [rsp+18h+var_10]
add rax, 2
mov [rsp+18h+arg_10], rax
mov rax, [rsp+18h+arg_8]
shl rax, 1
mov [rsp+18h+arg_18], rax
mov rbp, [rsp+18h+var_8]
add rsp, 18h
retn
main_vals endp
main_testMutil:
mov rcx, gs:28h
mov rcx, [rcx+0]
cmp rsp, [rcx+10h]
jbe short morestack_noctxt
sub rsp, 48h
mov [rsp+48h+var_8], rbp
lea rbp, [rsp+48h+var_8]
mov [rsp+48h+var_48], 1
mov [rsp+48h+var_40], 2
call main_vals
mov rax, [rsp+48h+var_38]
mov [rsp+48h+var_10], rax
mov rax, [rsp+48h+var_30]
mov [rsp+48h+var_18], rax
mov rax, [rsp+48h+var_10]
mov [rsp+48h+var_20], rax
mov rax, [rsp+48h+var_18]
mov [rsp+48h+var_28], rax
mov rax, [rsp+48h+var_20]
inc rax
mov [rsp+48h+var_20], rax
mov rax, [rsp+48h+var_28]
inc rax
mov [rsp+48h+var_28], rax
mov rbp, [rsp+48h+var_8]
add rsp, 48h
retn
morestack_noctxt:
call runtime_morestack_noctxt
main_testMutil endp
go语言调用约定分析
1.C/C++调用约定类别
__stdcall调用约定:函数的参数自右向左通过栈传递,被调用的函数在返回前清理传送参数的内存栈。
_cdecl是C和C++程序的缺省调用方式。每一个调用它的函数都包含清空堆栈的代码,所以产生的可执行文件大小会比调用_stdcall函数的大。函数采用从右到左的压栈方式。注意:对于可变参数的成员函数,始终使用__cdecl的转换方式。
__fastcall调用约定:它是通过寄存器来传送参数的(实际上,它用ECX和EDX传送前两个双字(DWORD)或更小的参数,剩下的参数仍旧自右向左压栈传送,被调用的函数在返回前清理传送参数的内存栈)。
thiscall仅仅应用于”C++”成员函数。this指针存放于CX寄存器,参数从右到左压。thiscall不是关键词,因此不能被程序员指定。
naked call采用1-4的调用约定时,如果必要的话,进入函数时编译器会产生代码来保存ESI,EDI,EBX,EBP寄存器,退出函数时则产生代码恢复这些寄存器的内容。naked call不产生这样的代码。naked call不是类型修饰符,故必须和_declspec共同使用。
2.go语言调用约定
sub rsp, 18h
mov [rsp+18h+var_8], rbp
...
mov rbp, [rsp+18h+var_8]
add rsp, 18h
这段代码分别对应栈帧的构造与销毁。
根据反汇编并且调试,可以发现go语言参数是自右向左通过栈传递,被调用的函数在返回前清理传送参数的内存栈。所以GO语言符合__stdcall调用约定。
go语言如何实现多返回值的
go语言可以返回多个返回值, 但同为编译型语言的C、C++却不支持。
1.C/C++返回值返回方式。
C/C++是通过eax/rax(32/64bit)寄存器返回的返回值。
2.go语言多返回值返回方式
可以看到vals函数的汇编,通过调试,可知arg_10与arg_18就是返回值a和b, arg_0与arg_8分别是参数c和d。其中
mov [rsp+18h+arg_10], rax
...
mov [rsp+18h+arg_18], rax
分别将参数值返回到参数上。之后在main_testMutil中将参数返回值拷贝到对应局部变量中
mov rax, [rsp+48h+var_38]
mov [rsp+48h+var_10], rax
mov rax, [rsp+48h+var_30]
mov [rsp+48h+var_18], rax
这就是go语言多返回值的实现方法了。
来源:https://blog.csdn.net/xiaobing1994/article/details/88414376
猜你喜欢
- 许多服务器管理员都知道,MySQL数据库管理系统(RDBMS)是高度灵活的软件块,带有范围广阔的启动选项,可以用来修改相关行为。然而,大部分
- 我一般看书喜欢做笔记,这份笔记不知道是什么时候看的什么书做的,也忘了是否是摘自其他地方,总之一份汇总,应该适合初学者,对于Javascrip
- 我想将一个二维数组横纵列转过来,我就不信只有我有这个需求,可是百度了好久,四海八荒都找遍了……后来证明还是大神说的google好用 ~ 第一
- VBSCRIPT中的日期,时间,星期函数很丰富,给我们使用带来了很大的方便,我个人使用最多的就是用now()来获取服务器的当前日期和时间。但
- 在使用SQL Server 的过程中,由于经常需要从多个不同地点将数据集中起来或向多个地点复制数据,所以数据的导出,导入是极为常见的操作.我
- 作者的BLOG:http://www.planabc.net/地图弹窗(map pop)具体演示运行代码框<!DOCTYPE html
- 我在程序首端添加了On Error Resume Next ,以更好地处理执行时引起的错误,但在数据库访问中引出了麻烦,因为我在一个查询操作
- 获取一组radio被选中项的值var item = $(’input[@name=items][@checke
- 内容摘要:本文介绍了asp使用正则表达式自动解析远程图片地址并下载保存的方法,值得收藏!一、使用正则表达式Regexp匹配取得原页中的图片的
- 北京邮电大学 张剑XML的局限性目前,许多Web网站的内容数据都存放在数据库或数据文件中。对于Web程序开发人员来说,如果要想把有用的信息从
- 本文介绍了两个asp实用的技巧,一是使用asp强制刷新页面,二是判断一个文件是否存在强制刷新网页 强制性刷新随机验证码 ,让随机验
- Mcrypt扩展库可以实现加密解密功能,就是既能将明文加密,也可以密文还原。1.PHP加密扩展库Mcrypt安装在标准的PHP安装过程中并没
- PHP lcfirst() 函数实例把 "Hello" 的首字符转换为小写。:<?php echo lcfirst
- 本文实例讲述了PHP利用func_get_args和func_num_args函数实现函数重载的方法。分享给大家供大家参考。具体方法分析如下
- 人们对于产品设计这类事情,往往容易眼高手低,在宇宙层面上夸夸其谈,却落不了地,只能飘着。真正到了自己动手的时候,才会发现问题很多,实践和理论
- 由于内容过多,大家可以通过ctrl+F搜索即可IE浏览器id 后缀名 php识别出的文件类型0 gif image/gif1 jpg ima
- 对url进行编码在服务器端我们可以使用asp中的server.urlencode,很方便实现。如:<% ss="asp之家欢
- 当鼠标移动上去后,字慢慢的变大的 效果应该 如果实现啊<!DOCTYPE html PUBLIC "-//W3C//DTD
- 网页编程中,在与数据库打交道的时候我们经常会碰到乱码的经常。本文就将介绍一种ASP读取MySQL数据库出现乱码的解决办法。情景再现:使用My
- jQuery是一个非常优秀的JavaScript 框架,使用简单灵活,同时还有许多成熟的插件可供选择,它可以帮助你在项目中加入一些非常好的效