C++ benannte Anforderungen: RangeAdaptorObject (seit C++20)

 

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)

 

Range-Adapter-Objekte sind Customization-Point-Objekte, die viewable_range als ihr erstes Argument entgegennehmen und eine view zurückgeben. Einige Range-Adapter-Objekte sind unär, d.h. sie nehmen ein viewable_range als einziges Argument. Andere Range-Adapter-Objekte nehmen ein viewable_range und weitere nachfolgende Argumente entgegen.

Wenn ein Range-Adapter-Objekt nur ein Argument entgegennimmt, ist es auch ein RangeAdaptorClosureObject.

Wenn ein Range-Adapter-Objekt mehr als ein Argument entgegennimmt, unterstützt es auch die partielle Anwendung: sei

• a ein solches Range-Adapter-Objekt und
• args... seien Argumente (im Allgemeinen geeignet für nachfolgende Argumente),

hat der Ausdruck a(args...) folgende Eigenschaften:

• Er ist genau dann gültig, wenn für jedes Argument e in args..., wobei E decltype((e)) ist, gilt std::is_constructible_v<std::decay_t<E>, E> ist true,
• wenn der Aufruf gültig ist, speichert sein Ergebnisobjekt ein Unterobjekt vom Typ std::decay_t<E>, das direkt nicht-list-initialisiert ist mit std::forward<E>(e), für jedes Argument e in args... (mit anderen Worten, Range-Adapter-Objekte binden Argumente per Wert),
• das Ergebnisobjekt ist ein RangeAdaptorClosureObject,
• das Aufrufen des RangeAdaptorClosureObject leitet die gebundenen Argumente (falls vorhanden) an das zugehörige Range-Adapter-Objekt weiter. Die gebundenen Argumente (falls vorhanden) gelten als mit der Wertkategorie und cv-Qualifikation des RangeAdaptorClosureObject ausgestattet. Mit anderen Worten, a(args...)(r) ist äquivalent zu std::bind_back(a, args...)(r) (aber ersteres unterstützt auch die Pipe-Syntax).(seit C++23)

Wie andere Customization Point Objects, sei

• a ein Objekt der cv-unqualifizierten Version des Typs eines beliebigen Range-Adapter-Objekts,
• args... eine beliebige Gruppe von Argumenten, die die Einschränkungen des operator() des Typs von a erfüllt,

sind Aufrufe von

• a(args...),
• std::as_const(a)(args...),
• std::move(a)(args...) und
• std::move(std::as_const(a))(args...)

alle äquivalent.

Das Ergebnisobjekt jeder dieser Ausdrücke ist entweder ein view-Objekt oder ein RangeAdaptorClosureObject.

Hinweise

operator() wird für die volatile-qualifizierten oder const-volatile-qualifizierten Versionen von Range-Adapter-Objekttypen nicht unterstützt. Arrays und Funktionen werden beim Binden in Zeiger konvertiert.