直接初始化
来自 cppreference.com
从显式构造函数参数集初始化对象。
内容 |
[编辑] 语法
T object ( arg );T object |
(1) | ||||||||
T object { arg }; |
(2) | (自 C++11 起) | |||||||
T ( other )T |
(3) | ||||||||
static_cast< T >( other ) |
(4) | ||||||||
new T( args, ... ) |
(5) | ||||||||
Class::Class() : member( args, ... ) { ... } |
(6) | ||||||||
[arg]() { ... } |
(7) | (自 C++11 起) | |||||||
[编辑] 解释
在以下情况下执行直接初始化
1) 使用非空的括号括起来的表达式列表或大括号括起来的初始化列表(自 C++11 起)进行初始化。
2) 使用单个大括号括起来的初始化器初始化非类类型对象(注意：对于类类型和大括号括起来的初始化列表的其他用法，请参阅 列表初始化)(自 C++11 起)。
5) 使用带有初始化器的 new 表达式初始化具有动态存储期限的对象。
6) 使用构造函数初始化列表初始化基类或非静态成员。
7) 从 Lambda 表达式中通过复制捕获的变量初始化闭包对象成员。
直接初始化的效果是
- 如果
T是数组类型，
|
(直到 C++20) |
struct A { explicit A(int i = 0) {} }; A a[2](A(1)); // OK: initializes a[0] with A(1) and a[1] with A() A b[2]{A(1)}; // error: implicit copy-list-initialization of b[1] // from {} selected explicit constructor |
(自 C++20 起) |
- 如果
T是类类型，
| (自 C++17 起) |
- 检查
T的构造函数，并通过重载解析选择最佳匹配。然后调用该构造函数来初始化对象。
- 检查
struct B { int a; int&& r; }; int f(); int n = 10; B b1{1, f()}; // OK, lifetime is extended B b2(1, f()); // well-formed, but dangling reference B b3{1.0, 1}; // error: narrowing conversion B b4(1.0, 1); // well-formed, but dangling reference B b5(1.0, std::move(n)); // OK |
(自 C++20 起) |
- 否则，如果
T是非类类型，但源类型是类类型，则检查源类型及其基类的（如果有）转换函数，并通过重载解析选择最佳匹配。然后使用选定的用户定义转换将初始化表达式转换为正在初始化的对象。 - 否则，如果
T是 bool 并且源类型是 std::nullptr_t，则初始化对象的值为 false。 - 否则，使用 标准转换（如果需要）将 other 的值转换为
T的 cv 未限定版本，并且正在初始化对象的初始值是（可能已转换的）值。
[编辑] 说明
直接初始化比复制初始化更宽松：复制初始化只考虑非 显式 构造函数和非显式用户定义的 转换函数，而直接初始化则考虑所有构造函数和所有用户定义的转换函数。
在使用直接初始化语法 (1)（带圆括号）的变量声明与 函数声明 之间存在歧义的情况下，编译器始终选择函数声明。这种消除歧义规则有时会违反直觉，被称为 最令人困惑的解析。
运行此代码
#include <fstream> #include <iterator> #include <string> int main() { std::ifstream file("data.txt"); // The following is a function declaration: std::string foo1(std::istreambuf_iterator<char>(file), std::istreambuf_iterator<char>()); // It declares a function called foo1, whose return type is std::string, // first parameter has type std::istreambuf_iterator<char> and the name "file", // second parameter has no name and has type std::istreambuf_iterator<char>(), // which is rewritten to function pointer type std::istreambuf_iterator<char>(*)() // Pre-C++11 fix (to declare a variable) - add extra parentheses around one // of the arguments: std::string str1((std::istreambuf_iterator<char>(file)), std::istreambuf_iterator<char>()); // Post-C++11 fix (to declare a variable) - use list-initialization for any // of the arguments: std::string str2(std::istreambuf_iterator<char>{file}, {}); }
[编辑] 示例
运行此代码
#include <iostream> #include <memory> #include <string> struct Foo { int mem; explicit Foo(int n) : mem(n) {} }; int main() { std::string s1("test"); // constructor from const char* std::string s2(10, 'a'); std::unique_ptr<int> p(new int(1)); // OK: explicit constructors allowed // std::unique_ptr<int> p = new int(1); // error: constructor is explicit Foo f(2); // f is direct-initialized: // constructor parameter n is copy-initialized from the rvalue 2 // f.mem is direct-initialized from the parameter n // Foo f2 = 2; // error: constructor is explicit std::cout << s1 << ' ' << s2 << ' ' << *p << ' ' << f.mem << '\n'; }
输出
test aaaaaaaaaa 1 2
