直接初始化

来自cppreference.com
< cpp‎ | language

从构造函数参数的显式集合初始化对象。

目录

[编辑] 语法

T object ( arg );

T object ( arg1, arg2, ... );

(1)
T object { arg };

T object { arg1, arg2, ... };

(2) (C++11 起)
T ( other )

T ( arg1, arg2, ... );

(3)
static_cast< T >( other ) (4)
new T(args, ...) (5)
Class::Class() : member(args, ...) {... (6)
[arg](){... (7) (C++11 起)

[编辑] 解释

直接初始化在下列场合进行:

1) 以表达式的非空带括号列表初始化
2)列表初始化序列中,若不提供 initializer_list 构造函数,且匹配的构造函数可访问,且所有需要的隐式转换均非窄化。
3)函数转型或以带括号表达式列表初始化纯右值临时量
4)static_cast 表达式初始化纯右值临时量
5) 用带非空初始化器的 new 表达式初始化拥有动态存储期的对象
6) 用构造函数初始化器列表初始化基类或非静态成员
7) 在 lambda 表达式中从以复制捕捉的变量初始化闭包对象成员

直接初始化的效果是:

  • T 是类类型,
  • 若初始化器为纯右值表达式,且其无 cv 限定类型是与 T 相同的类,则初始化器表达式自身,而非自其实质化的临时量,被用于初始化目的对象:参阅复制消除
(C++17 起)
  • 检测 T 的构造函数并以重载决议选取最佳匹配。然后调用该构造函数初始化对象。
  • 否则,若 T 是非类类型,则使用标准转换(若有必要),转换 other 的值为 T 的无 cv 限定类型。

[编辑] 注意

直接初始比复制初始化更宽容:复制初始化仅考虑非 explicit 构造函数和非 explicit 的用户定义转换函数,而直接初始化考虑所有构造函数和所有用户定义转换函数。

[编辑] 示例

#include <string>
#include <iostream>
#include <memory>
 
struct Foo {
    int mem;
    explicit Foo(int n) : mem(n) {}
};
 
int main()
{
    std::string s1("test"); // 自 const char* 的构造函数
    std::string s2(10, 'a');
 
    std::unique_ptr<int> p(new int(1)); // OK :允许 explicit 构造函数
//  std::unique_ptr<int> p = new int(1); // 错误:构造函数为 explicit
 
    Foo f(2); // f 被直接初始化:
              // 构造函数参数 n 从右值 2 复制初始化
              // f.mem 从参数 n 直接初始化
//  Foo f2 = 2; // 错误:构造函数为 explicit
 
    std::cout << s1 << ' ' << s2 << ' ' << *p << ' ' << f.mem  << '\n';
}

输出:

test aaaaaaaaaa 1 2

[编辑] 参阅