std::iterator_traits

 

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

 

Iterator-Bibliothek

Iterator-Konzepte
indirectly_readable (C++20) indirectly_writable (C++20) weakly_incrementable (C++20) incrementable (C++20) is-integer-like is-signed-integer-like (C++20)(C++20)	sentinel_for (C++20) sized_sentinel_for (C++20) input_iterator (C++20) output_iterator (C++20) input_or_output_iterator (C++20)	forward_iterator (C++20) bidirectional_iterator (C++20) random_access_iterator (C++20) contiguous_iterator (C++20)
Iterator-Primitive
input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20)	iter_value_titer_difference_titer_reference_titer_const_reference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++20)(C++23)(C++20)(C++20)	iterator (veraltet in C++17) iterator_traits incrementable_traits (C++20) indirectly_readable_traits (C++20)
Algorithmus-Konzepte und Hilfsprogramme
Indirekte aufrufbare Konzepte
indirectly_unary_invocableindirectly_regular_unary_invocable (C++20)(C++20)	indirect_unary_predicate (C++20) indirect_binary_predicate (C++20)	indirect_equivalence_relation (C++20) indirect_strict_weak_order (C++20)
Gemeinsame Algorithmus-Anforderungen
indirectly_movable (C++20) indirectly_movable_storable (C++20) indirectly_copyable (C++20)	indirectly_copyable_storable (C++20)   indirectly_swappable (C++20) indirectly_comparable (C++20)	permutable (C++20) mergeable (C++20) sortable (C++20)
Dienstprogramme
indirect_result_t (C++20)	projected (C++20)	projected_value_t (C++26)
Iterator-Adapter
reverse_iterator make_reverse_iterator (C++14) move_iterator (C++11) make_move_iterator (C++11) default_sentinel_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_sentinel (C++20)(C++20)	front_insert_iterator back_insert_iterator inserter insert_iterator front_inserter back_inserter move_sentinel (C++20)	common_iterator (C++20) counted_iterator (C++20) basic_const_iterator (C++23) const_iterator (C++23) const_sentinel (C++23) make_const_iterator (C++23) make_const_sentinel (C++23)
Stream-Iteratoren istream_iterator    ostream_iterator istreambuf_iterator ostreambuf_iterator	Iterator-Anpassungspunkte ranges::iter_move (C++20) ranges::iter_swap (C++20)
Iterator-Operationen advance distance prev (C++11)   next (C++11) ranges::advance (C++20) ranges::distance (C++20) ranges::prev (C++20) ranges::next (C++20)	Bereichszugriff begincbegin (C++11)(C++14) rbegincrbegin (C++14)(C++14)   endcend (C++11)(C++14) rendcrend (C++14)(C++14)   sizessize (C++17)(C++20) empty (C++17) data (C++17)

 

Definiert in Header <iterator>
template< class Iter > struct iterator_traits;
template< class T > struct iterator_traits<T*>;
template< class T > struct iterator_traits<const T*>;		(in C++20 entfernt)

std::iterator_traits ist die Typ-Trait-Klasse, die eine einheitliche Schnittstelle zu den Eigenschaften von LegacyIterator-Typen bereitstellt. Dies ermöglicht die Implementierung von Algorithmen nur anhand von Iteratoren.

Die Vorlage kann für benutzerdefinierte Iteratoren spezialisiert werden, sodass die Informationen über den Iterator abgerufen werden können, auch wenn der Typ nicht die üblichen typedefs bereitstellt.

Benutzerspezialisierungen können den verschachtelten Typ iterator_concept auf eine der Iterator-Kategorie-Tags setzen, um die Konformität mit den Iterator-Konzepten anzuzeigen.

(seit C++20)

Template-Parameter

Iter

-

der Iteratortyp, für den Eigenschaften abgerufen werden sollen

Member-Typen

Verschachtelter Typ	Definition
difference_type	Iter::difference_type
value_type	Iter::value_type
Zeiger	Iter::pointer
Referenz	Iter::reference
iterator_category	Iter::iterator_category

Wenn Iter keinen der oben genannten fünf verschachtelten Typen hat, hat diese Vorlage keine Member mit diesen Namen (std::iterator_traits ist SFINAE-freundlich).

(seit C++17) (bis C++20)

Wenn Iter keinen pointer hat, aber die vier verbleibenden verschachtelten Typen, dann werden diese vier verschachtelten Typen wie folgt deklariert: Verschachtelter Typ Definition difference_type Iter::difference_type value_type Iter::value_type Zeiger void Referenz Iter::reference iterator_category Iter::iterator_category Andernfalls, wenn Iter das Exposition-only-Konzept __LegacyInputIterator erfüllt, werden die verschachtelten Typen wie folgt deklariert: Verschachtelter Typ Definition difference_type std::incrementable_traits<Iter>::difference_type value_type std::indirectly_readable_traits<Iter>::value_type Zeiger Iter::pointer, falls gültig. Andernfalls decltype(std::declval<Iter&>().operator->()), falls gültig. Andernfalls void. Referenz Iter::reference, falls gültig. Andernfalls std::iter_reference_t<Iter>. iterator_category Iter::iterator_category, falls gültig. Andernfalls std::random_access_iterator_tag, wenn Iter __LegacyRandomAccessIterator erfüllt. Andernfalls std::bidirectional_iterator_tag, wenn Iter __LegacyBidirectionalIterator erfüllt. Andernfalls std::forward_iterator_tag, wenn Iter __LegacyForwardIterator erfüllt. Andernfalls std::input_iterator_tag. Andernfalls, wenn Iter das Exposition-only-Konzept __LegacyIterator erfüllt, werden die verschachtelten Typen wie folgt deklariert: Verschachtelter Typ Definition difference_type std::incrementable_traits<Iter>::difference_type, falls gültig. Andernfalls void. value_type void Zeiger void Referenz void iterator_category std::output_iterator_tag Andernfalls hat diese Vorlage keine Member mit diesen Namen (std::iterator_traits ist SFINAE-freundlich).

(seit C++20)

Spezialisierungen

Diese Typ-Trait kann für benutzerdefinierte Typen spezialisiert werden, die als Iteratoren verwendet werden können. Die Standardbibliothek stellt partielle Spezialisierungen für Zeigertypen T* bereit, wodurch alle von Iteratoren basierenden Algorithmen mit rohen Zeigern verwendet werden können.

Die Standardbibliothek stellt auch partielle Spezialisierungen für einige Standard-Iterator-Adaptoren bereit.

(seit C++20)

T* Spezialisierung verschachtelte Typen

Nur spezialisiert, wenn std::is_object_v<T> true ist.

(seit C++20)

Verschachtelter Typ	Definition
difference_type	std::ptrdiff_t
value_type	T(bis C++20)std::remove_cv_t<T>(seit C++20)
Zeiger	T*
Referenz	T&
iterator_category	std::random_access_iterator_tag
iterator_concept (seit C++20)	std::contiguous_iterator_tag

const T* Spezialisierung verschachtelte Typen Verschachtelter Typ Definition difference_type std::ptrdiff_t value_type T Zeiger const T* Referenz const T& iterator_category std::random_access_iterator_tag

(bis C++20)

Spezialisierungen für Bibliothekstypen

std::iterator_traits<std::common_iterator> (C++20)	stellt eine einheitliche Schnittstelle zu den Eigenschaften des Typs std::common_iterator bereit (Klassenvorlagenspezialisierung)
std::iterator_traits<std::counted_iterator> (C++20)	stellt eine einheitliche Schnittstelle zu den Eigenschaften des Typs std::counted_iterator bereit (Klassenvorlagenspezialisierung)

Beispiel

Zeigt eine allgemeine Implementierung von std::reverse() für bidirektionale Iteratoren.

Führen Sie diesen Code aus

#include <iostream>
#include <iterator>
#include <list>
#include <vector>
 
template<class BidirIt>
void my_reverse(BidirIt first, BidirIt last)
{
    typename std::iterator_traits<BidirIt>::difference_type n = std::distance(first, last);
    for (--n; n > 0; n -= 2)
    {
        typename std::iterator_traits<BidirIt>::value_type tmp = *first;
        *first++ = *--last;
        *last = tmp;
    }
}
 
int main()
{
    std::vector<int> v{1, 2, 3, 4, 5};
    my_reverse(v.begin(), v.end());
    for (int n : v)
        std::cout << n << ' ';
    std::cout << '\n';
 
    std::list<int> l{1, 2, 3, 4, 5};
    my_reverse(l.begin(), l.end());
    for (int n : l)
        std::cout << n << ' ';
    std::cout << '\n';
 
    int a[]{1, 2, 3, 4, 5};
    my_reverse(a, a + std::size(a));
    for (int n : a)
        std::cout << n << ' ';
    std::cout << '\n';
 
//  std::istreambuf_iterator<char> i1(std::cin), i2;
//  my_reverse(i1, i2); // compilation error: i1, i2 are input iterators
}

Ausgabe

5 4 3 2 1
5 4 3 2 1
5 4 3 2 1

Siehe auch

iterator (veraltet in C++17)	Basisklasse zur Vereinfachung der Definition der erforderlichen Typen für einfache Iteratoren (Klassenschablone)
input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20)	leere Klassentypen, die zur Angabe von Iterator-Kategorien verwendet werden (Klasse)
iter_value_titer_reference_titer_const_reference_titer_difference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++23)(C++20)(C++20)(C++20)	berechnet die zugehörigen Typen eines Iterators (Alias-Schablone)