編譯器一般使用堆疊實現函式呼叫。堆疊是儲存器的乙個區域，嵌入式環境有時需要程式設計師自己定義乙個陣列作為堆疊。windows為每個執行緒自動維護乙個堆疊，堆疊的大小可以設定。編譯器使用堆疊來堆放每個函式的引數、區域性變數等資訊。
函式呼叫經常是巢狀的，在同一時刻，堆疊中會有多個函式的資訊，每個函式占用乙個連續的區域。乙個函式占用的區域被稱作幀（frame）。
編譯器從高位址開始使用堆疊。 假設我們定義乙個陣列a[1024]作為堆疊空間，一開始棧頂指標指向a[1023]。如果棧裡有兩個函式a和b，且a呼叫了b，棧頂指標會指向函式b的幀。如果函式b返回。棧頂指標就指向函式a的幀。如果在棧裡放了太多東西造成溢位，破壞的是a[0]上面的東西。
在多執行緒（任務）環境，cpu的堆疊指標指向的儲存器區域就是當前使用的堆疊。切換執行緒的乙個重要工作，就是將堆疊指標設為當前執行緒的堆疊棧頂位址。
不同cpu，不同編譯器的堆疊布局、函式呼叫方法都可能不同，但堆疊的基本概念是一樣的。
函式呼叫約定包括傳遞引數的順序，誰負責清理引數占用的堆疊等，例如 ：
引數傳遞順序
誰負責清理引數占用的堆疊
__pascal
從左到右
呼叫者__stdcall
從右到左
被調函式
__cdecl
從右到左
呼叫者
呼叫函式的**和被調函式必須採用相同的函式的呼叫約定，程式才能正常執行。在windows上，__cdecl是c/c++程式的預設函式呼叫約定。
在有的cpu上，編譯器會用暫存器傳遞引數，函式使用的堆疊由被調函式分配和釋放。這種呼叫約定在行為上和__cdecl有乙個共同點：實參和形引數目不符不會導致堆疊錯誤。
不過，即使用暫存器傳遞引數，編譯器在進入函式時，還是會將暫存器裡的引數存入堆疊指定位置。引數和區域性變數一樣應該在堆疊中有一席之地。引數可以被理解為由呼叫函式指定初值的區域性變數。
不同的cpu，不同的編譯器，堆疊的布局可能是不同的。本文以x86，vc++的編譯器為例。
vc++編譯器的已經不再支援__pascal, __fortran, __syscall等函式呼叫約定。目前只支援__cdecl和__stdcall。
採用__cdecl或__stdcall呼叫方式的程式，在剛進入子函式時，堆疊內容是一樣的。esp指向的棧頂是返回位址。這是被call指令壓入堆疊的。下面是引數，左邊引數在上，右邊引數在下（先入棧）。
如前表所示，__cdecl和__stdcall的區別是：__cdecl是呼叫者清理引數占用的堆疊，__stdcall是被調函式清理引數占用的堆疊。
由於__stdcall的被調函式在編譯時就必須知道傳入引數的準確數目（被調函式要清理堆疊），所以不能支援變引數函式，例如printf。而且如果呼叫者使用了不正確的引數數目，會導致堆疊錯誤。
通過檢視彙編**，__cdecl函式呼叫在call語句後會有乙個堆疊調整語句，例如：
對應x86彙編：
__stdcall的函式呼叫則不需要調整堆疊： 函式
產生以下彙編**（debug版本）：
再檢視__stdcall函式的實現，會發現與__cdecl函式只有最後一行不同：
產生以下彙編**：
__chkesp **如下。如果esp不等於函式呼叫前儲存的值，就會轉到錯誤處理**。
__chkesp的錯誤處理會彈出對話方塊，報告函式呼叫造成esp值不正確。 release版本的彙編**要簡潔得多。也不會增加 __chkesp。如果發生esp錯誤，程式會繼續執行，直到「遇到問題需要關閉」。
函式呼叫約定只是「呼叫函式的**」和被呼叫函式之間的關係。
假設函式a是__stdcall，函式b呼叫函式a。你必須通過函式宣告告訴編譯器，函式a是__stdcall。編譯器自然會產生正確的呼叫**。
如果函式a是__stdcall。但在引用函式a的地方，你卻告訴編譯器，函式a是__cdecl方式，編譯器產生__cdecl方式的**，與函式a的呼叫約定不一致，就會發生錯誤。
以delphi呼叫vc函式為例，delphi的函式預設採用__pascal約定，vc的函式預設採用__cdecl約定。我們一般將vc的函式設為__stdcall，例如：
在delphi中將這個函式也宣告為__stdcall，就可以呼叫了：
因為考慮到可能被其它語言的程式呼叫，不少api採用__stdcall的呼叫約定。
函式呼叫約定和堆疊
編譯器一般使用堆疊實現函式呼叫。堆疊是儲存器的乙個區域，嵌入式環境有時需要程式設計師自己定義乙個陣列作為堆疊。windows為每個執行緒自動維護乙個堆疊，堆疊的大小可以設定。編譯器使用堆疊來堆放每個函式的引數 區域性變數等資訊。函式呼叫經常是巢狀的，在同一時刻，堆疊中會有多個函式的資訊，每個函式占用...
函式呼叫約定和堆疊
編譯器一般使用堆疊實現函式呼叫。堆疊是儲存器的乙個區域，嵌入式環境有時需要程式設計師自己定義乙個陣列作為堆疊。windows為每個執行緒自動維護乙個堆疊，堆疊的大小可以設定。編譯器使用堆疊來堆放每個函式的引數 區域性變數等資訊。函式呼叫經常是巢狀的，在同一時刻，堆疊中會有多個函式的資訊，每個函式占用...
函式呼叫約定和堆疊
編譯器一般使用堆疊實現函式呼叫。堆疊是儲存器的乙個區域，嵌入式環境有時需要程式設計師自己定義乙個陣列作為堆疊。windows為每個執行緒自動維護乙個堆疊，堆疊的大小可以設定。編譯器使用堆疊來堆放每個函式的引數 區域性變數等資訊。函式呼叫經常是巢狀的，在同一時刻，堆疊中會有多個函式的資訊，每個函式占用...