高品質 C++/C 程式設計指南 第 8 章 (四)：預設參數與運算子多載規範

8.3 預設參數：簡潔與二義性的雙面刃

核心規則

1. 只能出現在宣告，不可在定義體重複。

   void Foo(int x = 0, int y = 0); // ✅ 宣告
   void Foo(int x = 0, int y = 0) { ... } // ❌ 定義體中非法

   原因：實作與預設值無關；預設值常變動，改宣告比改定義容易。
2. 從右向左連續預設，不可跳躍。

   void Foo(int x, int y = 0, int z = 0); // ✅
   void Foo(int x = 0, int y, int z = 0); // ❌ 調用時極易混淆

二義性陷阱

void output(int x);
void output(int x, float y = 0.0f); // 預設參數

output(1); // ❌ 編譯錯誤：ambiguous call
// 編譯器不知呼叫 output(int) 還是 output(int, float=0.0f)

**教訓**：預設參數僅簡化書寫，**不增加新功能**，濫用降低可讀性並引發重載二義性，**慎用**。

8.4 運算子多載：語法糖的規範藝術

概念

Complex Add(const Complex& a, const Complex& b); // 普通函數
Complex operator+(const Complex& a, const Complex& b); // 運算子多載

Complex a, b, c;
c = Add(a, b); // 普通調用
c = a + b;     // 運算子調用，參數分居左右

全域函數 vs 成員函數

重載形式選擇規則 (摘自 Murray)

遵循規則可保持語義直覺、介面一致、存取控制合理。