std::initializer_list

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

工具库

语言支持 库功能特性测试宏(C++20) 类型支持（基本类型、RTTI） 程序工具 可变参数函数 is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) 协程支持(C++20) 契约支持(C++26) 三路比较 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 函数对象 位操纵(C++20) bitset hash (C++11) 关系运算符(C++20 弃用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整数比较函数 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交换与类型运算 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 常用词汇类型 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

std::initializer_list

成员函数

initializer_list::initializer_list

容量

initializer_list::size

迭代器

initializer_list::begin

initializer_list::end

非成员函数

begin(std::initializer_list)

end(std::initializer_list)

 

（勿与成员初始化器列表混淆）

在标头 <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*

成员函数

(构造函数)	创建空的初始化式列表 (公开成员函数)
容量
size	返回初始化式列表中的元素数目 (公开成员函数)
迭代器
begin	返回指向首元素的指针 (公开成员函数)
end	返回指向末元素后一位置的指针 (公开成员函数)

非成员函数

std::begin(std::initializer_list) (C++11)	重载 std::begin (函数模板)
std::end(std::initializer_list) (C++11)	特化 std::end (函数模板)
对 std::initializer_list 重载的自由函数模板
rbegincrbegin (C++14)	返回指向一个容器或数组的逆向迭代器 (函数模板)
rendcrend (C++14)	返回容器或数组的逆向尾迭代器 (函数模板)
empty (C++17)	检查容器是否为空 (函数模板)
data (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	程序非良构

参阅

span (C++20)	连续的对象序列上的无所有权视图 (类模板)
basic_string_view (C++17)	只读的字符串视图 (类模板)