std:: is_copy_constructible, std:: is_trivially_copy_constructible, std:: is_nothrow_copy_constructible

Wenn T kein vollständiger Typ ist, (möglicherweise cv-qualifiziert) void , oder ein Array unbekannter Größe, ist das Verhalten undefiniert.

Wenn eine Instanziierung einer Vorlage oben direkt oder indirekt von einem unvollständigen Typ abhängt und diese Instanziierung ein anderes Ergebnis liefern könnte, wenn dieser Typ hypothetisch vervollständigt würde, ist das Verhalten undefiniert.

Wenn das Programm Spezialisierungen für irgendeine der auf dieser Seite beschriebenen Templates hinzufügt, ist das Verhalten undefiniert.

Hilfsvariablen-Templates

Mögliche Implementierung

template<class T>
struct is_copy_constructible :
    std::is_constructible<T, typename std::add_lvalue_reference<
        typename std::add_const<T>::type>::type> {};
template<class T>
struct is_trivially_copy_constructible :
    std::is_trivially_constructible<T, typename std::add_lvalue_reference<
        typename std::add_const<T>::type>::type> {};
template<class T>
struct is_nothrow_copy_constructible :
    std::is_nothrow_constructible<T, typename std::add_lvalue_reference<
        typename std::add_const<T>::type>::type> {};

`-Tags wurde gemäß den Anforderungen nicht übersetzt, da er:
- C++-spezifische Begriffe enthält
- Innerhalb von Code-Tags steht
- Technische Präzision erfordert
Die HTML-Struktur, Attribute und Formatierung bleiben vollständig erhalten.

Hinweise

In vielen Implementierungen überprüft is_nothrow_copy_constructible auch, ob der Destruktor wirft, da es effektiv noexcept ( T ( arg ) ) ist. Gleiches gilt für is_trivially_copy_constructible , das in diesen Implementierungen ebenfalls erfordert, dass der Destruktor trivial ist: GCC bug 51452 , LWG issue 2116 .

Beispiel

#include <string>
#include <type_traits>
struct S1
{
    std::string str; // Member hat einen nicht-trivialen Kopierkonstruktor
};
static_assert(std::is_copy_constructible_v<S1>);
static_assert(!std::is_trivially_copy_constructible_v<S1>);
struct S2
{
    int n;
    S2(const S2&) = default; // trivial und nicht-werfend
};
static_assert(std::is_trivially_copy_constructible_v<S2>);
static_assert(std::is_nothrow_copy_constructible_v<S2>);
struct S3
{
    S3(const S3&) = delete; // explizit gelöscht
};
static_assert(!std::is_copy_constructible_v<S3>);
struct S4
{
    S4(S4&) {}; // kann const nicht binden, daher nicht kopierkonstruierbar
};
static_assert(!std::is_copy_constructible_v<S4>);
int main() {}

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch