C++ benannte Anforderungen: MoveInsertable (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 in uninitialisierten Speicher aus einem R-Wert dieses Typs mit einem bestimmten Allocator konstruiert 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*
Ausdruck	Definition
rv	ein Ausdruck, der einen R-Wert vom Typ T bezeichnet
expr	std::allocator_traits<A>::construct(m, p, rv)

T ist MoveInsertable in X, wenn alle folgenden Bedingungen erfüllt sind

• expr ist wohlgeformt.
• Unmittelbar nach der Auswertung von expr ist der Wert von *p äquivalent zum Wert von rv vor der Auswertung.

Hinweise

Wenn A std::allocator<T> ist, ruft dies Placement new auf, wie durch ::new((void*)p) T(rv)(bis C++20)std::construct_at(p, rv)(seit C++20). Dies erfordert im Wesentlichen, dass T verschiebbar ist.

Wenn std::allocator<T> oder ein ähnlicher Allocator verwendet wird, muss eine Klasse keinen Verschiebekonstruktor implementieren, um diese Anforderung zu erfüllen: Ein Kopierkonstruktor, der ein const T& Argument annimmt, kann R-Wert-Ausdrücke binden. Wenn eine MoveInsertable-Klasse einen Verschiebekonstruktor implementiert, kann sie auch Verschiebesemantik implementieren, um die Tatsache zu nutzen, dass der Wert von rv nach der Konstruktion nicht spezifiziert ist.

Obwohl bis C++23 gefordert war, dass ein angepasster construct beim Konstruieren von Elementen von std::basic_string verwendet wird, haben alle Implementierungen nur den Standardmechanismus genutzt. Die Anforderung wurde durch P1072R10 korrigiert, um die bestehende Praxis anzupassen.

Defect reports

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 2177	C++11	Die Auswertung von expr hatte keine Nachbedingung	hinzugefügt

Siehe auch

CopyInsertable