std::is_swappable_with, std::is_swappable, std::is_nothrow_swappable_with, std::is_nothrow_swappable

 

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

 

Metaprogrammierungsbibliothek

Typmerkmale
Typkategorien is_void (C++11) is_null_pointer (C++11)(DR*) is_array (C++11) is_pointer (C++11) is_enum (C++11) is_union (C++11) is_class (C++11) is_function (C++11) is_reference (C++11)  is_object (C++11) is_scalar (C++11) is_compound (C++11) is_integral (C++11) is_floating_point (C++11)   is_fundamental (C++11) is_arithmetic (C++11) is_lvalue_reference (C++11) is_rvalue_reference (C++11) is_member_pointer (C++11) is_member_object_pointer (C++11) is_member_function_pointer (C++11) Typeneigenschaften is_const (C++11) is_volatile (C++11) is_empty (C++11) is_polymorphic (C++11) is_final (C++14) is_abstract (C++11) is_aggregate (C++17) is_implicit_lifetime (C++23) is_trivial (C++11)(deprecated in C++26) is_trivially_copyable (C++11) is_standard_layout (C++11) is_literal_type (C++11)(bis C++20*) is_pod (C++11)(veraltet in C++20) is_signed (C++11) is_unsigned (C++11) is_bounded_array (C++20) is_unbounded_array (C++20) is_scoped_enum (C++23) has_unique_object_representations (C++17) Typmerkmalskonstanten integral_constantbool_constanttrue_typefalse_type (C++11)(C++17)(C++11)(C++11) Metafunktionen conjunction (C++17) disjunction (C++17) negation (C++17)	Unterstützte Operationen is_constructibleis_trivially_constructibleis_nothrow_constructible (C++11)(C++11)(C++11) is_default_constructibleis_trivially_default_constructibleis_nothrow_default_constructible (C++11)(C++11)(C++11) is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11) is_move_constructibleis_trivially_move_constructibleis_nothrow_move_constructible (C++11)(C++11)(C++11) is_assignableis_trivially_assignableis_nothrow_assignable (C++11)(C++11)(C++11) is_copy_assignableis_trivially_copy_assignableis_nothrow_copy_assignable (C++11)(C++11)(C++11) is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11) is_destructibleis_trivially_destructibleis_nothrow_destructible (C++11)(C++11)(C++11) has_virtual_destructor (C++11) is_swappable_withis_swappableis_nothrow_swappable_withis_nothrow_swappable (C++17)(C++17)(C++17)(C++17) Beziehungen und Eigenschaftsabfragen is_same (C++11) is_convertibleis_nothrow_convertible (C++11)(C++20) is_layout_compatible (C++20) is_pointer_interconvertible_base_of (C++20) is_pointer_interconvertible_with_class (C++20)   is_corresponding_member (C++20) reference_constructs_from_temporary (C++23) reference_converts_from_temporary (C++23) is_base_of (C++11) is_virtual_base_of (C++26) alignment_of (C++11) rank (C++11) extent (C++11) is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)(C++17)(C++17)(C++17) Typmodifikationen remove_cvremove_constremove_volatile (C++11)(C++11)(C++11) add_cvadd_constadd_volatile (C++11)(C++11)(C++11) make_signed (C++11) make_unsigned (C++11) remove_reference (C++11) add_lvalue_referenceadd_rvalue_reference (C++11)(C++11) remove_pointer (C++11) add_pointer (C++11) remove_extent (C++11) remove_all_extents (C++11) Typentransformationen aligned_storage (C++11)(veraltet in C++23) aligned_union (C++11)(veraltet in C++23) decay (C++11) remove_cvref (C++20) result_ofinvoke_result (C++11)(bis C++20*)(C++17) Ternär (C++11) common_type (C++11) common_reference (C++20) underlying_type (C++11) type_identity (C++20) enable_if (C++11) void_t (C++17)
Rationale Arithmetik zur Compilezeit
Ganzzahlsequenzen zur Compilezeit
integer_sequence (C++14)

 

Definiert in der Kopfdatei <type_traits>
template< class T, class U > struct is_swappable_with;	(1)	(seit C++17)
template< class T > struct is_swappable;	(2)	(seit C++17)
template< class T, class U > struct is_nothrow_swappable_with;	(3)	(seit C++17)
template< class T > struct is_nothrow_swappable;	(4)	(seit C++17)

1) Wenn die Ausdrücke swap(std::declval<T>(), std::declval<U>()) und swap(std::declval<U>(), std::declval<T>()) in einem nicht ausgewerteten Kontext nach using std::swap; (siehe Swappable) wohlgeformt sind, liefert es die Mitgliedskonstante value gleich true. Andernfalls ist value false.

Zugriffsprüfungen erfolgen so, als ob aus einem Kontext, der von beiden Typen unabhängig ist.

3) Dasselbe wie (1), aber die Auswertung beider Ausdrücke aus (1) ist dafür bekannt, keine Ausnahmen auszulösen.

Typ-Trait	Der Wert der Mitgliedskonstante value
	T ist ein referenzierbarer Typ	T ist kein referenzierbarer Typ
(2)	std::is_swappable_with<T&, T&>::value	false
(4)	std::is_nothrow_swappable_with<T&, T&>::value

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

Wenn eine Instanziierung einer Vorlage davon 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 eine der auf dieser Seite beschriebenen Vorlagen hinzufügt, ist das Verhalten undefiniert.

Hilfsvariablen-Vorlagen

template< class T, class U > inline constexpr bool is_swappable_with_v = is_swappable_with<T, U>::value;		(seit C++17)
template< class T > inline constexpr bool is_swappable_v = is_swappable<T>::value;		(seit C++17)
template< class T, class U > inline constexpr bool is_nothrow_swappable_with_v =     is_nothrow_swappable_with<T, U>::value;		(seit C++17)
template< class T > inline constexpr bool is_nothrow_swappable_v =     is_nothrow_swappable<T>::value;		(seit C++17)

Abgeleitet von std::integral_constant

Member-Konstanten

value [static]

true, wenn T mit U vertauschbar ist, false andernfalls (öffentliche statische Member-Konstante)

Memberfunktionen

operator bool	konvertiert das Objekt zu bool, gibt value zurück (öffentliche Memberfunktion)
operator() (C++14)	gibt value zurück (öffentliche Memberfunktion)

Membertypen

Typ	Definition
value_type	bool
type	std::integral_constant<bool, value>

Hinweise

Dieser Trait prüft nichts außerhalb des unmittelbaren Kontexts der Swap-Ausdrücke: Wenn die Verwendung von T oder U Vorlagenspezialisierungen auslösen würde, die Generierung von implizit definierten speziellen Member-Funktionen usw. und diese Fehler haben, wird der tatsächliche Swap möglicherweise nicht kompiliert, auch wenn std::is_swappable_with<T, U>::value kompiliert und zu true ausgewertet wird.

Siehe auch

swap	tauscht die Werte von zwei Objekten (Funktionsvorlage)
is_move_assignableis_trivially_move_assignableis_nothrow_move_assignable (C++11)(C++11)(C++11)	prüft, ob ein Typ einen Verschiebezuweisungsoperator hat (Klassenvorlage)
swappableswappable_with (C++20)	gibt an, dass ein Typ vertauscht werden kann oder dass zwei Typen miteinander vertauscht werden können (Konzept)