C++ benannte Anforderungen: NullablePointer (seit C++11)

 

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 der Typ ein zeigerähnliches Objekt ist, das mit std::nullptr_t-Objekten verglichen werden kann.

Anforderungen

Der Typ muss alle folgenden Anforderungen erfüllen

• EqualityComparable
• DefaultConstructible
• CopyConstructible
• CopyAssignable
• Swappable
• Destructible

Zusätzlich muss ein wertinitialisiertes Objekt des Typs einen Nullwert dieses Typs erzeugen. Dieser Nullwert soll nur mit sich selbst äquivalent sein. Die Standardinitialisierung des Typs kann einen unbestimmten oder fehlerhaften(seit C++26) Wert haben.

Ein Wert des Typs muss kontextbezogen in bool konvertierbar sein. Die Auswirkung dieser Konvertierung gibt false zurück, wenn der Wert seinem Nullwert entspricht, und true andernfalls.

Keine der von diesem Typ ausgeführten Operationen darf Ausnahmen auslösen.

Der Typ muss die folgenden zusätzlichen Ausdrücke erfüllen, gegeben zwei Werte p und q, die vom Typ sind, und dass np ein Wert vom Typ std::nullptr_t ist (möglicherweise const-qualifiziert)

Deklaration	Effekte
Typ p(np); Typ p = np;	Danach ist p äquivalent zu nullptr
Ausdruck	Effekte
Typ(np)	Ein temporäres Objekt, das äquivalent zu nullptr ist
p = np	Muss ein Type& zurückgeben, und danach ist p äquivalent zu nullptr
p != q	Typ und Wert erfüllen die Anforderungen von BooleanTestable (bis C++20) decltype(p != q) modelliert boolean-testable (seit C++20) Die Auswirkung ist !(p == q)
p == np np == p	Typ und Wert beider Ausdrücke erfüllen die Anforderungen von BooleanTestable (bis C++20) decltype(p == np) und decltype(np == p) modellieren jeweils boolean-testable (seit C++20) Die Auswirkung ist (p == Type())
p != np np != p	Typ und Wert beider Ausdrücke erfüllen die Anforderungen von BooleanTestable (bis C++20) decltype(p != np) und decltype(np != p) modellieren jeweils boolean-testable (seit C++20) Die Auswirkung ist !(p == np)

Anmerkungen

Beachten Sie, dass Dereferenzierung (operator* oder operator->) für einen NullablePointer-Typ nicht erforderlich ist. Ein minimalistischer Typ, der diese Anforderungen erfüllt, ist

class handle
{
    int id = 0;
public:
    handle() = default;
    handle(std::nullptr_t) {}
    explicit operator bool() const { return id != 0; }
    friend bool operator==(handle l, handle r) { return l.id == r.id; }
    friend bool operator!=(handle l, handle r) { return !(l == r); }
    // or only a defaulted operator== (since C++20)
};

Standardbibliothek

Die folgenden Typen erfüllen NullablePointer

• std::exception_ptr.

Die folgenden Typen müssen NullablePointer erfüllen, um mit Standardbibliothekskomponenten kommunizieren zu können

• Die Mitgliedstypen X::pointer, X::const_pointer, X::void_pointer und X::const_void_pointer jedes Allocator-Typs X.
• Der Mitgliedstyp pointer von std::unique_ptr.

Der angepasste Zeigertyp von std::inout_ptr_t und std::out_ptr_t.

(seit C++23)

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++11	kontextbezogene Konvertierbarkeit in bool war zu schwach, um die Erwartungen der Implementierungen widerzuspiegeln	Anforderungen verstärkt