C++ 函數重載決議失敗：整數實參導致 cos/sqrt 歧義調用解析

錯誤現場

調用 cos(int_val) 或 sqrt(int_val) 時，編譯器報錯：call to 'cos' is ambiguous / call to 'sqrt' is ambiguous。

根本原因：重載決議與標準轉換序列

提供多個重載：

double cos(double);
float  cos(float);
long double cos(long double);
// C++11 額外提供
double cos(Integral); // 模板或重載處理整數類型

當實參為 int 時：

• int → double（標準轉換）
• int → float（標準轉換）
• int → long double（標準轉換）

三條轉換路徑等級相同（均為標準轉換），編譯器無法選擇「最佳匹配」，導致歧義。

為什麼不自動選 double？

C++ 重載決議規則：

1. 精確匹配 > 提升 > 標準轉換 > 用戶定義轉換 > 省略號
2. 同級別中，不存在「優先轉換」規則
3. 避免隱式精度損失（int→float 可能截斷大整數）

解決方案對比

標準庫演進：C++11 的改進

C++11 在 增加整數重載：

// 標準要求提供等價於 double 版本的整數重載
double cos(int x);        // 內部轉為 double
double cos(long x);       // 內部轉為 double
// ... 其他整數類型

但：若同時包含 (C 風格) 和 ，或編譯器實現差異，仍可能出現歧義。最佳實踐：始終顯式轉為 double。

擴展：其他常見歧義場景

// 1. abs 整數歧義
abs(10);           // 錯誤：std::abs(int) vs std::abs(long) vs ::abs(int)
abs(static_cast(10)); // 正確

// 2. pow 整數冪次
pow(2, 10);        // 錯誤：pow(double,double) vs pow(float,float) ...
pow(2.0, 10);      // 正確

// 3. 自定義重載陷阱
void foo(int);
void foo(double);
foo(3.14f);        // float→double 優於 float→int（提升 > 轉換）

調試技巧：查看候選函數

GCC/Clang 編譯錯誤信息會列出候選函數：

error: call to 'cos' is ambiguous
note: candidate: double cos(double)
note: candidate: float cos(float)
note: candidate: long double cos(long double)

MSVC 類似。利用 IDE「跳轉到定義」查看重載簽名。

總結

整數實參調用 cos/sqrt 等數學函數導致重載歧義，是因為多條標準轉換序列等級相同。解決核心在於顯式指定目標類型（推薦 static_cast），消除編譯器決議不確定性。這體現了 C++ 強類型、顯式優於隱式的設計哲學，養成「數學函數實參浮點化」習慣，能避開大量隱式轉換陷阱。