◐ Shell
clean mode source ↗

std::initializer_list - cppreference.com

来自cppreference.com

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

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*

成员函数

创建空的初始化器列表
(公开成员函数) [编辑]
容量

(C++11)

 返回初始化器列表中的元素数目
(公开成员函数) [编辑]

(C++11)

 检查 std::initializer_list 是否为空
(公开成员函数) [编辑]
迭代器

(C++11)

 返回指向首元素的指针
(公开成员函数) [编辑]

(C++11)

 返回指向末元素后一位置的指针
(公开成员函数) [编辑]

(C++11)

 返回指向首元素的指针
(公开成员函数) [编辑]

非成员函数

注解

功能特性测试宏 值 标准 功能特性
__cpp_initializer_lists 200806L (C++11) 列表初始化与 std::initializer_list
__cpp_lib_initializer_list 202511L (C++26)
(DR11)		 std::initializer_list 的 data 与 empty 成员函数；
移除 std::initializer_list 不需要的自由函数[1]
  1. ↑ 到 2026-05-27 为止，libstdc++ 尚未将来自 P3016R6 的函数增添删除视为针对 C++11 的缺陷报告，并且仅从 C++26 起应用更改。

示例

#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 程序非良构
P3016R6 C++11 std::initializer_list 拥有不需要的非成员 begin 与 end 函数 已移除

参阅