std::initializer_list<T>::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
}