C++ 函數多載完全指南：同名不同參數的藝術

什麼是函數多載？

允許在同一作用域內宣告多個**同名**函數，只要**參數列表不同**（型別、個數、順序），編譯器即視為不同函數。返回型別**不能**作為多載區分依據。

為什麼需要多載？

// C 風格：不得不起不同名字
int add_int(int a, int b);
float add_float(float a, float b);
double add_double(double a, double b);

// C++ 多載：統一語意名稱
int add(int a, int b);
float add(float a, float b);
double add(double a, double b);

• 減少命名認知負擔，API 更直觀（如 std::cout << int / << double / << const char*）。
• 支援泛型演算法與模板特化的基礎機制。

多載解析規則

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

若多個候選函數經過最佳轉換序列後仍同優，編譯器報**二義性錯誤**。

經典陷阱與避坑

❌ 返回型別不同不可多載

int foo();  // 錯誤：重複宣告
double foo();

❌ 預設參數造成二義性

void print(int a);
void print(int a, int b = 10);
print(5);  // 二義性：匹配第一個 或 第二個用預設值

✅ 正確區分：參數型別/個數/順序

void process(int a, double b);
void process(double a, int b);  // 順序不同，合法
process(1, 2.0);   // 呼叫第一個
process(1.0, 2);   // 呼叫第二個

⚠️ 引用與 const 引用的多載細節

void func(int &);       // 綁定左值
void func(const int &); // 綁定右值/const 左值
void func(int &&);    // C++11 移動語意，綁定右值

int x = 10;
func(x);       // 呼叫 int&
func(10);      // 呼叫 const int&
func(std::move(x)); // 呼叫 int&&

內部機制：名稱修飾

編譯器將函數簽名編碼進符號表，例如 MSVC：

int add(int, int)      → ?add@@YAHHH@Z
float add(float, float) → ?add@@YAMMM@Z

這就是連結器能區分同名函數的原因，也解釋為什麼 C++ 庫不能直接被 C 程式呼叫（需 extern "C" 關閉修飾）。

最佳實踐建議

• 語意一致性：多載函數應完成「邏輯相同、資料型別不同」的操作，避免同名不同義（如 open(file) vs open(socket) 應用不同名）。
• 避免過度多載：超過 3~4 個多載版本時，考慮改用模板或參數物件模式。
• 配合預設參數謹慎：預設參數實際上產生多個隱式多載，易與顯式多載衝突。
• 模板優先：template<typename T> T add(T a, T b) 可替代多個算術型別多載，且支援使用者自訂型別。

總結

1. 函數多載由**參數列表**唯一決定，返回型別不參與區分。
2. 解析遵循「精確匹配 > 標準轉換 > 使用者轉換 > 省略號」優先級。
3. 善用 const 引用、右值引用多載提升效能與正確性（避免不必要複製、支援移動語意）。
4. 現代 C++ 傾向於「模板 + 概念 (C++20)」替代大量手寫多載，保持代碼 DRY。