std::initializer_list
来自 cppreference.com
(不要与 成员初始化列表 混淆)
在头文件 <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) |
获取指向底层数组的指针 (函数模板) |
[编辑] 说明
功能测试宏 | 值 | Std | 功能 |
---|---|---|---|
__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 << "constructed with a " << l.size() << "-element list\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()}; // copy list-initialization in return statement // this is NOT a use of std::initializer_list } }; template<typename T> void templated_fn(T) {} int main() { S<int> s = {1, 2, 3, 4, 5}; // copy list-initialization s.append({6, 7, 8}); // list-initialization in function call std::cout << "The vector now has " << s.c_arr().second << " ints:\n"; for (auto n : s.v) std::cout << n << ' '; std::cout << '\n'; std::cout << "Range-for over brace-init-list: \n"; for (int x : {-1, -2, -3}) // the rule for auto makes this ranged-for work std::cout << x << ' '; std::cout << '\n'; auto al = {10, 11, 12}; // special rule for auto std::cout << "The list bound to auto has size() = " << al.size() << '\n'; auto la = al; // a shallow-copy of top-level proxy object assert(la.begin() == al.begin()); // guaranteed: backing array is the same std::initializer_list<int> il{-3, -2, -1}; assert(il.begin()[2] == -1); // note the replacement for absent operator[] il = al; // shallow-copy assert(il.begin() == al.begin()); // guaranteed // templated_fn({1, 2, 3}); // compiler error! "{1, 2, 3}" is not an expression, // it has no type, and so T cannot be deduced templated_fn<std::initializer_list<int>>({1, 2, 3}); // OK templated_fn<std::vector<int>>({1, 2, 3}); // also OK }
输出
constructed with a 5-element list The vector now has 8 ints: 1 2 3 4 5 6 7 8 Range-for over brace-init-list: -1 -2 -3 The list bound to auto has size() = 3
[编辑] 缺陷报告
以下更改行为的缺陷报告已追溯应用到先前发布的 C++ 标准。
DR | 应用于 | 已发布的行为 | 正确行为 |
---|---|---|---|
LWG 2129 | C++11 | std::initializer_list 可能具有显式特化或部分特化 |
程序为 在这种情况下格式错误 |
[编辑] 另见
(C++20) |
对连续对象序列的非拥有视图 (类模板) |
(C++17) |
只读字符串视图 (类模板) |