C++ 函数缺省参数：原理、用法与最佳实践全解析

C++ 函数缺省参数完全指南

详解 C++ 函数参数默认值机制：声明位置规则、调用时参数省略行为、与重载组合的陷阱及工程化最佳实践。

C++ 允许为函数参数指定默认值。调用时省略该参数则使用默认值；提供实参则覆盖默认值。

缺省参数工作原理

示意说明：

1. Func() —— 两个参数均用默认值
2. Func(6) —— 第一个参数用 6，第二个用默认值
3. Func(6, -2.3) —— 两个参数均显式提供，默认值被忽略
4. Func(3.4) —— 实参 double 传给 int 参数，编译器截断为 3，演示参数按声明顺序匹配，类型必须兼容

示例：使用缺省参数

#include <iostream>
using namespace std;

// 原型声明缺省参数
void Display(char = '*', int = 3);

int main() {
    int count = 5;
    cout << "No argument passed: ";
    Display();           // 使用 '*', 3
    cout << "First argument passed: ";
    Display('#');        // 使用 '#', 3
    cout << "Both arguments passed: ";
    Display('$', count); // 使用 '$', 5
    return 0;
}

void Display(char c, int count) {
    for (int i = 1; i <= count; ++i) {
        cout << c;
    }
    cout << endl;
}

输出

No argument passed: ***
First argument passed: ###
Both arguments passed: $$$$$

行为解析：

1. Display() → 默认 c='*'、count=3
2. Display('#') → 仅覆盖第一个，第二个保持默认
3. 显式提供两实参 → 默认值全被忽略

也可直接在函数定义中指定默认值（定义须在调用前）：

#include <iostream>
using namespace std;

void Display(char c = '*', int count = 3) {
    for (int i = 1; i <= count; ++i) {
        cout << c;
    }
    cout << endl;
}

int main() {
    int count = 5;
    cout << "No argument passed: ";
    Display();
    cout << "First argument passed: ";
    Display('#');
    cout << "Both arguments passed: ";
    Display('$', count);
    return 0;
}

关键规则与避坑指南

1. 右侧参数全默认规则：一旦某参数有默认值，其右侧所有参数必须也有默认值。

   // 无效：b 有默认值，c 无
   void Add(int a, int b = 3, int c, int d);
   
   // 有效：默认值靠右连续
   void Add(int a, int c, int b = 3, int d = 4);

2. 定义处指定默认值的前置要求：若默认值写在定义而非原型，定义必须出现在首次调用之前，否则编译器不知默认值而报错。
3. 虚函数缺省参数的静态绑定陷阱：默认值由静态类型决定，而非动态类型。

   class Base {
   public:
       virtual void Foo(int x = 10) { cout << "Base: " << x; }
   };
   class Derived : public Base {
   public:
       void Foo(int x = 20) override { cout << "Derived: " << x; }
   };
   
   int main() {
       Base* p = new Derived();
       p->Foo();  // 输出 "Derived: 10" —— 默认值取静态类型 Base::Foo 的 10！
   }

   规避：虚函数避免使用缺省参数，或保证基类/派生类默认值一致。
4. 模板函数缺省参数：C++11 支持模板参数默认值，但函数参数默认值需注意模板实例化时机。
5. 重载与缺省参数组合极易产生歧义：

   void Print(int a);
   void Print(int a, int b = 10);
   
   Print(5);  // 歧义：匹配第一个（1参数）或第二个（用默认值）

   建议：同名函数组要么全用重载，要么全用缺省参数，不要混用。

现代 C++ 替代方案对比

合理使用缺省参数能让 API 更友好，但虚函数、重载组合、作用域规则是三大雷区，务必铭记于心。