std::initializer_list<T>::initializer_list

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) 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_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(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) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

std::initializer_list

Функции элементы

initializer_list::initializer_list

Ёмкость

initializer_list::size

Итераторы

initializer_list::begin

initializer_list::end

Функции не элементы

std::begin

std::end

 

<tbody> </tbody> <tbody class="t-dcl-rev "> </tbody><tbody> </tbody>

initializer_list() noexcept;		(начиная с C++11) (до C++14)
constexpr initializer_list() noexcept;		(начиная с C++14)

Объект типа 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*

Функции элементы

(конструктор)	создаёт пустой список инициализаторов (public функция-элемент)
Ёмкость
size	возвращает количество элементов в списке инициализации (public функция-элемент)
Итераторы
begin	возвращает указатель на первый элемент (public функция-элемент)
end	возвращает указатель на элемент за последним элементом (public функция-элемент)

Функции не элементы

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 <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 << "Размер вектора теперь " << 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';
 
//    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-элементов списка
Размер вектора теперь 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)	строковое представление только для чтения (шаблон класса)