C++ benannte Anforderungen: LegacyIterator

 

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

 

C++ benannte Anforderungen

Basis DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible Typeneigenschaften ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType Bibliothekweit BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) Allocator FunctionObject Callable Predicate BinaryPredicate Compare

Container Container ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   Container-Element DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) Iterator LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) Stream-I/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction Formatters BasicFormatter (C++20) Formatter (C++20)

Zufallszahlen SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) Concurrency BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) Bereiche (Ranges) RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) Mehrdimensionale Ansicht LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) Sonstiges CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

Die LegacyIterator-Anforderungen beschreiben Typen, die verwendet werden können, um Elemente eines Containers zu identifizieren und zu durchlaufen.

LegacyIterator ist der Basissatz von Anforderungen, der von anderen Iteratortypen verwendet wird: LegacyInputIterator, LegacyOutputIterator, LegacyForwardIterator, LegacyBidirectionalIterator und LegacyRandomAccessIterator. Iteratoren können als eine Abstraktion von Zeigern betrachtet werden.

Alle Iterator-Kategorien erfordern nur diejenigen Funktionen, die für eine gegebene Kategorie in konstanter Zeit (amortisiert) realisierbar sind. Daher spezifizieren die Anforderungstabellen und Konzeptdefinitionen(seit C++20)für die Iteratoren keine Komplexität.

Anforderungen

Der Typ It erfüllt LegacyIterator, wenn

• Der Typ It erfüllt CopyConstructible, und
• Der Typ It erfüllt CopyAssignable, und
• Der Typ It erfüllt Destructible, und
• Der Typ It erfüllt Swappable, und
• std::iterator_traits<It> hat Mitgliedstypen value_type(bis C++20), difference_type, reference, pointer und iterator_category, und
• Gegeben sei r, ein lvalue vom Typ It, müssen die folgenden Ausdrücke gültig sein und ihre spezifizierten Effekte haben

Ausdruck	Rückgabetyp	Vorbedingung
*r	nicht spezifiziert	r ist dereferenzierbar
++r	It&	r ist *inkrementierbar* (das Verhalten des Ausdrucks ++r ist definiert)

Konzept Für die Definition von std::iterator_traits wird das folgende exposition-only-Konzept definiert. template<class I> concept __LegacyIterator =     requires(I i)     {         {   *i } -> __Referenceable;         {  ++i } -> std::same_as<I&>;         { *i++ } -> __Referenceable;     } && std::copyable<I>; wobei das expositions-only-Konzept __Referenceable<T> genau dann erfüllt ist, wenn T& ein gültiger Typ ist (insbesondere darf T nicht void sein).

(seit C++20)

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 2437	C++98	*r soll reference sein	nicht erforderlich für Output-Iteratoren
LWG 3420	C++20	das expositions-only-Konzept prüft zuerst copyable	copyable wird nur geprüft, wenn der requires-Ausdruck true ergibt

Siehe auch

input_or_output_iterator (C++20)	spezifiziert, dass Objekte eines Typs inkrementiert und dereferenziert werden können (Konzept)
Iterator-Bibliothek	stellt Definitionen für Iteratoren, Iterator-Traits, Adaptoren und Hilfsfunktionen bereit