C/C++函數的調用過程

#include <stdio.h>
#include <iostream>
using namespace std;

int func(int a, int b, int c)
{
    int m = a;
    int n = b;
    int d = c;
    cout << "a = " << m << " b = " << n << " c = " << d;
    cout << endl;
    return 0;
}

int main()
{
    func(1, 2, 3);
    system("pause");
    return 0;
}

堆棧中的變量分佈是從高地址到低地址分佈，EBP是指向棧底的指針，在過程調用中不變，又稱爲幀指針。ESP指向棧頂，程序執行時移動，ESP減少分配空間，ESP增大釋放空間，ESP又稱爲棧指針。

下面逐步分解函數的調用過程：

一、函數main執行，main各個參數從右向左逐步壓入棧中，最後返回地址。

二、執行func（...）函數，3個參數從右向左逐步壓入堆棧中。

三、而後是返回地址入棧。

四、int func（...）函數調用時候，經過跳轉指令進入函數後，函數地址入棧後，EBP入棧，而後把當前ESP的值給EBP，對應的彙編指令：

push ebp

mov ebp esp

此時棧頂和棧底指向同一位置。

五、int m= a;int n = b;int d = c;按照申明一次進行存儲。

六、func(...)輸出結果

七、調用函數完畢，局部變量一次出棧。

2、函數調用時三種參數傳遞方式詳解。

C++中，參數傳遞的方式是：實虛結合。（pass by value,pass by pointer,pass by reference）

一、pass by value：首先計算出實參表達式的值，接着給對應的形參變量分配一個存儲空間，該空間的大小等於該形參類型的，而後把以求出的實參表達式的值一一存入到形參變量分配的存儲空間中，成爲形參變量的初值，供被調用函數執行時使用。這種傳遞是把實參表達式的值傳送給對應的形參變量，故稱這種傳遞方式爲「按值傳遞」。

使用這種方式，調用函數自己不對實參進行操做，也就是說，及時形參的值在函數中發生了變化，實參的值也徹底不會受到影響，任爲調用前的值。

二、pass by pointer:若是在函數定義時將形參說明成指針，對這樣的函數進行調用時就須要指定地址值形式的實參。這時的參數傳遞方式就是地址傳遞方式。

三、pass by reference:若是以引用爲參數，則既可使得對形參的任何操做都能改變相應的數據，又使得函數調用顯得方便、天然。引用傳遞方式是在函數定義時在形參前面加上引用運算符「&」。

函數參數傳遞機制的基本理論：

（1）值傳遞過程當中，被調函數的形參做爲被調函數的局部變量處理，（在堆棧中開闢內存空間以存放由主調函數放進來的實參的值，從而成爲了一個實參的一個副本）。特色（被調函數對形參的任何操做都是做爲局部變量進行，不會影響主調函數的實參變量的值）

（2）引用傳遞過程當中，被調函數的形式參數雖然也做爲局部變量在堆棧中開闢了內存空間，可是這時存放的是由主調函數放進來的實參變量的地址。被調函數對形參的任何操做都被處理成間接尋址，即經過堆棧中存放的地址訪問主調函數中的實參變量。正由於如此，被調函數對形參作的任何操做都影響了主調函數中的實參變量。

這裏咱們知道了：一、晉城的堆棧存儲區是主調函數和被調函數進行通訊的主要區域。

二、C語言中參數是從右向左進棧的。

三、被調函數使用堆棧區域結構爲：局部變量（temp）返回地址，函數參數，低地址，高地址

四、有主調函數在調用後清理堆棧。

五、函數的返回值通常是存放在寄存器中的。

優缺點：

 1. 從功能上。按值傳遞在傳遞的時候，實參被複制了一份，而後在函數體內使用，函數體內修改參數變量時修改的是實參的一份拷貝，而實參自己是沒有改變的，因此若是想在調用的函數中修改實參的值，使用值傳遞是不能達到目的的，這時只能使用引用或指針傳遞。例如，要實現兩個數值交換。

 void swap(int a  int b) 

 void main(){

     int a=1  b=2 

     swap(a b) 

 }

 這樣，在main()函數中的a b值實際上並無交換，若是想要交換隻能使用指針傳遞或引用傳遞，如：

 void swap(int pa  int pb) 

 或

 void swap(int&  ra  int&  rb)

 

   2.從傳遞效率上。這裏所說傳遞效率，是說調用被調函數的代碼將實參傳遞到被調函數體內的過程，正如上面代碼中，這個過程就是函數main()中的a b傳遞到函數swap()中的過程。這個效率不能一律而論。對於內建的int  char   short long float等4字節或如下的數據類型而言，實際上傳遞時也只須要傳遞1－4個字節，而使用指針傳遞時在32位cpu中傳遞的是32位的指針，4個字節，都是一條指令，這種狀況下值傳遞和指針傳遞的效率是同樣的，而傳遞double  long long等8字節的數據時，在32位cpu中，其傳值效率比傳遞指針要慢，由於8個字節須要2次取完。而在64位的cpu上，傳值和傳址的效率是同樣的。再說引用傳遞，這個要看編譯器具體實現，引用傳遞最顯然的實現方式是使用指針，這種狀況下與指針的效率是同樣的，而有些狀況下編譯器是能夠優化的，採用直接尋址的方式，這種狀況下，效率比傳值調用和傳址調用都要快，與上面說的採用全局變量方式傳遞的效率至關。

     再說自定義的數據類型，class  struct定義的數據類型。這些數據類型在進行傳值調用時生成臨時對象會執行構造函數，並且當臨時對象銷燬時會執行析構函數，若是構造函數和析構函數執行的任務比較多，或者傳遞的對象尺寸比較大，那麼傳值調用的消耗就比較大。這種狀況下，採用傳址調用和採用傳引用調用的效率大多數下至關，正如上面所說，某些狀況下引用傳遞可能被優化，整體效率稍高於傳址調用。

    3. 從執行效率上講。這裏所說的執行效率，是指在被調用的函數體內執行時的效率。由於傳值調用時，當值被傳到函數體內，臨時對象生成之後，全部的執行任務都是經過直接尋址的方式執行的，而指針和大多數狀況下的引用則是以間接尋址的方式執行的，因此實際的執行效率會比傳值調用要低。若是函數體內對參數傳過來的變量進行操做比較頻繁，執行總次數又多的狀況下，傳址調用和大多數狀況下的引用參數傳遞會形成比較明顯的執行效率損失。

 

 綜合二、3兩種狀況，具體的執行效率要結合實際狀況，經過比較傳遞過程的資源消耗和執行函數體消耗之和來選擇哪一種狀況比較合適。而就引用傳遞和指針傳遞的效率上比，引用傳遞的效率始終不低於指針傳遞，因此從這種意義上講，在c＋＋中進行參數傳遞時優先使用引用傳遞而不是指針。

    4. 從類型安全上講。值傳遞與引用傳遞在參數傳遞過程當中都執行強類型檢查，而指針傳遞的類型檢查較弱，特別地，若是參數被聲明爲 void ，那麼它基本上沒有類型檢查，只要是指針，編譯器就認爲是合法的，因此這給bug的產生製造了機會，使程序的健壯性稍差，若是沒有必要，就使用值傳遞和引用傳遞，最好不用指針傳遞，更好地利用編譯器的類型檢查，使得咱們有更少的出錯機會，以增長代碼的健壯性。

 這裏有個特殊狀況，就是對於多態的狀況，若是形參是父類，而實參是子類，在進行值傳遞的時候，臨時對象構造時只會構造父類的部分，是一個純粹的父類對象，而不會構造子類的任何特有的部分，由於辦有虛的析構函數，而沒有虛的構造函數，這一點是要注意的。若是想在被調函數中經過調用虛函數得到一些子類特有的行爲，這是不能實現的。

 5. 從參數檢查上講。一個健壯的函數，總會對傳遞來的參數進行參數檢查，保證輸入數據的合法性，以防止對數據的破壞而且更好地控制程序定期望的方向運行，在這種狀況下使用值傳遞比使用指針傳遞要安全得多，由於你不可能傳一個不存在的值給值參數或引用參數，而使用指針就可能，極可能傳來的是一個非法的地址（沒有初始化，指向已經delete掉的對象的指針等）。因此使用值傳遞和引用傳遞會使你的代碼更健壯，具體是使用引用仍是使用，最簡單的一個原則就是看傳遞的是否是內建的數據類型，對內建的數據類型優先使用值傳遞，而對於自定義的數據類型，特別是傳遞較大的對象，那麼請使用引用傳遞。

    6. 從靈活性上。無疑，指針是最靈活的，由於指針除了能夠像值傳遞和引用傳遞那樣傳遞一個特定類型的對象外，還能夠傳遞空指針，不傳遞任何對象。指針的這種優勢使它大有用武之地，好比標準庫裏的time( )函數，你能夠傳遞一個指針給它，把時間值填到指定的地址，你也能夠傳遞一個空指針而只要返回值。

3、參數傳遞中的一些技術：

一、const關鍵字：

 1. const關鍵字。當你的參數是做爲輸入參數時，你總不但願你的輸入參數被修改，不然有可能產生邏輯錯誤，這時能夠在聲明函數時在參數前加上const關鍵字，防止在實現時意外修改函數輸入，對於使用你的代碼的程序員也能夠告訴他們這個參數是輸入，而不加const關鍵字的參數也多是輸出。例如strlen，你能夠這樣聲明

     int strlen(char str) 

 功能上確定沒有什麼問題，可是你想告訴使用該函數的人，參數str是一個輸入參數，它指向的數據是不能被修改的，這也是他們指望的，總不會有人但願在請人給他數錢的時候，裏面有張100的變成10塊的了，或者真鈔變成假鈔了，他們但願有一個保證，說該函數不會破壞你的任何數據，聲明按以下方式即可讓他們放心：

     int strlen(const char str) 

 可不能夠給str自己也加一個限制呢，若是把地址改了數得的結果不就錯了嗎？總得給人點兒自由吧，只要它幫你數錢就好了，何須介意他怎麼數呢？只要不破壞你的錢就ok了，若是給str一個限制，就會出現問題了，按照上面的聲明，能夠這樣實現：

   int strlen(const char str)

 {    int cnt 

 if( !str) return 0 

      cnt = 0 

      while( (str++) ){

         ++cnt 

     }

     return cnt 

 }

 但是，若是你硬要把聲明改爲

     int strlen(const char const str) 

 上面的函數確定就運行不了了，只能改用其它的實現方式，但這個不是太有必要。只要咱們保護好咱們的錢就好了，若是它數不對，下次我次不讓它數，再換我的就是了。

二、成員函數：

對於成員函數，若是咱們要顯示給客戶代碼說某個成員函數不會修改該對象的值，只會讀取某些內容，也能夠在該函數聲明中加一個const.

 class    person

 {......

   public:

     unsigned char age( void ) const   // 看到const就放心了，這個函數確定不會修改m_age

   private:

     unsigned char m_age    // 我認爲這個類型已經足夠長了，若是以爲不改能夠改成unsigned long

 }

三、默認值：

我的認爲給參數添加一個默認值是一個很方便的特性，很是好用，這樣你就能夠定義一個具備好幾個參數的函數，而後給那些不經常使用的參數一些默認值，客戶代碼若是認爲那些默認值正是他們想要的，調用函數時只須要填一些必要的實參就好了，很是方便，這樣就省去了重載好幾個函數的麻煩。但是我不明白c#爲何把這個特性給去掉了，多是爲了安全，這樣就要求每次調用函數時都要顯示地給函數賦實參。因此要注意，這但是個雙刃劍，若是想用使刀的招跟對手武鬥，極可能傷到本身。

四、參數順序：

當同個函數名有不一樣參數時，若是有相同的參數儘可能要把參數放在同一位置上，以方便客戶端代碼。

  c++ 中常用的是常量引用，如將swap改成：

　　　　Swap(const int& x; const int& y)

　　這時將不能在函數中修改引用地址所指向的內容，具體來講，x和y將不能出如今"＝"的左邊。