• 上一篇文章學習了幾種函數調用約定的區別，點擊鏈接查看上一篇文章：【軟件開發底層知識修煉】二十四 ABI之函數調用約定
• 本篇文章繼續學習函數調用約定中，關于函數返回值的問題。當函數返回值為結構體時，函數返回值是如何來傳給調用者的。

文章目錄

• 1 函數返回值為結構體類型
• • 1.1 函數返回值用于初始化變量
  • 1.2 函數返回值給變量賦值
• 2 代碼案例分析
• 3 總結

1 函數返回值為結構體類型

前一篇文章我們學習了當函數的返回值是整形時，函數返回時，如何將返回值傳遞給調用者。是通過eax寄存器來傳遞的。

但是當返回值為結構體時，eax寄存器顯然存不下結構體。那么該如何將返回值傳遞給調用者呢？

• 函數調用時，用來接收函數返回值的結構體變量的地址需要入棧。
• 然后被調用函數直接通過該結構體變量的地址，將返回值拷貝過去

但是有一點要注意，就是函數返回值用于初始化以及用于賦值時，這兩個過程，內部的調用約定是不一樣的。參考下面。

1.1 函數返回值用于初始化變量

上述圖示的過程還是很簡單的，當函數返回值作為其他變量的初始值的時候：

• 首先將變量的地址入棧
• 當函數返回時，將返回值拷貝到變量st的地址處即可

1.2 函數返回值給變量賦值

上述圖示與11節內容不太一樣。當函數返回值是給一個變量賦值而不是初始化的時候：

• 首先生成一個臨時的變量temp，將temp地址入棧
• 然后當函數返回時，將返回值拷貝到這個臨時變量的地址處
• 最后再將臨時變量的值賦值給st

可以看到，當函數返回值作為其他變量的初始值時只需要一次的數據拷貝，但是當函數返回值給其他變量賦值時，卻是兩次的數據拷貝。所以在平時的代碼中，盡量都是直接將函數返回值作為初始值，而盡量不要將返回值以賦值的形式給其他變量以免造成不必要的開銷。

2 代碼案例分析

本來是想將實驗過程寫清楚的，但是想想，這個代碼的調試過程還是留給讀者吧。畢竟我前面寫的二十幾篇都是將完整的步驟寫出來了，如果學會了前面gdb調試的內容那么自己調試應該不在話下。我只給出調試的思路和代碼。

• 代碼：

return.c

#include <stdio.h>struct ST {int x;int y;int z; };struct ST f(int x, int y, int z) {struct ST st = {0};printf("f() : &st = %p\n", &st);st.x = x;st.y = y;st.z = z;return st; }void g() {struct ST st = {0};printf("g() : &st = %p\n", &st);st = f(1, 2, 3);printf("g() : st.x = %d\n", st.x);printf("g() : st.y = %d\n", st.y);printf("g() : st.z = %d\n", st.z); }void h() {struct ST st = f(4, 5, 6);printf("h() : &st = %p\n", &st);printf("h() : st.x = %d\n", st.x);printf("h() : st.y = %d\n", st.y);printf("h() : st.z = %d\n", st.z); }int main() {h();g();return 0; }

調試思路：使用gdb進行調試。在不同的函數棧幀中查看當前函數棧幀中，結構體變量的地址是否入棧或者是否有一個臨時變量的地址入棧。然后通過使用gdb打斷點的形式，證明最終函數返回時是將返回值拷貝到相應的地址。當然，最后最干脆的方法還是查看該程序的反匯編代碼，通過閱讀反匯編代碼來更加清晰的認識整個函數的運行機制。

好了，這次就不寫調試步驟了，有心的人可以自己調試哦~

3 總結

學會了

• 函數返回值為結構體的時候，如何將返回值傳遞給調用者
• 函數返回值作為初始化與賦值時的不同。注意效率問題

總結

以上是生活随笔為你收集整理的【软件开发底层知识修炼】二十五 ABI之函数调用约定二之函数返回值为结构体时的约定的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。