std::experimental::ranges::CopyConstructible

 

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 > concept bool CopyConstructible =     MoveConstructible<T> &&     Constructible<T, T&> && ConvertibleTo<T&, T> &&     Constructible<T, const T&> && ConvertibleTo<const T&, T> &&     Constructible<T, const T> && ConvertibleTo<const T, T>;		(Ranges TS)

Das Konzept CopyConstructible ist erfüllt, wenn T ein Lvalue-Referenztyp ist oder wenn es sich um einen MoveConstructible Objekttyp handelt, bei dem ein Objekt dieses Typs aus einem (möglicherweise const) Lvalue oder const Rvalue dieses Typs in direkten und Kopierinitialisierungskontexten mit den üblichen Semantiken konstruiert werden kann (eine Kopie wird konstruiert, wobei die Quelle unverändert bleibt).

Genauer gesagt, wenn T ein Objekttyp ist, dann ist CopyConstructible<T> nur dann erfüllt, wenn für

• v, ein Lvalue vom Typ (möglicherweise const) T oder ein Rvalue vom Typ const T,

die folgenden Bedingungen erfüllt sind

• Nach der Definition T u = v;, gilt u gleich v;
• T{v} ist gleich v.

Siehe auch

is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)

prüft, ob ein Typ einen Kopierkonstruktor hat (Klassenvorlage)