C++ 函數調用約定深度解析：x86/x64 棧幀、參數傳遞、調試與跨語言互操作

調用約定核心要素

函數調用約定規範：

1. 參數傳遞順序與位置 (棧/寄存器)。
2. 棧平衡責任方 (調用者/被調用者)。
3. 返回值傳遞方式 (寄存器/棧/隱藏指針)。
4. 名稱修飾規則 (符號表呈現形式)。
5. 被調用者保存寄存器 (callee-saved: RBX, RBP, RDI, RSI, R12-R15)。

主流調用約定對比表

x64 Microsoft 呼叫約定實戰剖析

參數傳遞示例

// 原型
void func(int a, double b, char* c, float d, long long e, int f);

// 調用點彙編 (MSVC 輸出)
mov     rcx, 1              ; a (整數 1)
movsd   xmm0, 2.5           ; b (浮點 2)
lea     rdx, str            ; c (指釥 3)
movss   xmm1, 3.14          ; d (浮點 4)
mov     r8, 100             ; e (整數 5)
mov     r9, 200             ; f (整數 6)
call    func
; 調用者負責分配 32 字節影子空間 (home space)
; 被調用者可選擇將寄存器參數存入影子空間

棧幀佈局 (典型)

func PROC
    ; 序言
    push    rbp
    mov     rbp, rsp
    sub     rsp, 48h        ; 局部變量 + 對齊 16B
    ; 可選：保存寄存器參數到影子空間
    mov     [rbp+10h], rcx  ; a
    movsd   [rbp+18h], xmm0 ; b
    mov     [rbp+20h], rdx  ; c
    movss   [rbp+28h], xmm1 ; d
    mov     [rbp+30h], r8   ; e
    mov     [rbp+38h], r9   ; f
    ; 函數體...
    ; 尾聲
    add     rsp, 48h
    pop     rbp
    ret
func ENDP

影子空間 / Home Space 關鍵點

• 調用者必須分配 32 字節 (4×8B)，即使參數 < 4 個。
• 被調用者可選使用 存儲寄存器參數 (便於調試/可變參數 va_start)。
• 調用鏈中每層函數入口需保證 RSP 16 字節對齊 (調用 call 前 RSP % 16 == 8)。

返回值傳遞

調試與診斷技巧

1. 查看調用棧參數：VS 調試器「調試 → 窗口 → 寄存器」+「反彙編」，手動解析 RCX/RDX/R8/R9/XMM0-3。
2. 檢查棧平衡：/RTCs (運行時檢查) 捕獲調用約定不匹配導致的棧損壞。
3. 強制調用約定：__cdecl, __stdcall, __vectorcall, __fastcall (x86 僅)。
4. 跨語言互操作：

// C++ DLL 導出給 C#/Python/Rust
extern "C" __declspec(dllexport) int __stdcall Add(int a, int b); // 固定 stdcall

// C# P/Invoke
[DllImport("mydll.dll", CallingConvention = CallingConvention.StdCall)]
public static extern int Add(int a, int b);

現代最佳實踐

• x64 無需關心調用約定：平台僅有一個約定，編譯器自動處理。
• 性能熱路徑：__vectorcall (MSVC) 或屬性 [[gnu::vectorcall]] (GCC/Clang) 顯式啟用 SIMD 寄存器傳遞。
• 避免可變參數：printf 風格破壞類型安全，改用 std::format / {fmt} / 變參模板。
• 內聯優先：inline/__forceinline 消除調用開銷，讓優化器直接處理數據流。

1. 上一篇文章： C++ 庫生態全景與學習策略：標準庫、Boost、Abseil、Folly 選型指南
2. 下一篇文章： C++ 基類與繼承機制詳解：訪問控制、虛繼承、構造析構順序與切片陷阱

C++ 入門

硬幣購物問題：完全背包預處理 + 容斥原理狀態壓縮完整解法

硬幣購物：有上限硬幣湊金額方案數 4 種硬幣面值 c₁..c

C++ 命名空間 完整解析：定義、作用、使用方式與最佳實踐

什麼是命名空間 命名空間是 C++ 引入的作用域機制，將標識

《C++ Primer 第4版》讀書筆記 第8章：標準 IO 庫

《C++ Primer 第4版》讀書筆記 第8章：標準 IO

HDOJ 1348 Wall：凸包周長 + 圓周展開計算最短圍牆長度

問題轉化 城堡為多邊形，圍牆需距離城堡至少 L 單位。最短圍