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

 

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)	строковое представление только для чтения (шаблон класса)