std::initializer_list

来自cppreference.com
< cpp‎ | utility

(勿与成员初始化器列表混淆)

定义于头文件 <initializer_list>
template< class T >
class initializer_list;
(C++11 起)

std::initializer_list<T> 类型对象是一个访问 const T 类型对象数组的轻量代理对象。

std::initializer_list 对象在这些时候自动构造:

initializer_list 可由一对指针或指针与其长度实现。复制一个 std::initializer_list 不会复制它的底层对象。

底层数组不保证在原始 initializer_list 对象的生存期结束后继续存在。 std::initializer_list 的存储是未指定的(即它可以是自动、临时或静态只读内存,依赖场合)。 (C++14 前)
底层数组是 const T[N] 类型的临时数组 (C++17 前)实质化的数组纯右值 (C++17 起),其中每个元素都从原始初始化器列表的对应元素复制初始化(除非窄化转换非法)。底层数组的生存期与任何其他临时对象相同,除了从数组初始化 initializer_list 对象会延长数组的生存期,恰如绑定引用到临时量(有例外,例如对于初始化非静态类成员)。底层数组可以分配在只读内存。 (C++14 起)

若声明了 std::initializer_list 的显式或偏特化则程序为病态。

(C++17 起)

目录

[编辑] 成员类型

成员类型 定义
value_type T
reference const T&
const_reference const T&
size_type std::size_t
iterator const T*
const_iterator const T*

[编辑] 成员函数

创建空的 initializer_list
(公开成员函数) [编辑]
容量
返回 initializer_list 中的元素数目
(公开成员函数) [编辑]
迭代器
返回指向首元素的指针
(公开成员函数) [编辑]
返回指向末元素后一位置的指针
(公开成员函数) [编辑]

[编辑] 非成员函数

特化 std::begin
(函数模板) [编辑]
特化 std::end
(函数模板) [编辑]
定义于头文件 <iterator>
特化 std::rbegin
(函数) [编辑]
特化 std::rend
(函数) [编辑]

[编辑] 示例

#include <iostream>
#include <vector>
#include <initializer_list>
 
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()};  // 在 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 << "The vector size is now " << 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}) // auto 的规则令此带范围 for 工作
        std::cout << x << ' ';
    std::cout << '\n';
 
    auto al = {10, 11, 12};   // auto 的特殊规则
 
    std::cout << "The list bound to auto has size() = " << al.size() << '\n';
 
//    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
}

输出:

constructed with a 5-element list
The vector size is now 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