默认实参

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
重复语句（循环）
for 范围 for(C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
lambda 函数表达式
inline 说明符
动态异常说明(C++17 前*)
noexcept 说明符(C++11)
异常
throw 表达式 try 块	catch 处理块
命名空间
命名空间声明	命名空间别名
类型
基础类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype(C++11)   auto(C++11)	constexpr(C++11)   consteval(C++20) constinit(C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化(C++11) 常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整数 - 浮点
字符 - 字符串 - nullptr(C++11)
用户定义(C++11)
工具
属性(C++11)
类型
typedef 声明
类型别名声明(C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特有的函数性质
虚函数 override 说明符(C++11)   final 说明符(C++11)	explicit(C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数(C++11)	复制赋值 移动赋值(C++11) 析构函数
模板
类模板 函数模板	模板特化 形参包(C++11)
杂项
内联汇编	C++ 的历史

 

函数

声明

函数声明

函数形参列表

函数定义

函数契约说明符(C++26)

默认实参

变长实参

inline 说明符

lambda 表达式(C++11)

协程(C++20)

替换函数

函数调用

实参依赖查找

函数调用运算符

函数对象

重载

重载决议

运算符重载

重载集的地址

 

允许调用函数时不提供一个或多个尾部的实参。

通过使用下列语法来为函数声明的形参列表 中的形参指定默认实参。

属性 (可选)声明说明符序列声明符=初始化器	(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);}

如果一个内联函数在不同的翻译单元中声明，那么默认实参的累积集必须在每个翻译单元的结尾相同。

如果一个非内联函数在不同翻译单元的同一命名空间作用域中声明，那么对应的默认实参在存在时必须相同（但某些翻译单元中可以缺少一些默认实参）。

(C++20 起)

如果友元声明指定了默认实参，那么它必须是友元函数定义，且该翻译单元中不能有此函数的其他声明。

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()}}

对于非模板化类的成员函数，类外的定义中允许出现默认实参，并与类体内的声明所提供的默认实参组合。如果类外的默认实参会使成员函数“转化为”默认构造函数或复制/移动(C++11 起)构造函数/赋值运算符（使得调用时存在歧义），那么程序非良构。对于模板化类的成员函数，所有默认实参必须在成员函数的初始声明处提供。

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 {virtualvoid 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();// 错误：没有默认实参}

默认实参中不能使用潜在求值的局部变量：

void f(){int n =1;externvoid g(int x = n);// 错误：局部变量不能是默认实参externvoid 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::bint mem3(int X::* i =&X::a);// OK：此时可以使用非静态成员int mem4(int i = x.a);// OK：在成员访问表达式中使用   static X x;staticint b;};

默认实参会在每次在未向对应形参提供实参的情况下调用函数时求值。默认实参中不能使用函数形参，除非它们不潜在求值。注意，形参列表中较早出现的形参已在作用域中：

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)

除了函数调用运算符和下标运算符(C++23 起)外，运算符函数不能有默认实参：

class C {int operator++(int i =0);// 非良构int operator[](int j =0);// C++23 起 OKint operator()(int k =0);// OK};

显式对象形参不能有默认实参： struct S {void f(this const S&= S{});};// 非良构

(C++23 起)

注解

不提供形参名时可能需要插入空格以避免组成复合赋值记号（见最大吞噬）。

void f1(int*=0);// 错误，会组成 “*=”void g1(constint&=0);// 错误，会组成 “&=”void f2(int*=0);// OKvoid g2(constint&=0);// OKvoid h(int&&=0);// 即使没有空格也 OK，“&&” 是单独的记号

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
CWG 217	C++98	默认实参可以添加到类模板的非模板成员函数中	已禁止
CWG 1344	C++98	成员函数的类外定义中添加的默认实参可以将它变成特殊成员函数	已禁止
CWG 1716	C++98	默认实参会在每次调用函数时都会求值， 即使调用方已经为对应形参提供了实参	只有在没有为对应形参提供 实参的情况下才会求值
CWG 2082	C++98	默认实参在不求值语境中不能使用局部变量和之前的形参	可以在不求值语境中使用
CWG 2233	C++11	从形参包展开的形参不能在有默认实参的形参之后出现	可以出现
CWG 2683	C++98	类模板的嵌套类的成员函数的类外定义可以使用默认实参	已禁止