C++ 函式多載深度解析：從 Name Mangling 到編譯器解析機制的完整圖譜

前言：現象背後的本質

函式多載是 C++ 核心特性，但你知道編譯器如何消除同名衝突？如何在調用點精確匹配最佳候選函式？本文從反組譯、標準草案、編譯器實作三個維度，完整還原多載機制。

一、什麼是函式多載？為何需要？

• 定義：同一作用域內，同名函式、參數列表不同（型別/個數/順序）。
• 動機：減少命名汙染（避免 print_int/print_string）、構造函式同名必要性、運算子多載本質即函式多載。

二、編譯器如何消除命名衝突：Name Mangling 實測

GCC (g++) 實測

void print(int)     → _Z5printi
void print(string)  → _Z5printSs
void print(long)    → _Z5printl
void print(char)    → _Z5printc

規律總結

Mangled Name = 返回型別編碼 + 函式名 + 參數型別編碼序列

• _Z：GCC 多載標記
• 5print：長度 5 的名稱 "print"
• i/l/c/Ss：int/long/char/std::string 對應編碼
• 類成員函式額外包含作用域：_ZN4test5printEi（N4test = namespace/class test）

為何返回型別參與 Mangling 卻不參與多載判定？

若返回型別參與多載，調用點無法獨立於上下文解析：

float sqrt(float);
double sqrt(double);
void f(double da, float fl) {
  float fl = sqrt(da); // 若依返回型別區分，此處無法確定調用哪個
  double d = sqrt(da);
}

C++ 規定多載解析不依賴返回型別，保證調用解析的上下文獨立性。

三、多載解析三階段機制

1. 建立候選集：同一作用域內可見的同名函式（含 using 引入、ADL 查找）。
2. 篩選可行函式：參數個數匹配、隱式轉換序列存在。
3. 選擇最佳匹配：按轉換等級排序 —— 精確匹配 > 提升 > 標準轉換 > 使用者定義 > 省略號。若最高等級有多個 → 模稜兩可錯誤。

轉換等級實例

void print(int); void print(double); void print(char);
print('a');  // 精確匹配 char
print(49);   // 精確匹配 int
print(0);    // 精確匹配 int (非指標)
print(3.14); // 精確匹配 double
print('a'+1); // 提升 char→int 匹配 int

模稜兩可經典案例

void f1(char); void f1(long);
void f2(char*); void f2(int*);
void k(int i) {
  f1(i);   // 錯誤：int→char (標準轉換) vs int→long (提升) 同屬標準轉換等級
  f2(0);   // 錯誤：0 可轉 char* 或 int*
}

四、編譯器內部解析流程（簡化模型）

1. 語法分析識別函式調用，提取函式名與實參型別。
2. 符號表查找候選集（深度優先搜尋作用域鏈）。
3. 多載解析器依規則評分、選擇最佳候選。
4. AST 節點綁定具體函式符號，生成 Mangled Name 調用指令。

五、國產編譯器 COC++ 的實作方案

張素琴等人設計：

1. 聲明階段建立函式原型鏈表，按改名規則編碼存入。
2. 調用階段遍歷鏈表，按型別匹配原則打分，選最高分節點輸出改名後名稱。

六、思考題

1. C++ 中 + 用於 int/float/string，算運算子多載嗎？C 中 + 用於 int/float 算嗎？
2. 模板函式與普通函式構成多載時，匹配優先序如何？