C++ 函式多載 機制詳解：規則、名稱修飾與實戰陷阱

什麼是函式多載？

同一作用域內宣告多個**同名**函式，但**參數列表不同**（類型、個數、順序），編譯器根據實參型別自動選擇最匹配版本。返回類型**不能**作為多載依據。

基本範例

int   test(int a, int b)    { return a + b; }
float test(float a, float b) { return a + b; }
// 呼叫 test(1,2)   → 呼叫 int 版
// 呼叫 test(2.1f,3.14f) → 呼叫 float 版

編譯器如何區分？—— 名稱修飾

C++ 編譯器將函式簽名編碼進修飾名稱（Name Mangling），例如：

• test(int,int) → ?test@@YAHHH@Z (MSVC) / _Z4testii (GCC/Clang)
• test(float,float) → ?test@@YAMMM@Z / _Z4testff

連結器看到的是不同符號，無衝突。程式設計師**無需關心**修飾細節，但理解其存在有助於解決連結錯誤（如 extern "C" 關閉修飾）。

多載解析規則（簡化版）

1. 精確匹配：實參型別與形參完全一致（含 cv 修飾、引用）。
2. 提升/轉換：char→int, float→double, derived*→base* 等標準轉換。
3. 使用者定義轉換：單引數建構子、轉型運算子。
4. 省略號：... 最低優先級。

若多個候選同級 → **模糊呼叫** 編譯錯誤。

常見陷阱與解決

實戰建議

• 語義一致：多載函式應執行「概念上相同操作」（如 print(int), print(string) 皆為列印）。
• 避免過度多載：超過 3-4 個版本考慮改用不同名稱（print_int, print_str）或單一函式配合 std::variant/多態。
• 配合預設參數：單一函式 + 預設參數常比多載更清晰（如 void draw(int x, int y, Color c = Color::Black)）。
• 文件化：在類別/命名空間層級說明多載族群用途。

現代 C++ 擴展

• std::function / Lambda 多載集合（需手動解析）。
• 概念/約束（C++20）可限制模板多載參與條件，替代 SFINAE 技巧。
• using 宣告引入基類多載至衍生類作用域（using Base::foo;）。

總結

函式多載是 C++ 靜態多態的基石。掌握解析規則、名稱修飾原理、常見模糊情境，能設計出直觀、型別安全的 API。記住：**多載是為了呼叫端便利，而非實作者炫技**——若增加認知負擔，請改用不同名稱。