C++ 函數默認參數的三大核心規則與常見陷阱

核心規則速覽

1. 右側參數必須全部有默認值：若某參數設有默認值，其右側所有參數均須設定默認值，否則編譯報錯。
2. 聲明與定義只能二選一處設置：默認值只能出現在函數聲明或定義中，不可同時出現；慣例放在聲明（頭文件）中，便於調用方直接看到。
3. 調用點必須可見聲明處的默認值：若函數定義在調用點之後，且僅在定義處設置默認值，調用時省略實參會導致編譯錯誤（編譯器僅見到無默認值的聲明）。

規則三深度解析：編譯順序導致的「隱形 Bug」

// 情況 A：錯誤示範
// 文件順序：main() -> test() 定義
int test(int a, int b, int c, int d); // 聲明無默認值

int main() {
    test(10); // 錯誤：編譯器看到聲明無默認值，實參不足
}

int test(int a, int b=10, int c=20, int d=30) { // 定義處有默認值
    printf("%d", a+b+c+d);
    return 0;
}

修正方案：將默認值移至聲明，或將定義前置於調用之前。

// 情況 B：正確寫法（推薦）
int test(int a, int b=10, int c=20, int d=30); // 聲明帶默認值

int main() {
    test(10); // 正常：編譯器直接使用聲明中的默認值
}

int test(int a, int b, int c, int d) { // 定義不再重複默認值
    printf("%d", a+b+c+d);
    return 0;
}

最佳實踐建議

• 統一在頭文件聲明中指定默認參數，定義文件中留空。
• 避免在內聯函數、模板函數、虛函數中使用默認參數（虛函數默認值由靜態類型決定，易導致多態行為不符預期）。
• 配合 -Wextra 編譯選項可捕獲重複默認參數警告。

本文轉載自 “李海川” 博客，原文地址：https://lihaichuan.blog.51cto.com/498079/1303998