C++ benannte Anforderungen: LegacyInputIterator

 

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 LegacyInputIterator ist ein LegacyIterator, der aus dem angesteuerten Element lesen kann. LegacyInputIterators garantieren Gültigkeit nur für Algorithmen mit einem Durchlauf: Sobald ein LegacyInputIterator i inkrementiert wurde, können alle Kopien seines vorherigen Wertes ungültig werden.

Anforderungen

Typ	Definition
X	Ein Eingabeiterator-Typ
T	Der Werttyp von X (d.h. std::iterator_traits<X>::value_type)
R	std::iterator_traits<X>::reference
Wert	Definition
i, j	Werte vom Typ X oder const X
r	Ein Wert vom Typ X&
Sonstiges	Definition
m	Ein Bezeichner, der möglicherweise ein Datenmember oder eine Memberfunktion bezeichnet

X erfüllt LegacyInputIterator, wenn alle folgenden Bedingungen erfüllt sind

• X erfüllt LegacyIterator.
• X erfüllt EqualityComparable.
• Die folgenden Ausdrücke sind wohlgeformt und haben die angegebene Semantik

Ausdruck	Typ	Semantik
i != j	ein Typ, der BooleanTestable erfüllt (bis C++20) ein Typ, der boolean-testable modelliert (seit C++20)	Vorbedingung	i und j liegen in der Domäne von ==.
		Auswirkung	Äquivalent zu !(i == j).
*i	konvertierbar nach T	Vorbedingung	i ist dereferenzierbar.
		Auswirkung	Der Ausdruck (void)*i, *i ist äquivalent zu *i. Wenn i und j in der Domäne von == liegen und i == j, dann ist *i äquivalent zu *j.
i->m		Vorbedingung	i ist dereferenzierbar.
		Auswirkung	Äquivalent zu (*i).m.
++r	X&	Vorbedingung	r ist dereferenzierbar.
		Nachbedingung	r ist dereferenzierbar oder r ist nach dem Ende. Alle Kopien des vorherigen Wertes von r müssen nicht mehr als dereferenzierbar oder in der Domäne von == befindlich gelten.
(void)r++		Auswirkung	Äquivalent zu (void)++r.
*r++	konvertierbar nach T	Auswirkung	Äquivalent zu T x = *r; ++r; return x;.

Gleichheitsdomäne

Der Begriff die Domäne von == wird im gewöhnlichen mathematischen Sinne verwendet, um die Menge der Werte zu bezeichnen, die mit == verglichen werden können. Diese Menge kann sich im Laufe der Zeit ändern.

Jeder Algorithmus stellt zusätzliche Anforderungen an die Gleichheitsdomäne für die von ihm verwendeten Iteratorwerte. Diese Anforderungen können aus der Verwendung von == und != durch den Algorithmus abgeleitet werden.

Hinweise

Für einen Eingabeiterator X, der kein LegacyForwardIterator ist, muss std::iterator_traits<X>::reference kein Referenztyp sein: Das Dereferenzieren eines Eingabeiterators kann ein Proxy-Objekt oder std::iterator_traits<X>::value_type selbst per Wert zurückgeben (wie im Fall von std::istreambuf_iterator).

Konzept Für die Definition von std::iterator_traits wird das folgende exposition-only-Konzept definiert. template<class I> concept __LegacyInputIterator = __LegacyIterator<I> && std::equality_comparable<I> && requires(I i) {     typename std::incrementable_traits<I>::difference_type;     typename std::indirectly_readable_traits<I>::value_type;     typename std::common_reference_t<std::iter_reference_t<I>&&,                                      typename std::indirectly_readable_traits<I>::value_type&>;     *i++;     typename std::common_reference_t<decltype(*i++)&&,                                      typename std::indirectly_readable_traits<I>::value_type&>;     requires std::signed_integral<typename std::incrementable_traits<I>::difference_type>; }; wobei das expositions-nur-Konzept __LegacyIterator in LegacyIterator 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 98	C++98	der Rückgabetyp von *i++ war erforderlich, um T zu sein	er kann jeder Typ sein, der nach T konvertierbar ist
LWG 2114 (P2167R3)	C++98	die Konvertierbarkeit nach bool war zu schwach, um die Erwartungen der Implementierungen widerzuspiegeln	Anforderungen verstärkt

Siehe auch

input_iterator (C++20)	spezifiziert, dass ein Typ ein Eingabeiterator ist, d. h. seine referenzierten Werte können gelesen werden und er kann sowohl prä- als auch post-inkrementiert werden (Konzept)
Iterator-Bibliothek	stellt Definitionen für Iteratoren, Iterator-Traits, Adaptoren und Hilfsfunktionen bereit