复制初始化
来自cppreference.com
从另一个对象初始化对象。
语法
T 对象 = 其他对象;
|
(1) | ||||||||
T 对象 = {其他对象} ;
|
(2) | (C++11 前) | |||||||
函数(其他对象)
|
(3) | ||||||||
return 其他对象;
|
(4) | ||||||||
throw 对象;
|
(5) | ||||||||
T 数组[N] = {其他对象序列};
|
(6) | ||||||||
解释
复制初始化在下列情况进行：
1) 当声明非引用类型 目标类型 的具名变量（自动、静态或线程局部），带有以等号后随一个表达式所构成的初始化器时。
3) 当按值传递参数到函数时
4) 当从具有返回值的函数返回时
6) 作为聚合初始化的一部分，以初始化提供了初始化器的每个元素
复制初始化的效果是：
| (C++17 起) |
- 如果 目标类型 是类类型，且 其他对象 的类型的无 cv 限定版本是 目标类型 或是从 目标类型 派生的类，那么检测 目标类型 的非显式构造函数，并由重载决议选择最佳匹配。然后调用构造函数以初始化该对象。
- 如果 目标类型 是类类型，且 其他对象 的类型的无 cv 限定版本不是 目标类型 或从 目标类型 派生，或如果 目标类型 是非类类型，但 其他对象 的类型是类类型，那么检测能从 其他对象 的类型转换到 目标类型 （或当 目标类型 是类类型且存在转换函数时，转换到从 目标类型 派生的类型）的用户定义转换序列，并通过重载决议选择最佳者。该转换的结果（如果使用转换构造函数，那么就是无 cv 限定的 目标类型 的右值临时量 (C++11 前)纯右值临时量 (C++11 起)(C++17 前)纯右值表达式 (C++17 起)）会被用于直接初始化该对象。最后一步通常会被优化掉，而直接将转换结果构造于分配给目标对象的内存之中，但即便不会使用，也要求适合的构造函数（移动或复制）是可以访问的。 (C++17 前)
- 否则（如果 目标类型 和 其他对象 的类型都不是类类型），需要时用标准转换将 其他对象 的值转换成 目标类型 的无 cv 限定版本。
注解
复制初始化不如直接初始化宽容：explicit 构造函数不是转换构造函数，也不会被复制初始化考虑。
struct Exp { explicit Exp(const char*) {} }; // 不能从 const char* 转换 Exp e1("abc"); // OK Exp e2 = "abc"; // 错误，复制初始化不考虑 explicit 构造函数 struct Imp { Imp(const char*) {} }; // 可以从 const char* 转换 Imp i1("abc"); // OK Imp i2 = "abc"; // OK
另外，复制初始化中的隐式转换必须从初始化器直接生成 目标类型，然而直接初始化会期待一个从初始化器到 目标类型 的构造函数实参的隐式转换。
struct S { S(std::string) {} }; // 可以从 std::string 转换 S s("abc"); // OK：从 const char[4] 转换到 std::string S s = "abc"; // 错误：没有从 const char[4] 到 S 的转换 S s = "abc"s; // OK：从 std::string 转换到 S
如果 其他对象 是右值表达式，那么重载决议会选择移动构造函数并在复制初始化期间调用它。没有“移动初始化”的概念。
隐式转换以复制初始化的方式定义：如果能以表达式 E 复制初始化 目标类型 类型对象，那么可以隐式转换 E 到 目标类型。
具名变量的复制初始化中的等号 = 与赋值运算符无关。重载的赋值运算符对复制初始化没有影响。
示例
运行此代码
#include <string> #include <utility> #include <memory> struct A { operator int() { return 12; } }; struct B { B(int) {} }; int main() { std::string s = "test"; // OK：构造函数非显式 std::string s2 = std::move(s); // 此复制初始化进行移动 // std::unique_ptr<int> p = new int(1); // 错误：构造函数是显式的 std::unique_ptr<int> p(new int(1)); // OK：直接初始化 int n = 3.14; // 浮点整型转换 const int b = n; // 不受 const 影响 int c = b; // ……反之亦然 A a; B b0 = 12; // B b1 = a; // < 错误：要求从 'A' 到非标量类型 'B' 的转换 B b2{a}; // < 等同：调用 A::operator int() ，然后是::B(int) B b3 = {a}; // < auto b4 = B{a}; // < // b0 = a; // < 错误：需要重载赋值运算符 }
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| CWG 5 | C++98 | 目标类型的 cv 限定会应用到转换构造函数初始化的临时量 | 临时量不再有 cv 限定 |
| CWG 177 | C++98 | 未指定复制初始化类对象时生成的临时量的值类别 | 指定为右值 |