std::experimental::ranges::advance

 

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

 

Experimentell

Technische Spezifikation

Dateisystembibliothek (Filesystem TS)

Grundlagen der Bibliothek (Library Fundamentals TS)

Grundlagen der Bibliothek 2 (Library Fundamentals TS v2)

Grundlagen der Bibliothek 3 (Library Fundamentals TS v3)

Erweiterungen für Parallelität (Parallelism TS)

Erweiterungen für Parallelität 2 (Parallelism TS v2)

Erweiterungen für Nebenläufigkeit (Concurrency TS)

Erweiterungen für Nebenläufigkeit 2 (Concurrency TS v2)

Konzepte (Concepts TS)

Bereiche (Ranges TS)

Reflektion (Reflection TS)

Mathematische Spezialfunktionen (Special Functions TR)

Experimentell Nicht-TS

Pattern Matching

Lineare Algebra

std::execution

Verträge

2D-Grafik

 

Bereiche (Ranges)

Konzepte

Allgemeine Hilfsmittel

Iteratoren

Bereiche (Ranges)

Algorithmen

 

Iterator-Bibliothek

Iterator-Konzepte
Readable Writable WeaklyIncrementable Incrementable	Iterator Sentinel SizedSentinel	InputIterator ForwardIterator BidirectionalIterator RandomAccessIterator	OutputIterator
Indirekte aufrufbare Konzepte
IndirectUnaryInvocableIndirectRegularUnaryInvocable	IndirectUnaryPredicate	IndirectRelation	IndirectStrictWeakOrder
Gemeinsame Algorithmus-Anforderungen
IndirectlyMovable IndirectlyMovableStorable	IndirectlyCopyable IndirectlyCopyableStorable	IndirectlySwappable IndirectlyComparable	Permutable Mergeable Sortable
Konzept-Dienstprogramme
indirect_result_of	projected
Iterator-Dienstprogramme und -Operationen
iter_move iter_swap	advance distance	next prev
Iterator-Traits
difference_type value_type reference_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
Iterator-Adapter
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	danglingborrowed_iterator_t unreachable
Stream-Iteratoren
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

Definiert in Header <experimental/ranges/iterator>
namespace {     constexpr /* nicht spezifiziert */ advance = /* nicht spezifiziert */; }		(Ranges TS) (Customization-Point-Objekt)
Aufruf-Signatur
template< Iterator I > constexpr void advance( I& i, ranges::difference_type_t<I> n );	(1)
template< Iterator I, Sentinel<I> S > constexpr void advance( I& i, S bound );	(2)
template< Iterator I, Sentinel<I> S > constexpr ranges::difference_type_t<I> advance( I& i, ranges::difference_type_t<I> n, S bound );	(3)

Verschiebt den Iterator i um n Positionen vorwärts oder bis bound erreicht ist, je nachdem, was zuerst eintritt.

1) Wenn I RandomAccessIterator modelliert, ist dies äquivalent zu i += n. Andernfalls wird i n mal inkrementiert (oder dekrementiert, falls n negativ ist). Das Verhalten ist undefiniert, wenn n negativ ist und I BidirectionalIterator nicht modelliert.

2) Wenn Assignable<I&, S> erfüllt ist, ist dies äquivalent zu i = std::move(bound).

Andernfalls, wenn [i, bound) keinen Bereich bezeichnet, ist das Verhalten undefiniert.

Andernfalls, wenn SizedSentinel<S, I> erfüllt ist, ist dies äquivalent zu ranges::advance(i, bound - i).

Andernfalls wird i inkrementiert, bis i == bound.

3) Wenn SizedSentinel<S, I> erfüllt ist, ist dies äquivalent zu ranges::advance(i, bound), wenn |n| >= |bound - i|, und ranges::advance(i, n) andernfalls.

Andernfalls wird i entweder n mal inkrementiert (oder dekrementiert, falls n negativ ist), oder bis i == bound, je nachdem, was zuerst eintritt.

Wenn n > 0, muss [i, bound) einen Bereich bezeichnen; wenn n == 0, muss entweder [i, bound) oder [bound, i) einen Bereich bezeichnen; wenn n < 0, muss [bound, i) einen Bereich bezeichnen, I und S müssen vom gleichen Typ sein und I muss BidirectionalIterator modellieren. Andernfalls ist das Verhalten undefiniert.

Customization Point Objects

Der Name ranges::advance bezeichnet ein Customization Point Object, das ein Function Object vom Typ einer Literal Semiregular Klasse ist (zur Veranschaulichung als AdvanceT bezeichnet). Alle Instanzen von AdvanceT sind gleich. Daher kann ranges::advance frei kopiert und seine Kopien können austauschbar verwendet werden.

Gegeben sei eine Menge von Typen Args.... Wenn std::declval<Args>()... die obigen Anforderungen für Argumente an ranges::advance erfüllen, erfüllt AdvanceT ranges::Invocable<const AdvanceT, Args...>. Andernfalls nimmt kein Funktionsaufrufoperator von AdvanceT an der Überladungsauflösung teil.

In jeder Übersetzungseinheit, in der ranges::advance definiert ist, bezieht es sich auf dieselbe Instanz des Customization Point Objects. (Dies bedeutet, dass es frei in Dingen wie Inline-Funktionen und Funktionenschablonen verwendet werden kann, ohne die Ein-Definitions-Regel zu verletzen.)

Rückgabewert

1,2) (keine)

3) Die Anzahl der Inkrement-/Dekrementoperationen, die aufgrund des Erreichens von bound nicht durchgeführt wurden. Anders ausgedrückt: n - M, wobei M der Abstand von der Startposition von i zur Endposition ist und negativ ist, wenn die Endposition vor der Startposition liegt.

Siehe auch

advance	bewegt einen Iterator um die angegebene Distanz vorwärts (Funktionsvorlage)
distance	gibt die Distanz zwischen einem Iterator und einem Sentinel zurück, oder zwischen dem Anfang und dem Ende eines Bereichs (Funktionsvorlage)
next	inkrementiert einen Iterator (Funktionsvorlage)
prev	dekrementiert einen Iterator (Funktionsvorlage)