Ableitungsregeln für std::array

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Container-Bibliothek

Sequenz

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

Assoziativ

setzt

multiset

map

multimap

Ungeordnete assoziative

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

Adapter

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

Ansichten

span (C++20)

mdspan (C++23)

Tabellen

Iterator-Invalidierung

Mitgliedsfunktionstabelle

Nicht-Mitgliedsfunktionstabelle

 

std::array

Membertypen
Memberfunktionen
Elementzugriff array::at array::operator[]    array::front array::back array::data Operationen array::fill array::swap	Iteratoren array::beginarray::cbegin array::endarray::cend array::rbeginarray::crbegin    array::rendarray::crend	Kapazität array::empty array::size array::max_size
Nicht-Member-Funktionen
operator==operator<=> (C++20) get(std::array) swap(std::array) to_array (C++20)	operator|=operator<operator>operator<=operator>= (bis C++20)(bis C++20)(bis C++20)(bis C++20)(bis C++20)
Hilfsklassen
tuple_size<std::array>
tuple_element<std::array>
Ableitungsregeln (C++17)

 

Definiert in der Header-Datei <array>
template< class T, class... U > array( T, U... ) -> array<T, 1 + sizeof...(U)>;		(seit C++17)

Für std::array wird eine Ableitungsregel bereitgestellt, um eine Entsprechung zu std::experimental::make_array für die Konstruktion von std::array aus einem variadischen Parameterpack zu ermöglichen.

Das Programm ist fehlerhaft, wenn (std::is_same_v<T, U> && ...) nicht wahr ist. Beachten Sie, dass (std::is_same_v<T, U> && ...) wahr ist, wenn sizeof...(U) null ist.

Beispiel

Führen Sie diesen Code aus

#include <algorithm>
#include <array>
#include <cassert>
#include <type_traits>
 
int main()
{
    const int x = 10;
    std::array a{1, 2, 3, 5, x}; // OK, creates std::array<int, 5>
    assert(a.back() == x);
 
//  std::array b{1, 2u}; // Error, all arguments must have the same type
 
//  std::array<short> c{3, 2, 1}; // Error, wrong number of template args
    std::array c{std::to_array<short>({3, 2, 1})}; // C++20 facility
    assert(std::ranges::equal(c, std::array{3, 2, 1}));
    static_assert(std::is_same_v<short, decltype(c)::value_type>);
}