默认实参
允许调用函数时不提供一个或多个尾部的实参。
通过为函数声明的 形参列表 中的形参使用下列语法来指定默认实参。
属性(可选) 声明说明符序列 声明符 = 初始化器
|
(1) | ||||||||
属性(可选) 声明说明符序列 抽象声明符(可选) = 初始化器
|
(2) | ||||||||
默认实参用于取代函数调用中缺失的尾部实参:
void point(int x = 3, int y = 4); point(1,2); // 调用 point(1,2) point(1); // 调用 point(1,4) point(); // 调用 point(3,4)
在函数声明中,所有在拥有默认实参的形参之后的形参必须:
- 拥有在这个或同一作用域中先前的声明中所提供的默认实参:
int x(int = 1, int); // 错误:只有尾随实参能拥有默认值(假设前面没有 x 的声明) void f(int n, int k = 1); void f(int n = 0, int k); // OK:同一作用域中之前的声明为 k 提供了默认实参 void g(int, int = 7); void h() { void g(int = 1, int); // 错误:不在同一作用域 }
template<class ...T> struct C { void f(int n = 0, T...); }; C<int> c; // OK;实例化了声明 void C::f(int n = 0, int)
template<class...T> void h(int i = 0, T... args); // OK |
(C++11 起) |
省略号不是形参,所以它可以跟在带有默认实参的形参之后:
int g(int n = 0, ...); // OK
默认实参只能在函数声明和 lambda 表达式 (C++11 起)的形参列表中出现,而不能在函数指针、到函数的引用,或在 typedef 声明中出现。模板形参列表为其默认模板实参使用了类似的语法。
对于非模板函数,当在同一作用域中重声明函数时,可以向已声明的函数添加默认实参。在函数调用点,可用的默认实参是由该函数所有可见的声明中所提供的默认实参的并集。重声明不能为已有可见默认值的实参引入默认值(即使值相同)。内层作用域中的重声明不从外层作用域获得默认实参。
void f(int, int); // #1 void f(int, int = 7); // #2 OK :添加到默认 void h() { f(3); // #1 与 #2 在作用域中;进行对 f(3,7) 的调用 void f(int = 1, int); // 错误:内层作用域声明不获得默认实参 } void m() { // 新作用域开始 void f(int, int); // 内层作用域声明;无默认实参。 f(4); // 错误:调用 f(int, int) 的实参不足 void f(int, int = 6); f(4); // OK:调用 f(4,6); void f(int, int = 6); // 错误:不能在同一作用域中重声明默认实参 } void f(int = 1, int); // #3 OK,向 #2 添加默认实参 void n() { // 新作用域开始 f(); // #1、#2 及 #3 在作用域中:调用 f(1, 7); }
如果一个 inline 函数在不同的翻译单元中声明,那么默认实参的累积集必须在每个翻译单元的结尾相同。
如果一个非 inline 函数在不同翻译单元的同一命名空间作用域中声明,那么对应的默认实参在存在时必须相同(但某些翻译单元中可以缺少一些默认实参)。 |
(C++20 起) |
如果 friend 声明指定了默认实参,那么它必须是友元函数定义,且该翻译单元中不能有此函数的其他声明。
using 声明将已知的默认实参集承接过来,且如果向函数的命名空间中添加更多默认形参,那么这些默认实参在这条 using 声明可见的任何位置均可见:
namespace N { void f(int, int = 1); } using N::f; void g() { f(7); // 调用 f(7, 1); f(); // 错误 } namespace N { void f(int = 2, int); } void h() { f(); // 调用 f(2, 1); }
对默认实参中使用的名字进行查找,检查可访问性,并绑定于声明点,但在函数调用点才执行:
int a = 1; int f(int); int g(int x = f(a)); // f 的查找找到 ::f,a 的查找找到 ::a // 不使用 ::a 的值,它在这里是 1 void h() { a = 2; // 更改 ::a 的值 { int a = 3; g(); // 调用 f(2),然后以它的结果调用 g() } }
对于非模板类的成员函数,类外的定义中允许出现默认实参,并与类体内的声明所提供的默认实参组合。如果类外的默认实参会使成员函数变成默认、复制或移动构造函数,那么程序非良构。对于类模板的成员函数,所有默认实参必须在成员函数的初始声明处提供。
class C { void f(int i = 3); void g(int i, int j = 99); C(int arg); // 非默认构造函数 }; void C::f(int i = 3) { // 错误:默认实参已指定于类作用域 } void C::g(int i = 88, int j) { // OK:此翻译单元中,可无实参调用 C::g } C::C(int arg = 1) { // 错误:使之变成了默认构造函数 }
虚函数的覆盖函数不会从基类定义获得默认实参,而在进行虚函数调用时,默认实参根据对象的静态类型确定(注意:这可以通过非虚接口模式避免)。
struct Base { virtual void f(int a = 7); }; struct Derived : Base { void f(int a) override; }; void m() { Derived d; Base& b = d; b.f(); // OK:调用 Derived::f(7) d.f(); // 错误:没有默认实参 }
默认实参中不允许使用局部变量,除非用于不求值语境中 (C++14 起):
void f() { int n = 1; extern void g(int x = n); // 错误:局部变量不能为默认 extern void h(int x = sizeof n); // CWG 2082 起 OK }
默认实参中不允许 this
指针:
class A { void f(A* p = this) { } // 错误:不允许 this };
默认实参中不允许使用非静态的类成员(即使它们不被求值),除非用于构成成员指针或在成员访问表达式中使用:
int b; class X { int a; int mem1(int i = a); // 错误:不能使用非静态数据成员 int mem2(int i = b); // OK:查找找到静态成员 X::b static int b; };
默认实参中不允许使用函数形参(即使它们不被求值) (C++14 前)除非它们不被求值 (C++14 起)。注意,形参列表中较早出现的形参已在作用域中:
int a; int f(int a, int b = a); // 错误:形参用作默认实参 int g(int a, int b = sizeof a); // CWG 2082 前错误 // CWG 2082 后 OK:可以用于不求值语境
默认实参不是函数类型的一部分:
int f(int = 0); void h() { int j = f(1); int k = f(); // 调用 f(0); } int (*p1)(int) = &f; int (*p2)() = &f; // 错误:f 的类型是 int(int)
如果 lambda 表达式在默认实参中出现,那么它不能显式或隐式捕获任何内容: void f2() { int i = 1; void g1(int = ([i]{ return i; })()); // 错误:有捕获内容 void g2(int = ([i]{ return 0; })()); // 错误:有捕获内容 void g3(int = ([=]{ return i; })()); // 错误:有捕获内容 void g4(int = ([=]{ return 0; })()); // OK:无捕获 void g5(int = ([]{ return sizeof i; })()); // OK:无捕获 } |
(C++11 起) |
除了函数调用运算符外,运算符函数不能有默认参数:
class C { int operator[](int i = 0); // 非良构 int operator()(int x = 0); // OK };
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
CWG 2082 | C++14 | 曾禁止默认实参在不求值语境中使用局部变量 | 允许在不求值语境中使用 |