C++ benannte Anforderungen: BooleanTestable

 

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)

 

Gibt an, dass ein Ausdruck eines solchen Typs und einer solchen Wertkategorie in bool konvertierbar ist und für den die logischen Operatoren für den Typ oder zwei verschiedene BooleanTestable-Typen das übliche Verhalten aufweisen (einschließlich Kurzschlussauswertung).

Anforderungen

Sei e ein Ausdruck eines bestimmten Typs und einer bestimmten Wertkategorie. Der Typ und die Wertkategorie erfüllen die BooleanTestable-Anforderungen, wenn

• !e wohlgeformt ist und das durch e bezeichnete Objekt, falls vorhanden, nicht verändert, es sei denn, wenn e ein xvalue ist, kann das bezeichnete Objekt in einem gültigen, aber unbestimmten Zustand verbleiben(seit C++11).
• Sowohl e als auch !e sind sowohl durch implizite Konvertierung als auch durch static_cast in bool konvertierbar.
• Konvertierungen in beiden Richtungen liefern gleiche Ergebnisse und verändern das Quellobjekt, falls vorhanden, nicht , es sei denn, wenn e oder !e ein xvalue ist, kann das Quellobjekt in einem gültigen, aber unbestimmten Zustand verbleiben(seit C++11).
• bool(!e) == !bool(e) gilt.
• Kein valider Nicht-Member operator&& und operator|| ist durch argumentabhängige Suche für den Typ von e oder !e sichtbar.
• Wenn e oder !e von einem Klassentyp ist, definiert die Klasse keine Member operator&& oder operator||.

Anmerkungen

Der Standard definiert keine benannte Anforderung mit diesem Namen. Sie wurde ursprünglich in einer frühen Auflösung von LWG2114 vorgeschlagen, wurde aber in der endgültigen Auflösung P2167R3 durch das reine Expositionskonzept boolean-testable ersetzt. Da Implementierungen im Allgemeinen erwarten, dass die bereitgestellten Typen boolean-testable auch in Modi vor C++20 modellieren, behandeln wir P2167R3 absichtlich als Fehlerbericht und transformieren boolean-testable in übernommene benannte Anforderungen.

Wenn die Operatoren && und || mit Operanden verwendet werden, deren Typ und Wertkategorie BooleanTestable sind, werden integrierte Versionen ausgewählt und eine Kurzschlussauswertung durchgeführt.

Der Typ und die Wertkategorie eines Ausdrucks e erfüllen die BooleanTestable-Anforderungen genau dann, wenn decltype((e)) boolean-testable modelliert.

(seit C++20)

Beispiele für BooleanTestable-Typen (mit beliebiger Wertkategorie) sind bool, std::true_type(seit C++11), std::bitset<N>::reference und int*.

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 2114 (P2167R3)	C++98	Konvertierbarkeit in bool war zu schwach, um die Erwartungen der Implementierungen widerzuspiegeln	Anforderungen verstärkt

Siehe auch

boolean-testable  (C++20)

gibt an, dass ein Typ in booleschen Kontexten verwendet werden kann (Konzept nur für die Exposition*)