C++ benannte Anforderungen: Erasable (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 ein Objekt des Typs durch einen gegebenen Allocator zerstört werden kann.

Anforderungen

Gegeben die folgenden Typen, Werte und Ausdrücke

Typ	Definition
T	ein Objekttyp
A	ein Allokator-Typ
X	ein Containertyp, der alle folgenden Bedingungen erfüllt X::value_type ist dasselbe wie T. X::allocator_type ist dasselbe wie std::allocator_traits<A>::rebind_alloc<T>.
Wert	Definition
m	ein lvalue vom Typ A
p	ein Zeiger vom Typ T*

Wenn der Ausdruck std::allocator_traits<A>::destroy(m, p) wohlgeformt ist, ist T von X Erasable.

Hinweise

Alle Standardbibliothekscontainer verlangen, dass ihre Werttypen Erasable erfüllen.

Mit dem Standard-Allocator ist diese Anforderung äquivalent zur Gültigkeit von p->~T(), was Klassentypen mit zugänglichen Destruktoren und allen Skalartypen akzeptiert, aber Array-Typen, Funktionstypen, Referenztypen und void ablehnt.	(bis C++20)
Mit dem Standard-Allocator ist diese Anforderung äquivalent zur Gültigkeit von std::destroy_at(p), was Klassentypen mit zugänglichen Destruktoren und allen Skalartypen sowie deren Arrays akzeptiert.	(seit C++20)

Obwohl bis C++23 gefordert wurde, dass beim Zerstören von Elementen von std::basic_string ein angepasster destroy verwendet wird, haben alle Implementierungen nur den Standardmechanismus verwendet. Die Anforderung wurde durch P1072R10 korrigiert, um die bestehende Praxis widerzuspiegeln.

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
N3346	C++11	gab es keine Anforderung, anzugeben, ob ein Typ dessen Objekte mit Allocatoren zerstört werden können	fügte die Anforderung hinzu

Siehe auch

CopyInsertable

MoveInsertable

EmplaceConstructible

Destructible