std::move_constructible

 

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

 

Konzeptbibliothek

Kernsprachen-Konzepte same_as (C++20) derived_from (C++20) convertible_to (C++20) common_reference_with (C++20) common_with (C++20) integral (C++20) signed_integral (C++20) unsigned_integral (C++20) floating_point (C++20) swappableswappable_with (C++20)(C++20) destructible (C++20) constructible_from (C++20) default_initializable (C++20)   move_constructible (C++20) copy_constructible (C++20) assignable_from (C++20)

Vergleichskonzepte equality_comparableequality_comparable_with (C++20)(C++20) totally_orderedtotally_ordered_with (C++20)(C++20) Objektkonzepte movable (C++20) copyable (C++20) semiregular (C++20) regular (C++20) Aufrufbare Konzepte invocableregular_invocable (C++20)(C++20) predicate (C++20) relation (C++20) equivalence_relation (C++20) strict_weak_order (C++20)

Exposition-only Konzepte boolean-testable  (C++20)

 

Definiert in der Header-Datei <concepts>
template< class T > concept move_constructible = std::constructible_from<T, T> && std::convertible_to<T, T>;		(seit C++20)

Das Konzept move_constructible ist erfüllt, wenn T ein Referenztyp ist oder wenn es ein Objekttyp ist, bei dem ein Objekt dieses Typs aus einem rvalue dieses Typs in direkten und Kopierinitialisierungskontexten mit den üblichen Semantiken konstruiert werden kann.

Semantische Anforderungen

Wenn T ein Objekttyp ist, dann wird move_constructible<T> nur dann modelliert, wenn Folgendes gegeben ist:

• rv, ein rvalue vom Typ T, und
• u2, ein von rv unterschiedenes 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 undefiniert; andernfalls ist er unverändert.

Referenzen

• C++23 Standard (ISO/IEC 14882:2024)

• 18.4.13 Konzept move_constructible [concept.moveconstructible]

• C++20 Standard (ISO/IEC 14882:2020)

• 18.4.13 Konzept move_constructible [concept.moveconstructible]

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)