C++ benannte Anforderungen: Predicate

 

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 Predicate-Anforderungen beschreiben einen aufrufbaren Typ, der einen BooleanTestable-Wert zurückgibt.

Predicate wird typischerweise mit Algorithmen verwendet, die Eingabedaten (einzelne Objekte/Container) und ein Prädikat entgegennehmen, welches dann auf die Eingabedaten angewendet wird, um über den weiteren Handlungsverlauf zu entscheiden. Einige Beispiele für die Verwendung von Prädikaten in der C++-Standardbibliothek sind:

• std::all_of, std::any_of, std::none_of. Diese nehmen ein Array von Elementen und ein Prädikat als Eingabe entgegen. Das Prädikat wird auf einzelne Eingabeelemente angewendet, und es wird `true` zurückgegeben, wenn für alle/irgendwelche/keine Elemente das Prädikat `true` zurückgibt.

• std::find_if. Nimmt eine Sequenz von Elementen und ein Prädikat entgegen. Gibt das erste Element in der Sequenz zurück, für das das Prädikat einen Wert gleich true zurückgibt.

Die obige Beschreibung der Algorithmusfunktionalitäten ist vereinfacht und dient dazu, Predicate in einfachen Worten zu erklären. Für detaillierte Informationen siehe die einzelnen Seiten.

Mit anderen Worten, wenn ein Algorithmus einen Predicate pred und einen Iterator first entgegennimmt, sollte er das Objekt, auf das der Iterator first zeigt, mithilfe des gegebenen Prädikats über eine Konstruktion wie if (pred(*first)) { /*...*/ } testen können.

Das Funktionsobjekt pred darf keine nicht-konstante Funktion über den dereferenzierten Iterator aufrufen und muss ein `const`-Argument akzeptieren, wobei das Verhalten unabhängig davon ist, ob das Argument `const` oder nicht-`const` ist. Dieses Funktionsobjekt kann ein Funktionszeiger oder ein Objekt eines Typs mit einem geeigneten Funktionsaufrufoperator sein.

Anforderungen

• FunctionObject

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 3031	C++98	Anforderungen an `const`-Werte waren unzureichend	Anforderungen verstärkt

Siehe auch

predicate (C++20)

gibt an, dass ein aufrufbarer Typ ein boolesches Prädikat ist (Konzept)