C++默认参数的用法（非常详细）

在 C++ 中，可以为函数参数设置默认值，这种参数被称为默认实参（default arguments）。当调用函数时，如果没有提供某个默认实参的值，那么将使用该参数的默认值。

我们可以在函数声明或定义时为参数设置默认值。例如，定义一个用于计算幂的函数：

int power(int base, int exponent = 2) {
    int result = 1;
    for (int i = 0; i < exponent; ++i) {
        result *= base;
    }
    return result;
}

在这个函数中，参数 exponent 的默认值为 2。当调用 power() 函数时，可以选择提供或不提供 exponent 的值：

C++默认实参的注意事项

1) 默认实参的规定性

函数的默认参数值只能在函数声明中指定一次，以避免混淆。

如果函数在声明和定义中为同一参数提供了默认值，编译器将会报错。正确的做法是在函数声明中指定默认参数值，而在函数定义时省略这些默认值，除非函数是在其首次声明的同时定义的。

2) 参数默认值的连续性

只有当函数参数位于参数列表的最右侧时，才能为它指定默认值。

这意味着一旦某个参数被赋予默认值，其右侧的所有参数也必须有默认值。这样做是为了防止调用时的歧义，确保函数调用的清晰性和一致性。

3) 默认实参的值的限制

默认参数值必须是编译时可知的常量表达式。

这意味着不能使用局部变量、非静态成员变量或任何需要运行时计算结果的表达式作为默认值。这样的限制确保了函数调用的确定性和效率。

4) 类成员作为默认实参的限制

• 非静态成员变量：由于这些变量的值与具体的类实例相关，且不是编译时常量，因此不能用作默认参数；
• 成员函数：尽管可以用作默认实参，但通常需要指向特定对象的成员函数的指针，这种用法较少见；
• 静态成员：静态成员变量和函数由于在编译时具有确定的值，可以作为默认参数；
• 版本差异：不同的编译器和 C++ 版本可能在实施这些规则时有所不同，特别是在模板和内联函数中。

总结

C++ 中规定了函数的默认参数值只能在声明中提供一次，而不能在定义时重新指定，这反映了 C++ 设计哲学的深层意图：一致性、清晰性和编译效率。

首先，这种做法强调了接口一致性和避免潜在混淆的重要性，因为允许在声明和定义中分别指定可能导致不同的默认值，这样的不一致会混淆程序并可能引入错误。

其次，从编译器的角度来看，这简化了符号解析和链接过程，因为所有必要的信息（包括默认参数值）在编译调用函数的代码时都已知晓，无须等到链接时才解决可能的不一致问题，从而提高了编译效率。

最后，将默认参数值放在函数声明中，确保了所有看到该声明的代码都有相同的行为预期，保持了代码在不同编译单元间的一致性。

因此，这一规则不仅体现了 C++ 对代码清晰和逻辑严密性的追求，也考虑到了编译过程的实际需求，以优化编译时间和避免错误。

以上就是 C++ 默认实参的基本使用方法和注意事项。在实际编程中，合理使用默认实参，可以使函数调用更加灵活，代码更加简洁。