std::initializer_list
来自cppreference.com
（勿与成员初始化器列表混淆）
<tbody> </tbody>| 在标头 <initializer_list> 定义
|
||
template< class T > class initializer_list; |
(C++11 起) | |
std::initializer_list<T> 类型的对象是轻量代理对象，提供对 const T 类型对象数组的访问（可能分配于只读内存）。
std::initializer_list 对象在这些时候自动构造：
- 用花括号包围的初始化器列表来列表初始化一个对象，其中对应的构造函数接受一个
std::initializer_list形参。 - 以花括号包围的初始化器列表为赋值的右操作数，或函数调用实参，且对应的赋值运算符/函数接受
std::initializer_list形参。 - 将花括号包围的初始化器列表绑定到 auto，包括在范围 for 循环中。
std::initializer_list 可以实现为一对指针或指针和长度。复制一个 std::initializer_list 不会复制它对应的初始化器列表的基底数组。
如果声明了 std::initializer_list 的显式（全）或部分特化，那么程序非良构。
成员类型
| 名字 | 定义 |
value_type
|
T
|
reference
|
const T&
|
const_reference
|
const T&
|
size_type
|
std::size_t |
iterator
|
const T*
|
const_iterator
|
const T*
|
成员函数
| 创建空的初始化式列表 (公开成员函数) | |
容量 | |
| 返回初始化式列表中的元素数目 (公开成员函数) | |
迭代器 | |
| 返回指向首元素的指针 (公开成员函数) | |
| 返回指向末元素后一位置的指针 (公开成员函数) | |
非成员函数
| 重载 std::begin (函数模板) | |
| 特化 std::end (函数模板) | |
对
| |
(C++14) |
返回指向一个容器或数组的逆向迭代器 (函数模板) |
(C++14) |
返回容器或数组的逆向尾迭代器 (函数模板) |
(C++17) |
检查容器是否为空 (函数模板) |
(C++17) |
获得指向底层数组的指针 (函数模板) |
注解
| 功能特性测试宏 | 值 | 标准 | 功能特性 |
|---|---|---|---|
__cpp_initializer_lists |
200806L |
(C++11) | 列表初始化与 std::initializer_list
|
示例
运行此代码
#include <cassert>
#include <initializer_list>
#include <iostream>
#include <vector>
template<class T>
struct S
{
std::vector<T> v;
S(std::initializer_list<T> l) : v(l)
{
std::cout << "以包含 " << l.size() << " 个元素的列表构造\n";
}
void append(std::initializer_list<T> l)
{
v.insert(v.end(), l.begin(), l.end());
}
std::pair<const T*, std::size_t> c_arr() const
{
return {&v[0], v.size()}; // 在 return 语句中进行复制列表初始化
// 没有使用 std::initializer_list
}
};
template<typename T>
void templated_fn(T) {}
int main()
{
S<int> s = {1, 2, 3, 4, 5}; // 复制列表初始化
s.append({6, 7, 8}); // 在函数调用中进行列表初始化
std::cout << "现在 vector 含有 " << s.c_arr().second << " 个 int：\n";
for (auto n : s.v)
std::cout << n << ' ';
std::cout << '\n';
std::cout << "用范围 for 遍历花括号初始化器列表：\n";
for (int x : {-1, -2, -3}) // 对 auto 的规则使得此范围 for 有效
std::cout << x << ' ';
std::cout << '\n';
auto al = {10, 11, 12}; // 对 auto 的特殊规则
std::cout << "绑定到 auto 的列表的 size() = " << al.size() << '\n';
auto la = al; // 顶层代理对象的浅层副本
assert(la.begin() == al.begin()); // 保证为真：后备数组相同
std::initializer_list<int> il{-3, -2, -1};
assert(il.begin()[2] == -1); // 注意替代了缺少的 operator[]
il = al; // 浅复制
assert(il.begin() == al.begin()); // 保证为真
// templated_fn({1, 2, 3}); // 编译错误！"{1, 2, 3}" 不是表达式，
// 它没有类型，所以不能推导出 T
templated_fn<std::initializer_list<int>>({1, 2, 3}); // OK
templated_fn<std::vector<int>>({1, 2, 3}); // 同样 OK
}
输出：
以包含 5 个元素的列表构造
现在 vector 含有 8 个 int：
1 2 3 4 5 6 7 8
用范围 for 遍历花括号初始化器列表：
-1 -2 -3
绑定到 auto 的列表的 size() = 3
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| LWG 2129 | C++11 | 可以显式特化或偏特化 std::initializer_list
|
程序非良构 |
参阅
(C++20) |
连续的对象序列上的无所有权视图 (类模板) |
(C++17) |
只读的字符串视图 (类模板) |