解析go語(yǔ)言調(diào)用約定多返回值實(shí)現(xiàn)原理
go簡(jiǎn)單代碼反匯編
用簡(jiǎn)單的代碼用以分析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語(yǔ)言調(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)用約定：它是通過寄存器來(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)鍵詞，因此不能被程序員指定。
naked call采用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)容。naked call不產(chǎn)生這樣的代碼。naked call不是類型修飾符，故必須和_declspec共同使用。
2.go語(yǔ)言調(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語(yǔ)言參數(shù)是自右向左通過棧傳遞，被調(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++是通過eax/rax(32/64bit)寄存器返回的返回值。
2.go語(yǔ)言多返回值返回方式
可以看到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語(yǔ)言多返回值的實(shí)現(xiàn)方法了。
總結(jié)
go語(yǔ)言采用的是__stdcall調(diào)用約定。go多返回值是通過棧傳遞的。將多個(gè)返回值先傳回參數(shù)上，函數(shù)棧幀銷毀后并不會(huì)銷毀參數(shù)部分（這里用作返回值），再將參數(shù)部分進(jìn)行拷貝然后再參與運(yùn)算。
以上就是解析go語(yǔ)言調(diào)用約定多返回值實(shí)現(xiàn)原理的詳細(xì)內(nèi)容，更多關(guān)于go調(diào)用約定多返回值的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！
相關(guān)文章
go語(yǔ)言區(qū)塊鏈學(xué)習(xí)調(diào)用智能合約
這篇文章主要為大家介紹了go語(yǔ)言區(qū)塊鏈學(xué)習(xí)中如何調(diào)用智能合約的實(shí)現(xiàn)示例，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步2021-10-10
這篇文章主要介紹了go中控制goroutine數(shù)量的方法，文中通過示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2021-05-05
golang數(shù)組-----尋找數(shù)組中缺失的整數(shù)方法
這篇文章主要介紹了golang數(shù)組-----尋找數(shù)組中缺失的整數(shù)方法，具有很好的參考價(jià)值，希望對(duì)大家有所幫助。一起跟隨小編過來(lái)看看吧2020-12-12
Go語(yǔ)言利用接口實(shí)現(xiàn)鏈表插入功能詳解
這篇文章主要為大家介紹了Go語(yǔ)言中的接口，以及如何利用接口實(shí)現(xiàn)鏈表插入功能，文中的示例代碼講解詳細(xì)，感興趣的小伙伴可以了解一下2022-04-04
這篇文章主要為大家介紹了Opentelemetry Collector神秘的采集器詳解，有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪2022-12-12
這篇文章主要給大家介紹了利用golang如何解析域名的相關(guān)資料，文中通過示例代碼介紹的非常詳細(xì)，需要的朋友可以參考借鑒，下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧2018-12-12
Golang-如何判斷一個(gè)?interface{}?的值是否為?nil
interface?的內(nèi)部實(shí)現(xiàn)包含了兩個(gè)字段，一個(gè)是?type，一個(gè)是?data，這篇文章主要介紹了Golang-如何判斷一個(gè)interface{}的值是否為nil,需要的朋友可以參考下2023-05-05
Go語(yǔ)言web快速開發(fā)框架Gin的HttpRouter路由的使用
in框架內(nèi)部使用了高性能的路由器庫(kù)httprouter,支持動(dòng)態(tài)參數(shù)匹配和簡(jiǎn)潔的接口,本文主要介紹了Go語(yǔ)言web快速開發(fā)框架Gin的HttpRouter路由的使用,感興趣的可以了解一下2025-03-03
Go語(yǔ)言同步與異步執(zhí)行多個(gè)任務(wù)封裝詳解(Runner和RunnerAsync)
這篇文章主要給大家介紹了關(guān)于Go語(yǔ)言同步與異步執(zhí)行多個(gè)任務(wù)封裝(Runner和RunnerAsync)的相關(guān)資料，文中通過示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來(lái)一起學(xué)習(xí)學(xué)習(xí)吧。2018-01-01
這篇文章主要介紹了為什么不建議在go項(xiàng)目中使用init(),本文給大家介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值，需要的朋友可以參考下2021-04-04