转换构造函数

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

C++ 语言

 

类

概述

综述

class/struct 类型

union 类型

注入类名

成员

数据成员

静态成员

this 指针

嵌套类

成员模板

位域

using 声明

成员函数

成员访问指定符

构造函数与成员初始化器列表

默认成员初始化器(C++11)

friend 说明符

explicit 说明符

转换构造函数

特殊成员函数

默认构造函数

复制构造函数

移动构造函数(C++11)

复制赋值运算符

移动赋值运算符(C++11)

析构函数

继承

基与派生类

空基类优化

虚成员函数

纯虚函数与抽象类

override(C++11)

final(C++11)

 

不以说明符 explicit 声明且可以用单个参数调用 (C++11 前)的构造函数被称为转换构造函数（converting constructor）。

与只在直接初始化（包括如 static_cast 这样的显式转换）中被考虑的显式构造函数不同，转换构造函数也会作为用户定义的转换序列中的一部分而在复制初始化的考虑范围内。

通常说法是转换构造函数指定了一个从它的实参类型（如果存在）到它的类类型的隐式转换。注意非显式的用户定义转换函数也指定了一个隐式转换。

隐式声明的及用户定义的非显式复制构造函数与移动构造函数也是转换构造函数。

示例

运行此代码

struct A
{
    A() { }         // 转换构造函数 (C++11 起)  
    A(int) { }      // 转换构造函数
    A(int, int) { } // 转换构造函数 (C++11 起)
};
 
struct B
{
    explicit B() { }
    explicit B(int) { }
    explicit B(int, int) { }
};
 
int main()
{
    A a1 = 1;      // OK：复制初始化选择 A::A(int)
    A a2(2);       // OK：直接初始化选择 A::A(int)
    A a3{4, 5};    // OK：直接列表初始化选择 A::A(int, int)
    A a4 = {4, 5}; // OK：复制列表初始化选择 A::A(int, int)
    A a5 = (A)1;   // OK：显式转型进行 static_cast，是直接初始化
 
//  B b1 = 1;      // 错误：复制初始化不考虑 B::B(int)
    B b2(2);       // OK：直接初始化选择 B::B(int)
    B b3{4, 5};    // OK：直接列表初始化选择 B::B(int, int)
//  B b4 = {4, 5}; // 错误：复制列表初始化选择了显式构造函数 B::B(int, int)
    B b5 = (B)1;   // OK：显式转型进行 static_cast，是直接初始化
    B b6;          // OK：默认初始化
    B b7{};        // OK：直接列表初始化
//  B b8 = {};     // 错误：复制列表初始化选择了显式构造函数 B::B()
}