C++ 默認參數陷阱：聲明與定義分離時的規則、重載消歧義與最佳實踐

核心規則：從右向左設置默認值

函數參數列表中，**若某參數有默認值，其右側所有參數必須有默認值**。

void func(int a, int b = 10, int c = 20); // ✅ 合法
void func(int a = 10, int b, int c = 20); // ❌ 非法：b 無默認值卻在有默認值的 a 右側

聲明與定義分離時的「單一默認值」規則

默認參數只能出現一次：要麼在聲明中，要麼在定義中，**不能同時出現**。

// 1. 聲明有默認值，定義無 ✅ 推薦（頭文件使用者可見默認值）
// foo.h
char* left(const char* str, int n = 1);

// foo.cpp
char* left(const char* str, int n) { ... } // 定義不寫默認值

// 2. 定義有默認值，聲明無 ✅ 合法但不推薦（調用者看不到默認值）
// foo.h
char* left(const char* str, int n);

// foo.cpp
char* left(const char* str, int n = 1) { ... }

// 3. 聲明、定義都寫默認值 ❌ 編譯錯誤：重複默認參數
// foo.h
char* left(const char* str, int n = 1);
// foo.cpp
char* left(const char* str, int n = 1) { ... } // Error

默認參數替代函數重載的陷阱：二義性調用

若一組重載函數（含默認參數）能匹配相同實參個數的調用，將導致編譯錯誤。

void func(int a);               // #1
void func(int a, int b = 4);    // #2
void func(int a = 3, int b = 4); // #3

func(7);     // ❌ 二義性：可匹配 #1, #2(a=7,b=4), #3(a=7,b=4)
func(20,30); // ❌ 二義性：可匹配 #2(a=20,b=30), #3(a=20,b=30)

解決二義性的策略

1. 避免重載與默認參數混用：要麼全用重載，要麼單函數用默認參數
2. 參數類型區分：void func(int); void func(double, double=1.0); 無二義性
3. 命名區分：func1(int); func2(int, int=4);

最佳實踐總結

虛函數默認參數陷阱示例

class Base {
public:
    virtual void foo(int x = 10) { cout << "Base: " << x << endl; }
};
class Derived : public Base {
public:
    void foo(int x = 20) override { cout << "Derived: " << x << endl; }
};

int main() {
    Derived d;
    Base* p = &d;
    p->foo(); // 輸出 "Derived: 10" 而非 20！默認值按 Base* 靜態類型取 10
}

**結論**：虛函數**不要使用默認參數**，或在所有覆蓋中保持一致。

總結

默認參數是語法糖，便利性與風險並存。核心記住三條鐵律：

1. 從右向左連續設置
2. 聲明/定義二選一寫默認值
3. 不與重載混用、不用於虛函數

複雜參數組合場景，優先考慮「參數對象/建造者模式」，類型安全且可擴展。