第解析go語(yǔ)言調(diào)用約定多返回值實(shí)現(xiàn)原理目錄go簡(jiǎn)單代碼反匯編go語(yǔ)言調(diào)用約定分析1.C/C++調(diào)用約定類別2.go語(yǔ)言調(diào)用約定go語(yǔ)言如何實(shí)現(xiàn)多返回值的總結(jié)

go簡(jiǎn)單代碼反匯編

用簡(jiǎn)單的代碼用以分析go的調(diào)用約定及多返回值的返回方式。

packagemain

funcvals(c,dint)(aint,bint){

e:=1

f:=2

a=c+d+e+f

b=d*2

return

functestMutil(){

i,j:=vals(1,2)

i=i+1

j=j+1

funcmain(){

testMutil()

編譯gobuild-gcflags-N-ltest.go并通過(guò)反編譯軟件獲得部分匯編:

main_vals:

subrsp,18h

mov[rsp+18h+var_8],rbp

learbp,[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

movrax,[rsp+18h+arg_0]

addrax,[rsp+18h+arg_8]

addrax,[rsp+18h+var_10]

addrax,2

mov[rsp+18h+arg_10],rax

movrax,[rsp+18h+arg_8]

shlrax,1

mov[rsp+18h+arg_18],rax

movrbp,[rsp+18h+var_8]

addrsp,18h

retn

main_valsendp

main_testMutil:

movrcx,gs:28h

movrcx,[rcx+0]

cmprsp,[rcx+10h]

jbeshortmorestack_noctxt

subrsp,48h

mov[rsp+48h+var_8],rbp

learbp,[rsp+48h+var_8]

mov[rsp+48h+var_48],1

mov[rsp+48h+var_40],2

callmain_vals

movrax,[rsp+48h+var_38]

mov[rsp+48h+var_10],rax

movrax,[rsp+48h+var_30]

mov[rsp+48h+var_18],rax

movrax,[rsp+48h+var_10]

mov[rsp+48h+var_20],rax

movrax,[rsp+48h+var_18]

mov[rsp+48h+var_28],rax

movrax,[rsp+48h+var_20]

incrax

mov[rsp+48h+var_20],rax

movrax,[rsp+48h+var_28]

incrax

mov[rsp+48h+var_28],rax

movrbp,[rsp+48h+var_8]

addrsp,48h

retn

morestack_noctxt:

callruntime_morestack_noctxt

main_testMutilendp

go語(yǔ)言調(diào)用約定分析

1.C/C++調(diào)用約定類別

__stdcall調(diào)用約定：函數(shù)的參數(shù)自右向左通過(guò)棧傳遞，被調(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)用約定：它是通過(guò)寄存器來(lái)傳送參數(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)鍵詞，因此不能被程序員指定。

nakedcall采用1-4的調(diào)用約定時(shí)，如果必要的話，進(jìn)入函數(shù)時(shí)編譯器會(huì)產(chǎn)生代碼來(lái)保存ESI，EDI，EBX，EBP寄存器，退出函數(shù)時(shí)則產(chǎn)生代碼恢復(fù)這些寄存器的內(nèi)容。nakedcall不產(chǎn)生這樣的代碼。nakedcall不是類型修飾符，故必須和_declspec共同使用。

2.go語(yǔ)言調(diào)用約定

subrsp,18h

mov[rsp+18h+var_8],rbp

movrbp,[rsp+18h+var_8]

addrsp,18h

這段代碼分別對(duì)應(yīng)棧幀的構(gòu)造與銷毀。

根據(jù)反匯編并且調(diào)試，可以發(fā)現(xiàn)go語(yǔ)言參數(shù)是自右向左通過(guò)棧傳遞，被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧。所以GO語(yǔ)言符合__stdcall調(diào)用約定。

go語(yǔ)言如何實(shí)現(xiàn)多返回值的

go語(yǔ)言可以返回多個(gè)返回值,但同為編譯型語(yǔ)言的C、C++卻不支持。

1.C/C++返回值返回方式。

C/C++是通過(guò)eax/rax(32/64bit)寄存器返回的返回值。

2.go語(yǔ)言多返回值返回方式

可以看到vals函數(shù)的匯編，通過(guò)調(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)局部變量中

movrax,[rsp+48h+var_38]

mov[rsp+48h+var_10],rax

movrax,[rsp+48h+var_30]

mov[rsp+48h+var_18],rax

這就是go語(yǔ)言多返回值的實(shí)現(xiàn)方法了。

總結(jié)

go語(yǔ)言采用的