C++ 函數重載決議：為什麼 double 參數調用了 int 版本？

問題代碼

int Max(int x, int y) { return x >= y ? x : y; }
double Max(double x, double y) { return x >= y ? x : y; }

double m = 11.5, n = 15.5;
cout << "Max=" << Max(m, n) << endl; // 輸出 15，警告 C4244

現象分析

按 C++ 標準重載決議規則，Max(double, double) 應為最佳匹配（精確匹配，無需轉換）。輸出 15 並警告「double 轉 int 可能丟失數據」，說明實際調用了 Max(int, int)。

唯一合理原因

調用點可見的聲明中缺少 double Max(double, double) 的聲明。

• 兩個函數定義在不同文件，調用文件未包含 double 版本的聲明
• 或 double 版本被 #ifdef 排除編譯
• 或命名空間/作用域導致不可見

驗證方法

1. 在調用前添加前向聲明：double Max(double, double);
2. 或將兩個函數定義移至同一頭文件
3. 重新編譯，應輸出 15.5 且無警告

標準重載決議規則回顧

1. 精確匹配：類型完全一致（含 const/引用修飾）
2. 提升轉換：float → double, int → long 等
3. 標準轉換：double → int, int → double 等（可能縮窄）
4. 用戶定義轉換：構造函數/轉換運算符
5. 省略號：...

double → double 屬第 1 級，double → int 屬第 3 級。編譯器必須選擇第 1 級候選函數。

常見誤區澄清

• 「編譯器會選擇第一個聲明的函數」：錯誤，決議基於參數類型匹配度，與聲明順序無關
• 「模板函數優先級更高」：非模板函數與模板函數同級時，非模板優先

總結

若出現「明顯更好的匹配未被選擇」，99% 是候選函數集合不完整。檢查頭文件包含、前向聲明、條件編譯、命名空間可見性。