函式引數入棧順序

#include
void foo(int x, int y, int z)
{
        printf("x = %d at [%X]\n", x, &x);
        printf("y = %d at [%X]\n", y, &y);
        printf("z = %d at [%X]\n", z, &z);
}
int main(int argc, char *argv[])
{
        foo(100, 200, 300);
        return 0;
}

執行結果是：
x = 100 at […60]

y = 200 at […64]

z = 300 at […68]

這是由於，C程式棧的記憶體生長方式是往低地址記憶體生長，這也說明為什麼區域性變數無法申請太大記憶體，因為棧內容有限。此外，這個例子說明，函式引數的入棧的順序是從右往左的！。引數入棧順序具體的還與編譯器相關，涉及到C語言中呼叫約定所採用的方式：

C呼叫約定在返回前,要作一次堆疊平衡,也就是引數入棧了多少位元組,就要彈出來多少位元組.這樣很安全.

有一點需要注意:stdcall呼叫約定如果採用了不定引數,即VARARG的話,則和C呼叫約定一樣,要由呼叫者來作堆疊平衡.

（1）_stdcall是 Pascal方式清理C方式壓棧，通常用於Win32 Api中，函式採用從右到左的壓棧方式，自己在退出時清空堆疊。VC將函式編譯後會在函式名前面加上下劃線字首，在函式名後加上”@”和引數的位元組數。 int f(void *p) –>>

（2）C呼叫約定（即用 __cdecl關鍵字說明）（The C default calling convention）按從右至左的順序壓引數入棧，由呼叫者把引數彈出棧。對於傳送引數的記憶體棧是由呼叫者來維護的（正因為如此，實現可變引數 vararg的函式(如printf)只能使用該呼叫約定）。另外，在函式名修飾約定方面也有所不同。 _cdecl是C和C＋＋程式的預設呼叫方式。每一個呼叫它的函式都包含清空堆疊的程式碼，所以產生的可執行檔案大小會比呼叫_stdcall函式的大。函 數採用從右到左的壓棧方式。VC將函式編譯後會在函式名前面加上下劃線字首。

（3）__fastcall呼叫的主 要特點就是快，因為它是通過暫存器來傳送引數的（實際上，它用ECX和EDX傳送前兩個雙字（DWORD）或更小的引數，剩下的引數仍舊自右向左壓棧傳 送，被呼叫的函式在返回前清理傳送引數的記憶體棧），在函式名修飾約定方面，它和前兩者均不同。__fastcall方式的函式採用暫存器傳遞引數，VC將 函式編譯後會在函式名前面加上”@”字首，在函式名後加上”@”和引數的位元組數。

（4）thiscall僅僅應用於”C++”成員函式。this指標存放於CX/ECX暫存器中，引數從右到左壓。thiscall不是關鍵詞，因此不能被程式設計師指定。

（5）naked call。 當採用1-4的呼叫約定時，如果必要的話，進入函式時編譯器會產生程式碼來儲存ESI，EDI，EBX，EBP暫存器，退出函式時則產生程式碼恢復這些暫存器的內容。

綜上,其實只有PASCAL呼叫約定的從左到右入棧的.而且PASCAL不能使用不定引數個數,其引數個數是一定的。

可變引數的實現

支援可變引數的__cdecl呼叫其實可以理解的。C方式入棧順序從右往左，那麼在棧底的元素就是可變引數的最右邊一個，我們只需要知道所有明確引數裡的最左邊一個引數在棧中的位置，剩下到棧底的都是可變引數了，反之如果從左往右入棧，則無法知道最右邊的可變引數在棧中的位置。在具體實現中，也可觀察到其中的原理，包括，需要呼叫者手動清棧。

float averge(int n_values, ...)
{
    va_list var_arg;
    // 準備訪問可變引數
    va_start(var_arg, n_values);// 第一個引數是va_list變數的名字，第2個引數是省略號前最後一個有名字的引數
    // 取值
    for(::)
        sum += va_arg(var_arg, int);// 第二個引數是引數的型別
    // 完成處理可變引數,手動清棧
    va_end(var_arg);
}

結論很簡單：如果支援可變引數的函式，那麼引數進棧的順序幾乎必然是自右向左 的。並且，引數出棧也不能由函式自己完成，而應該由呼叫者完成。

函式引數計算順序

主要想說明的是，函式的引數壓棧順序和引數計算順序不是一個概念。一個函式帶有多個引數的時，C++語言沒有規定函式呼叫時實參的求值順序。這個是編譯器自己規定的。

比方說int z = add(++x,x+y);不同編譯器可能產生不同結果。