C++ 缺省参数详解与避坑指南

一、核心概念与应用

缺省参数（Default Arguments）是指在声明或定义函数时为某些参数指定一个默认值。当调用该函数时，如果未提供对应的实参，则自动使用该默认值；若提供了实参，则使用提供的值。这种机制在需要灵活控制资源分配或可选配置时尤为实用。

基础示例

#include <iostream>
using namespace std;

void TestFunc(int a = 0) {
    cout << a << endl;
}

int main() {
    TestFunc();      // 输出 0：使用缺省值
    TestFunc(10);    // 输出 10：使用指定实参
    return 0;
}

典型应用场景：动态数组初始化

在实现类似栈的数据结构时，往往难以预先确定容量。C 语言通常需要在运行期通过判断当前大小是否为空来手动扩容，逻辑较为繁琐。引入缺省参数后，可以优雅地处理“小容量起步”与“大容量预留”两种场景：

#include <iostream>
#include <cstdlib>
using namespace std;

namespace WD {
    struct Stack {
        int* a;
        int size;
        int capacity;
    };
}
using namespace WD;

// 无缺省参数的写法（需强制传参）
void StackInitCpp1(struct Stack* ps, int defaultCP) {
    ps->a = (int*)malloc(sizeof(int) * defaultCP);
    ps->capacity = 0;
    ps->size = defaultCP;
}

// 带有缺省参数的写法，更灵活
void StackInitCpp2(struct Stack* ps, int defaultCP = 4) {
    ps->a = (int*)malloc(sizeof(int) * defaultCP);
    ps->capacity = 0;
    ps->size = defaultCP;
}

int main() {
    struct Stack st1;
    StackInitCpp1(&st1, 100); // 明确知道需要大空间

    struct Stack st2;
    StackInitCpp2(&st2);      // 未知大小，使用默认的较小空间
    return 0;
}

二、分类规则与语法限制

全缺省参数（Full Default）

所有参数均指定默认值。调用时非常灵活，但受限于位置传递原则：

void TestFunc(int a = 10, int b = 20, int c = 30) {}

• 支持：TestFunc()、TestFunc(1)、TestFunc(1, 2) 等顺序调用。
• 不支持：TestFunc(1, , 3)。编译器只能从左侧开始匹配参数，中间不能跳过。

半缺分参数（Partial Default）

只有部分参数指定默认值，必须遵循严格的语法规则：

// 正确：默认值必须位于右侧
void TestFunc(int a, int b = 10, int c = 20) {}

// 错误：不能间隔给默认值
void TestFunc(int a, int b = 10, int c, int d = 20) {} // err

关键约束：

1. 右侧连续原则：半缺分参数必须从右向左依次给出，不能间隔。
2. 声明定义一致性：缺省参数只能在函数声明或定义中择一出现。通常建议在头文件的声明中指定，而源文件中定义时省略以避免冲突。
3. 常量限制：缺省值必须是编译期常量或全局变量，不能是局部变量。
4. 语言差异：C 语言不支持缺省参数，这是纯 C++ 的特性。

三、常见误区与最佳实践

1. 语义混淆导致结构破裂

最典型的错误是利用布尔类型做状态切换，将功能截然不同的逻辑塞进同一个函数。

// 反面教材
void f(bool open = false) {
    if (open) { /* 打开 */ } else { /* 关闭 */ }
}

这种做法严重损害可读性：f(true) 代表打开，f() 也代表关闭，极易误用。应当拆分为独立的 Open() 和 Close() 函数。

同样，对于构造函数的不同分支，如果处理逻辑完全独立，也不应强行合并：

// 拆分前
class CString {
    char* pcData;
public:
    CString(char* pc = NULL) {
        if (pc == NULL) {
            pcData = new char[1];
        } else {
            pcData = new char[strlen(pc) + 1];
        }
    }
};

// 拆分后（推荐）
class CString {
    char* pcData;
public:
    CString() { pcData = new char[1]; }       // 无参构造
    CString(char* pc) { pcData = new char[strlen(pc)+1]; } // 带参构造
};

2. 多缺省参数带来的二义性与歧义

设计类时应限制不合法的调用。例如坐标类，若两个坐标都有缺省值，会导致仅传一个参数时产生非预期的结果：

// 有缺陷的设计
CPoint pnt3(100); // 结果为 (100, 0)，Y轴使用了默认值，而非期望的全零或报错

// 优化设计
class CPoint {
public:
    int x, y;
    CPoint() : x(0), y(0) {}         // 明确的原点初始化
    CPoint(int x, int y) : x(x), y(y) {} // 明确的坐标初始化
};
// 此时 CPoint pnt3(100); 将无法编译通过，强制开发者明确意图。

3. 函数重载的二义性

当缺分参数与函数重载共存时，极易引发编译错误。例如：

void f(int a, int b = 0) {}
void f(int a) {}

// 调用 f(100) 时，编译器不知道该选哪一个
f(100); // Error: ambiguous call

4. 虚函数与缺省参数的绑定冲突

C++ 中虚函数遵循动态绑定（运行时决定调用哪个函数体），而缺省参数遵循静态绑定（编译时决定使用哪个默认值）。这在继承体系中会造成“精神分裂”：

class CBase {
public:
    virtual void f(int i = 0) {
        cout << "in CBase " << i << endl;
    }
};

class CDerive : public CBase {
public:
    virtual void f(int i = 100) { // 注意这里的默认值不同
        cout << "in CDerive " << i << endl;
    }
};

int main() {
    CDerive d;
    CBase* pb = &d;
    pb->f(); // 输出: in CDerive 0
    // 调用的是派生类的函数体，但使用的是基类声明的默认参数 0
    return 0;
}

这种隐式行为极具误导性，建议在基类和派生类的虚函数中使用一致的默认参数，或者干脆不在虚函数中使用缺省参数。