c++列表初始化（转自cppreference）

本文主要是介绍c++列表初始化（转自cppreference），希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

列表初始化 (C++11 起)

C++

C++ 语言

初始化

从花括号初始化器列表初始化对象

语法

直接列表初始化

复制列表初始化

列表初始化在下列性情形进行：

• 直接列表初始化（考虑 explicit 和非 explicit 构造函数）

1) 以花括号初始化器列表（即可以为空的表达式或花括号初始化器列表的花括号环绕列表）初始化具名变量

2) 以花括号初始化器列表初始化无名临时量

3) 以 new 表达式初始化拥有动态存储期的对象，其中初始化器是花括号初始化器列表

4) 在不使用等号的非静态数据成员初始化器中

5) 在构造函数的成员初始化列表中，若使用花括号初始化器列表

• 复制初始化（考虑 explicit 和非 explicit 构造函数，但只调用非 explicit 构造函数）

6) 以等号后的花括号初始化器列表初始化具名变量

7) 函数调用表达式中，以花括号初始化器列表为实参，以列表初始化初始化函数形参

8) 在 return 语句中以花括号初始化器列表为返回表达式，以列表初始化初始化返回的对象

9) 在下标表达式中使用用户定义的 operator[] ，其中列表初始化初始化重载运算符的参数

10) 在赋值表达式中，其中列表初始化初始化重载的 operator= 的参数

11) 函数型转型表达式或其他构造函数调用，其中花括号初始化器列表用于构造函数参数的位置。复制初始化初始化构造函数的形参（注意：此例中的类型 U 不是被列表初始化的类型；而 U 的构造函数的参数是）

12) 在使用等号的非静态数据成员初始化器中

解释

T 类型对象的列表初始化效果是：

• 否则，若 T 是 std::initializer_list 的特化，则从花括号初始化器列表所初始化的同类型纯右值 (C++17 前)，依赖语境直接初始化或复制初始化 T 。

• 否则，考虑 T 的构造函数，有二阶段：

• 检验所有作为唯一参数，或或若剩余参数拥有默认值则为首参数接收 std::initializer_list 的构造函数，而重载决议将它与单个 std::initializer_list 类型参数匹配。

• 若前一阶段不产生匹配，则 T 的所有构造函数参与针对由花括号初始化器列表的元素所组成的实参集的重载决议，有只允许非窄化转换的限制。若此阶段产生 explicit 构造函数为复制列表初始化的最佳匹配，则编译失败（注意：简单复制初始化中，完全不考虑 explicit 构造函数）。

• 否则（若 T 不是类类型），若花括号初始化器列表仅拥有一个元素，且 T 要么不是引用类型，要么是与该元素类型兼容的引用类型，则直接初始化（于直接列表初始化）或复制初始化（于复制列表初始化） T ，除了不允许窄化转换。

• 否则，若 T 是不与该类型元素兼容的引用类型，则列表初始化被引用类型的临时量，并绑定引用到该临时量 (C++17 前)则从列表初始化其结果对象的被引用类型的纯右值表达式直接初始化该引用 (C++17 起)。（若引用是非 const 左值引用则失败）

• 否则，若花括号初始化器列表无元素，则值初始化 T 。

窄化转换

列表初始化通过禁止下列者，限制隐式转换：

• 从浮点类型到整数类型

• 从 long double 到 double 或 float 的转换及从 double 到 float 的转换，除非源是常量表达式且不发生溢出

• 从整数类型到浮点类型，除非源是值能准确存储于目标类型的常量表达式

• 从整数或无作用域枚举类型到不能表示原类型所有值的整数类型，除非源是值能准确存储于目标类型的常量表达式

注意

每个初始化器子句先序于花括号初始化器列表中后随它的任何初始化器子句。这与函数调用表达式相反，它是无顺序的。

花括号初始化器列表不是表达式从而无类型，如 decltype({1,2}) 为病式。无类型隐含着模板类型推导不能推导出匹配花括号初始化器列表的类型，故给定声明 template<class T> void f(T); 则表达式 f({1,2,3}) 是病式的。然而，可从另外情况推导模板形参，如 std::vector<int> v(std::istream_iterator<int>(std::cin), {}) 的情况，其中迭代器类型从首个参数推导，但亦用于第二形参位置。对于使用关键词 auto 的类型推导有一个例外，它推导任何花括号初始化器列表为 std::initializer_list 。

亦因为花括号初始化器列表无类型，故在将它用作重载函数调用参数时应用重载决议的特殊规则。

struct X {X() = default;X(const X&) = default;
};struct Q {Q() = default;Q(Q const&) = default;Q(std::initializer_list<Q>) {}
};int main() {X x;X x2 = X { x }; // 复制构造函数（非聚合初始化）Q q;Q q2 = Q { q }; // initializer_list 构造函数（非复制构造函数）
}

示例

运行此代码

#include <iostream>
#include <vector>
#include <map>
#include <string>struct Foo {std::vector<int> mem = {1,2,3}; // 非静态成员的列表初始化std::vector<int> mem2;Foo() : mem2{-1, -2, -3} {} // 构造函数中的成员列表初始化
};std::pair<std::string, std::string> f(std::pair<std::string, std::string> p)
{return {p.second, p.first}; // return 语句中的列表初始化
}int main()
{int n0{};     // 值初始化（为零）int n1{1};    // 直接列表初始化std::string s1{'a', 'b', 'c', 'd'}; // initializer_list 构造函数调用std::string s2{s1, 2, 2};           // 常规构造函数调用std::string s3{0x61, 'a'}; // initializer_list 构造函数偏好 (int, char)int n2 = {1}; // 复制列表初始化double d = double{1.2}; // 临时量的列表初始化，然后复制初始化std::map<int, std::string> m = { // 嵌套列表初始化{1, "a"},{2, {'a', 'b', 'c'} },{3, s1}};std::cout << f({"hello", "world"}).first // 函数调用中的列表初始化<< '\n';const int (&ar)[2] = {1,2}; // 绑定左值引用到临时数组int&& r1 = {1}; // 绑定右值引用到临时 int
//  int& r2 = {2}; // 错误：不能绑定右值到非 const 左值引用//  int bad{1.0}; // 错误：窄化转换unsigned char uc1{10}; // 可以
//  unsigned char uc2{-1}; // 错误：窄化转换Foo f;std::cout << n0 << ' ' << n1 << ' ' << n2 << '\n'<< s1 << ' ' << s2 << ' ' << s3 << '\n';for(auto p: m)std::cout << p.first << ' ' << p.second << '\n';for(auto n: f.mem)std::cout << n << ' ';for(auto n: f.mem2)std::cout << n << ' ';
}

输出：

world
0 1 1
abcd cd aa
1 a
2 abc
3 abcd
1 2 3 -1 -2 -3

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

参阅

• 默认初始化
• 直接初始化
• 聚合初始化
• 复制初始化

转自：https://zh.cppreference.com/w/cpp/language/list_initialization

这篇关于c++列表初始化（转自cppreference）的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！