std::experimental::ranges::MoveConstructible

 

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

 

Experimentell

Technische Spezifikation

Dateisystembibliothek (Filesystem TS)

Grundlagen der Bibliothek (Library Fundamentals TS)

Grundlagen der Bibliothek 2 (Library Fundamentals TS v2)

Grundlagen der Bibliothek 3 (Library Fundamentals TS v3)

Erweiterungen für Parallelität (Parallelism TS)

Erweiterungen für Parallelität 2 (Parallelism TS v2)

Erweiterungen für Nebenläufigkeit (Concurrency TS)

Erweiterungen für Nebenläufigkeit 2 (Concurrency TS v2)

Konzepte (Concepts TS)

Bereiche (Ranges TS)

Reflektion (Reflection TS)

Mathematische Spezialfunktionen (Special Functions TR)

Experimentell Nicht-TS

Pattern Matching

Lineare Algebra

std::execution

Verträge

2D-Grafik

 

Bereiche (Ranges)

Konzepte

Allgemeine Hilfsmittel

Iteratoren

Bereiche (Ranges)

Algorithmen

 

Konzeptbibliothek

Kernsprachen-Konzepte
Dasselbe DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
Objektkonzepte
Destructible Constructible DefaultConstructible	MoveConstructible CopyConstructible	Movable Copyable	Semiregular Regular
Vergleichskonzepte
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
Aufrufbare Konzepte
InvocableRegularInvocable	Predicate	Relation	StrictWeakOrder
URNG-Konzept
UniformRandomNumberGenerator

 

Definiert in Header <experimental/ranges/concepts>
template< class T > Konzept bool MoveConstructible =     Constructible<T, T> && ConvertibleTo<T, T>;		(Ranges TS)

Das Konzept MoveConstructible ist erfüllt, wenn T ein Referenztyp ist, oder wenn es ein Objekttyp ist, dessen Objekt aus einem Rvalue dieses Typs in beiden Initialisierungskontexten (direkte und Kopierinitialisierung) mit den üblichen Semantiken konstruiert werden kann.

Genauer gesagt, wenn T ein Objekttyp ist, dann ist MoveConstructible<T> nur erfüllt, wenn gegeben

• rv, ein Rvalue vom Typ T, und
• u2, ein von rv verschiedenes Objekt vom Typ T, das gleich rv ist,

die folgenden Bedingungen erfüllt sind

• Nach der Definition T u = rv;, ist u gleich u2;
• T{rv} ist gleich u2; und
• Wenn T nicht const-qualifiziert ist, dann ist der resultierende Zustand von rv (nachdem die Definition/der Ausdruck in einem der obigen Punkte ausgewertet wurde) gültig, aber nicht spezifiziert; andernfalls ist er unverändert.

Siehe auch

is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11)

prüft, ob ein Typ aus einer rvalue-Referenz konstruiert werden kann (Klassenvorlage)