Namensräume
Varianten
Aktionen

std::initializer_list

Von cppreference.com
< cpp‎ | utility
 
 
Dienstprogramm-Bibliotheken
Sprachunterstützung
Typunterstützung (Basistypen, RTTI)
Bibliotheks-Feature-Test-Makros (C++20)
Programm-Dienstprogramme
Variadische Funktionen
initializer_list
(C++11)
Coroutine-Unterstützung (C++20)
Vertragsunterstützung (C++26)
Drei-Wege-Vergleich
(C++20)
(C++20)(C++20)(C++20)  
(C++20)(C++20)(C++20)

Allgemeine Hilfsmittel
Relationale Operatoren (in C++20 veraltet)
 
 

(nicht zu verwechseln mit Member-Initialisierungsliste)

Definiert in der Header-Datei <initializer_list>
template< class T >
class initializer_list;
(seit C++11)

Ein Objekt vom Typ std::initializer_list<T> ist ein leichtgewichtiges Proxy-Objekt, das Zugriff auf ein Array von Objekten vom Typ const T bietet (das im schreibgeschützten Speicher allokiert sein kann).

Ein std::initializer_list-Objekt wird automatisch konstruiert, wenn

std::initializer_list kann als Paar von Zeigern oder als Zeiger und Länge implementiert werden. Das Kopieren eines std::initializer_list kopiert nicht das zugrundeliegende Array der entsprechenden Initialisierungsliste.

Das Programm ist ill-formed, wenn eine explizite oder partielle Spezialisierung von std::initializer_list deklariert wird.

Inhalt

[bearbeiten] Member-Typen

Name Definition
value_type T
Referenz const T&
const_reference const T&
size_type std::size_t
iterator const T*
const_iterator const T*

[bearbeiten] Member-Funktionen

erstellt eine leere Initialisierungsliste
(public member function) [bearbeiten]
Kapazität
gibt die Anzahl der Elemente in der Initialisierungsliste zurück
(public member function) [bearbeiten]
Iteratoren
gibt einen Zeiger auf das erste Element zurück
(public member function) [bearbeiten]
gibt einen Zeiger auf ein Element nach dem letzten Element zurück
(public member function) [bearbeiten]

[bearbeiten] Nicht-Member-Funktionen

überlädt std::begin
(function template) [bearbeiten]
spezialisiert std::end
(function template) [bearbeiten]
Freie Funktions-Templates, die für std::initializer_list überladen sind
gibt einen Reverse-Iterator zum Anfang eines Containers oder Arrays zurück
(function template) [bearbeiten]
(C++14)
gibt einen Reverse-End-Iterator für einen Container oder ein Array zurück
(function template) [bearbeiten]
(C++17)
prüft, ob der Container leer ist
(function template) [bearbeiten]
(C++17)
erhält den Zeiger auf das zugrundeliegende Array
(function template) [bearbeiten]

[bearbeiten] Anmerkungen

Feature-Testmakro Wert Std Feature
__cpp_initializer_lists 200806L (C++11) Listeninitialisierung und std::initializer_list

[bearbeiten] Beispiel

#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 << "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()}; // copy list-initialization in return statement
                                  // this is NOT a use of std::initializer_list
    }
};
 
template<typename T>
void templated_fn(T) {}
 
int main()
{
    S<int> s = {1, 2, 3, 4, 5}; // copy list-initialization
    s.append({6, 7, 8});        // list-initialization in function call
 
    std::cout << "The vector now has " << 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}) // the rule for auto makes this ranged-for work
        std::cout << x << ' ';
    std::cout << '\n';
 
    auto al = {10, 11, 12}; // special rule for auto
    std::cout << "The list bound to auto has size() = " << al.size() << '\n';
    auto la = al; // a shallow-copy of top-level proxy object
    assert(la.begin() == al.begin()); // guaranteed: backing array is the same
 
    std::initializer_list<int> il{-3, -2, -1};
    assert(il.begin()[2] == -1); // note the replacement for absent operator[]
    il = al; // shallow-copy
    assert(il.begin() == al.begin()); // guaranteed
 
//  templated_fn({1, 2, 3}); // compiler error! "{1, 2, 3}" is not an expression,
                             // it has no type, and so T cannot be deduced
    templated_fn<std::initializer_list<int>>({1, 2, 3}); // OK
    templated_fn<std::vector<int>>({1, 2, 3});           // also OK
}

Ausgabe

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

[bearbeiten] Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR angewendet auf Verhalten wie veröffentlicht Korrigiertes Verhalten
LWG 2129 C++11 std::initializer_list könnte explizit sein
Spezialisierungen oder partielle Spezialisierungen
das Programm ist
ill-formed in diesem Fall

[bearbeiten] Siehe auch

(C++20)
eine nicht besitzende Ansicht über eine zusammenhängende Sequenz von Objekten
(class template) [bearbeiten]
schreibgeschützte String-Ansicht
(class template) [bearbeiten]