# 初始化列表
考虑如下代码:
```
vector<double> v = { 1, 2, 3.456, 99.99 };
list<pair<string,string>> languages = {
{"Nygaard","Simula"}, {"Richards","BCPL"}, {"Ritchie","C"}
};
map<vector<string>,vector<int>> years = {
{ {"Maurice","Vincent", "Wilkes"},
{1913, 1945, 1951, 1967, 2000} },
{ {"Martin", "Ritchards"},
{1982, 2003, 2007} },
{ {"David", "John", "Wheeler"},
{1927, 1947, 1951, 2004} }
};
```
现在,初始化列表不再仅限于数组。可以接受一个“{}列表”对变量进行初始化的机制实际上是通过一个可以接受参数类型为std::initializer_list的函数(通常为构造函数)来实现的。例如:
```
void f(initializer_list<int>);
f({1,2});
f({23,345,4567,56789});
f({}); // 以空列表为参数调用f()
f{1,2}; // 错误:缺少函数调用符号( )
years.insert({{"Bjarne","Stroustrup"},{1950, 1975, 1985}});
```
初始化列表可以是任意长度,但必须是同质的(所有的元素必须属于某一模板类型T, 或可转化至T类型的)。
容器可以用如下方式来实现“初始化列表构造函数”:
```
template<class E> class vector {
public:
// 初始化列表构造函数
vector (std::initializer_list<E> s)
{
// 预留出合适的容量
reserve(s.size()); //
// 初始化所有元素
uninitialized_copy(s.begin(), s.end(), elem);
sz = s.size(); // 设置容器的size
}
// ... 其他部分保持不变 ...
};
```
使用“{}初始化”时,直接构造与拷贝构造之间仍有细微差异,但不再像以前那样明显。例如,std::vector拥有一个参数类型为int的显式构造函数及一个带有初始化列表的构造函数:
```
vector<double> v1(7); // OK: v1有7个元素<br />
v1 = 9; // Err: 无法将int转换为vector
vector<double> v2 = 9; // Err: 无法将int转换为vector
void f(const vector<double>&);
f(9); // Err: 无法将int转换为vector
vector<double> v1{7}; // OK: v1有一个元素,其值为7.0
v1 = {9}; // OK: v1有一个元素,其值为9.0
vector<double> v2 = {9}; // OK: v2有一个元素,其值为9.0
f({9}); // OK: f函数将以列表{9}为参数被调用
vector<vector<double>> vs = {
vector<double>(10), // OK, 显式构造(10个元素,都是默认值0.0)
vector<double>{10}, // OK:显式构造(1个元素,值为10.0)
10 // Err :vector的构造函数是显式的
};
```
函数可以将initializer_list作为一个不可变的序列进行读取。例如:
```
void f(initializer_list<int> args)
{
for (auto p=args.begin(); p!=args.end(); ++p)
cout << *p << "\n";
}
```
仅具有一个std::initializer_list的单参数构造函数被称为初始化列表构造函数。
标准库容器,string类型及正则表达式均具有初始化列表构造函数,以及(初始化列表)赋值函数等。初始化列表亦可作为一种“序列”以供“序列化for语句”使用。(译注:参见“序列for循环语句”章节)
初始化列表同时也是“统一初始化”方案的一部分。(译注:参见“统一初始化的语法和语义”章节)
参考:
* the C++ draft 8.5.4 List-initialization [dcl.init.list]
* [N1890=05-0150 ] Bjarne Stroustrup and Gabriel Dos Reis:
[Initialization and initializers](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1890.pdf)
(an overview of initialization-related problems with suggested solutions).
* [N1919=05-0179] Bjarne Stroustrup and Gabriel Dos Reis:
[Initializer lists](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1919.pdf).
* [N2215=07-0075] Bjarne Stroustrup and Gabriel Dos Reis :
[Initializer lists (Rev. 3)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2215.pdf) .
* [N2640=08-0150] Jason Merrill and Daveed Vandevoorde:
[Initializer Lists — Alternative Mechanism and Rationale (v. 2)](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2008/n2640.pdf) (final proposal).
(翻译:dabaitu)
- C++11 FAQ中文版 - C++11 FAQ
- Stroustrup先生关于中文版的授权许可邮件
- Stroustrup先生关于C++11 FAQ的一些说明
- 关于C++11的一般性的问题
- 您是如何看待C++11的?
- 什么时候C++0x会成为一部正式的标准呢?
- 编译器何时将会实现C++11标准呢?
- 我们何时可以用到新的标准库文件?
- C++0x将提供何种新的语言特性呢?
- C++11会提供哪些新的标准库文件呢?
- C++0x努力要达到的目标有哪些?
- 指导标准委员会的具体设计目标是什么?
- 在哪里可以找到标准委员会的报告?
- 从哪里可以获得有关C++11的学术性和技术性的参考资料?
- 还有哪些地方我可以读到关于 C++0x的资料?
- 有关于C++11的视频吗?
- C++0x难学吗?
- 标准委员会是如何运行的?
- 谁在标准委员会里?
- 实现者应以什么顺序提供C++11特性?
- 将会是C++1x吗?
- 标准中的"concepts"怎么了?
- 有你不喜欢的C++特性吗?
- 关于独立的语言特性的问题
- __cplusplus宏
- alignment(对齐方式)
- 属性(Attributes)
- atomic_operations
- auto – 从初始化中推断数据类型
- C99功能特性
- 枚举类——具有类域和强类型的枚举
- carries_dependency
- 复制和重新抛出异常
- 常量表达式(constexpr)
- decltype – 推断表达式的数据类型
- 控制默认函数——默认或者禁用
- 控制默认函数——移动(move)或者复制(copy)
- 委托构造函数(Delegating constructors)
- 并发性动态初始化和析构
- noexcept – 阻止异常的传播与扩散
- 显式转换操作符
- 扩展整型
- 外部模板声明
- 序列for循环语句
- 返回值类型后置语法
- 类成员的内部初始化
- 继承的构造函数
- 初始化列表
- 内联命名空间
- Lambda表达式
- 用作模板参数的局部类型
- long long(长长整数类型)
- 内存模型
- 预防窄转换
- nullptr——空指针标识
- 对重载(override)的控制: override
- 对重载(override)的控制:final
- POD
- 原生字符串标识
- 右角括号
- 右值引用
- Simple SFINAE rule
- 静态(编译期)断言 — static_assert
- 模板别名(正式的名称为"template typedef")
- 线程本地化存储 (thread_local)
- unicode字符
- 统一初始化的语法和语义
- (广义的)联合体
- 用户定义数据标识(User-defined literals)
- 可变参数模板(Variadic Templates)
- 关于标准库的问题
- abandoning_a_process
- 算法方面的改进
- array
- async()
- atomic_operations
- 条件变量(Condition variables)
- 标准库中容器方面的改进
- std::function 和 std::bind
- std::forward_list
- std::future和std::promise
- 垃圾回收(应用程序二进制接口)
- 无序容器(unordered containers)
- 锁(locks)
- metaprogramming(元编程)and type traits
- 互斥
- 随机数的产生
- 正则表达式(regular expressions)
- 具有作用域的内存分配器
- 共享资源的智能指针——shared_ptr
- smart pointers
- 线程(thread)
- 时间工具程序
- 标准库中的元组(std::tuple)
- unique_ptr
- weak_ptr
- system error