复制初始化
来自cppreference.com
从另一对象初始化对象
目录 |
[编辑] 语法
T object = other;
|
(1) | ||||||||
T object = {other} ;
|
(2) | (C++11 前) | |||||||
f(other)
|
(3) | ||||||||
return other;
|
(4) | ||||||||
throw object;
|
(5) | ||||||||
T array[N] = {other};
|
(6) | ||||||||
[编辑] 解释
复制初始化在下列情况进行：
1) 当声明一个非引用类型
T 的具名变量（自动、静态或线程局域），带后随表达式的等号构成的初始化器时。3) 当按值传递参数到函数时
4) 当从返回值的函数返回时
6) 作为聚合初始化的一部分，初始化提供了初始化器的每个元素
复制初始化的效果为：
| (C++17 起) |
- 若
T为类类型且 other 的类型的无 cv 限定版本是T或是从T派生的类，则检测T的非显式构造函数，并由重载解决选择最佳匹配。然后调用构造函数初始化该对象。
- 若
T为类类型，且 other 的无 cv 限定版本不是T或从T派生，或若T是非类类型，但 other 的类型为类类型，则检测能从 other 的类型转换到T（或从T派生的类型，若T是类类型且转换函数可用）的用户定义转换序列，并通过重载解决选择最佳者。转换结果，若使用转换构造函数则为纯右值临时量 (C++17 前)纯右值表达式 (C++17 起)，随后以之直接初始化该对象。最后一步通常会被优化掉，并且直接转换结果构造于分配给目标对象的内存上，但要求适合的构造函数（移动或复制）可用，即使不使用它。 (C++17 前)
- 否则（若
T与 other 的类型均不是类类型），若需要，则用标准转换，将 other 的值转换成T的无 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
另外，复制初始化中的隐式转换必须直接从初始化器生成 T ，然而直接初始化期待从初始化器到 T 构造函数参数的隐式转换。
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
若 other 是右值表达式，则重载解决选择移动构造函数并在复制初始化期间调用它。没有类似移动初始化的项目。
隐式转换以复制初始化的方式定义：若能以表达式 E 复制初始化 T 类型对象，则可隐式转换 E 为 T 。
等号 = 在具名变量的复制初始化中与赋值运算符无关。赋值运算符重载对复制初始化无效。
[编辑] 示例
运行此代码
#include <string> #include <utility> #include <memory> struct A { operator int() { return 12; } }; struct B { B(int) {} }; int main() { std::string s = "test"; // OK ：构造函数非 explicit std::string s2 = std::move(s); // 此复制初始化进行移动 // std::unique_ptr<int> p = new int(1); // 错误：构造函数为 explicit 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; // < 错误：需要重载赋值运算符 }
