命名空间
变体
操作

std::initializer_list

来自 cppreference.com
< cpp‎ | utility
 
 
实用程序库
语言支持
类型支持 (基本类型、RTTI)
库功能测试宏 (C++20)
动态内存管理
程序实用程序
协程支持 (C++20)
可变参数函数
initializer_list
(C++11)
调试支持
(C++26)
三元比较
(C++20)
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用实用程序
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中已弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换类型操作
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
通用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
基本字符串转换
(C++17)
(C++17)

 
 

(不要与 成员初始化列表 混淆)

在头文件 <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 不会复制相应的初始化列表的 支持数组

如果声明了 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
(函数模板) [编辑]
std::initializer_list 重载的自由函数模板
返回指向容器或数组开头的反向迭代器
(函数模板) [编辑]
(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)
对连续对象序列的非拥有视图
(类模板) [编辑]
只读字符串视图
(类模板) [编辑]