C++ benannte Anforderungen: LegacyBidirectionalIterator

 

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)

 

Ein LegacyBidirectionalIterator ist ein LegacyForwardIterator, der in beide Richtungen bewegt werden kann (d.h. inkrementiert und dekrementiert).

Wenn ein LegacyBidirectionalIterator it von einem Container stammt, dann ist der value_type von it derselbe wie der des Containers, sodass Dereferenzierung (*it) den value_type des Containers ergibt.

Anforderungen

Der Typ It erfüllt LegacyBidirectionalIterator, wenn

• Der Typ It erfüllt LegacyForwardIterator

Und, gegeben

• a und b, lvalues vom Typ It
• reference, der Typ, der durch std::iterator_traits<It>::reference bezeichnet wird

Die folgenden Ausdrücke müssen gültig sein und ihre angegebenen Effekte haben

Ausdruck	Rückgabe	Äquivalenter Ausdruck	Anmerkungen
--a	It&		Vorbedingungen a dekrementierbar ist (es existiert ein solches b, dass a == ++b) Nachbedingungen a ist dereferenzierbar --(++a) == a Wenn --a == --b, dann ist a == b a und --a bezeichnen dasselbe Iteratorobjekt
a--	konvertierbar zu const It&	It temp = a; --a; return temp;
*a--	Referenz

Ein mutable LegacyBidirectionalIterator ist ein LegacyBidirectionalIterator, der zusätzlich die Anforderungen an LegacyOutputIterator erfüllt.

Anmerkungen

Der Begin-Iterator ist nicht dekrementierbar und das Verhalten ist undefiniert, wenn --container.begin() ausgewertet wird.

Ein bidirektionaler Iterator muss nicht dereferenzierbar sein, um dekrementierbar zu sein (insbesondere ist der End-Iterator nicht dereferenzierbar, aber dekrementierbar).

Konzept Für die Definition von std::iterator_traits wird das folgende exposition-only-Konzept definiert. template<class I> concept __LegacyBidirectionalIterator =     __LegacyForwardIterator<I> && requires(I i)     {         {  --i } -> std::same_as<I&>;         {  i-- } -> std::convertible_to<const I&>;         { *i-- } -> std::same_as<std::iter_reference_t<I>>;     }; wobei das exposition-only Konzept __LegacyForwardIterator in LegacyForwardIterator beschrieben ist.

(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 299 (N3066)	C++98	der Rückgabetyp von *a-- war gefordert, nach T konvertierbar zu sein	geändert den Rückgabe typ zu reference
LWG 383	C++98	b musste nach --a dereferenzierbar sein	stattdessen muss a dereferenzierbar sein
LWG 1212 (N3066)	C++98	der Rückgabetyp von *a-- entsprach nicht dem Rückgabe typ von *a++, der von LegacyForwardIterator gefordert wurde	geändert den Rückgabe typ zu reference

Siehe auch

bidirectional_iterator (C++20)	spezifiziert, dass ein forward_iterator ein bidirektionaler Iterator ist, der die Rückwärtsbewegung unterstützt (Konzept)
Iterator-Bibliothek	stellt Definitionen für Iteratoren, Iterator-Traits, Adaptoren und Hilfsfunktionen bereit