解析go語言調(diào)用約定多返回值實(shí)現(xiàn)原理
go簡單代碼反匯編
用簡單的代碼用以分析go的調(diào)用約定及多返回值的返回方式。
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語言調(diào)用約定分析
1.C/C++調(diào)用約定類別
__stdcall調(diào)用約定:函數(shù)的參數(shù)自右向左通過棧傳遞,被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧。
_cdecl是C和C++程序的缺省調(diào)用方式。每一個(gè)調(diào)用它的函數(shù)都包含清空堆棧的代碼,所以產(chǎn)生的可執(zhí)行文件大小會(huì)比調(diào)用_stdcall函數(shù)的大。函數(shù)采用從右到左的壓棧方式。注意:對(duì)于可變參數(shù)的成員函數(shù),始終使用__cdecl的轉(zhuǎn)換方式。
__fastcall調(diào)用約定:它是通過寄存器來傳送參數(shù)的(實(shí)際上,它用ECX和EDX傳送前兩個(gè)雙字(DWORD)或更小的參數(shù),剩下的參數(shù)仍舊自右向左壓棧傳送,被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧)。
thiscall僅僅應(yīng)用于”C++”成員函數(shù)。this指針存放于CX寄存器,參數(shù)從右到左壓。thiscall不是關(guān)鍵詞,因此不能被程序員指定。
naked call采用1-4的調(diào)用約定時(shí),如果必要的話,進(jìn)入函數(shù)時(shí)編譯器會(huì)產(chǎn)生代碼來保存ESI,EDI,EBX,EBP寄存器,退出函數(shù)時(shí)則產(chǎn)生代碼恢復(fù)這些寄存器的內(nèi)容。naked call不產(chǎn)生這樣的代碼。naked call不是類型修飾符,故必須和_declspec共同使用。
2.go語言調(diào)用約定
sub rsp, 18h mov [rsp+18h+var_8], rbp ... mov rbp, [rsp+18h+var_8] add rsp, 18h
這段代碼分別對(duì)應(yīng)棧幀的構(gòu)造與銷毀。
根據(jù)反匯編并且調(diào)試,可以發(fā)現(xiàn)go語言參數(shù)是自右向左通過棧傳遞,被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧。所以GO語言符合__stdcall調(diào)用約定。
go語言如何實(shí)現(xiàn)多返回值的
go語言可以返回多個(gè)返回值, 但同為編譯型語言的C、C++卻不支持。
1.C/C++返回值返回方式。
C/C++是通過eax/rax(32/64bit)寄存器返回的返回值。
2.go語言多返回值返回方式
可以看到vals函數(shù)的匯編,通過調(diào)試,可知arg_10與arg_18就是返回值a和b, arg_0與arg_8分別是參數(shù)c和d。其中
mov [rsp+18h+arg_10], rax ... mov [rsp+18h+arg_18], rax
分別將參數(shù)值返回到參數(shù)上。之后在main_testMutil中將參數(shù)返回值拷貝到對(duì)應(yīng)局部變量中
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語言多返回值的實(shí)現(xiàn)方法了。
總結(jié)
go語言采用的是__stdcall調(diào)用約定。go多返回值是通過棧傳遞的。將多個(gè)返回值先傳回參數(shù)上,函數(shù)棧幀銷毀后并不會(huì)銷毀參數(shù)部分(這里用作返回值),再將參數(shù)部分進(jìn)行拷貝然后再參與運(yùn)算。
以上就是解析go語言調(diào)用約定多返回值實(shí)現(xiàn)原理的詳細(xì)內(nèi)容,更多關(guān)于go調(diào)用約定多返回值的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章!
相關(guān)文章
關(guān)于go-zero服務(wù)自動(dòng)收集問題分析
這篇文章主要介紹了關(guān)于go-zero服務(wù)自動(dòng)收集問題,本文給大家介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2022-12-12go項(xiàng)目實(shí)現(xiàn)mysql接入及web?api的操作方法
這篇文章主要介紹了go項(xiàng)目實(shí)現(xiàn)mysql接入以及web api,本文通過實(shí)例代碼給大家介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2023-08-08golang中struct和interface的基礎(chǔ)使用教程
Go不同于一般的面向?qū)ο笳Z言,需要我們好好的學(xué)習(xí)研究,下面這篇文章主要給大家介紹了關(guān)于golang中struct和interface的基礎(chǔ)使用的相關(guān)資料,需要的朋友可以參考借鑒,下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧。2018-03-03golang?gorm框架數(shù)據(jù)庫的連接操作示例
這篇文章主要為大家介紹了golang?gorm框架數(shù)據(jù)庫操作示例,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進(jìn)步早日升職加薪2022-04-04基于go-cqhttp與Flask搭建定制機(jī)器人項(xiàng)目實(shí)戰(zhàn)示例
這篇文章主要為大家介紹了基于go-cqhttp與Flask搭建定制機(jī)器人項(xiàng)目實(shí)戰(zhàn)示例,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進(jìn)步,早日升職加薪2022-11-11golang簡單獲取上傳文件大小的實(shí)現(xiàn)代碼
這篇文章主要介紹了golang簡單獲取上傳文件大小的方法,涉及Go語言文件傳輸及文件屬性操作的相關(guān)技巧,需要的朋友可以參考下2016-07-07