std::is_invocable, std::is_invocable_r, std::is_nothrow_invocable, std::is_nothrow_invocable_r

 

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 Fn, class... ArgTypes > struct is_invocable;	(1)	(seit C++17)
template< class R, class Fn, class... ArgTypes > struct is_invocable_r;	(2)	(seit C++17)
template< class Fn, class... ArgTypes > struct is_nothrow_invocable;	(3)	(seit C++17)
template< class R, class Fn, class... ArgTypes > struct is_nothrow_invocable_r;	(4)	(seit C++17)

1) Bestimmt, ob INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) als unevaluierter Operand wohlgeformt ist.

2) Bestimmt, ob INVOKE<R>(std::declval<Fn>(), std::declval<ArgTypes>()...) als unevaluierter Operand wohlgeformt ist.

3) Bestimmt, ob INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) als unevaluierter Operand wohlgeformt ist und bekanntermaßen keine Ausnahmen auslöst.

4) Bestimmt, ob INVOKE<R>(std::declval<Fn>(), std::declval<ArgTypes>()...) als unevaluierter Operand wohlgeformt ist und bekanntermaßen keine Ausnahmen auslöst.

Wenn Fn, R oder ein Typ im Parameter-Pack ArgTypes kein vollständiger Typ, (möglicherweise cv-qualifiziertes) void oder ein Array unbekannter Größe ist, 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.

Hilfsvariablentemplates

Definiert in der Kopfdatei <type_traits>
template< class Fn, class... ArgTypes > inline constexpr bool is_invocable_v =     std::is_invocable<Fn, ArgTypes...>::value;	(1)	(seit C++17)
template< class R, class Fn, class... ArgTypes > inline constexpr bool is_invocable_r_v =     std::is_invocable_r<R, Fn, ArgTypes...>::value;	(2)	(seit C++17)
template< class Fn, class... ArgTypes > inline constexpr bool is_nothrow_invocable_v =     std::is_nothrow_invocable<Fn, ArgTypes...>::value;	(3)	(seit C++17)
template< class R, class Fn, class... ArgTypes > inline constexpr bool is_nothrow_invocable_r_v =     std::is_nothrow_invocable_r<R, Fn, ArgTypes...>::value;	(4)	(seit C++17)

Abgeleitet von std::integral_constant

Member-Konstanten

value [static]

true, wenn (für Überladung (1)) INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) als unevaluierter Operand wohlgeformt ist, sonst false (ö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>

Anmerkungen

Feature-Test-Makro	Wert	Std	Feature
__cpp_lib_is_invocable	201703L	(C++17)	std::is_invocable, std::invoke_result

Beispiele

Führen Sie diesen Code aus

#include <type_traits>
 
auto func2(char) -> int (*)()
{
    return nullptr;
}
 
int main()
{
    static_assert(std::is_invocable_v<int()>);
    static_assert(not std::is_invocable_v<int(), int>);
    static_assert(std::is_invocable_r_v<int, int()>);
    static_assert(not std::is_invocable_r_v<int*, int()>);
    static_assert(std::is_invocable_r_v<void, void(int), int>);
    static_assert(not std::is_invocable_r_v<void, void(int), void>);
    static_assert(std::is_invocable_r_v<int(*)(), decltype(func2), char>);
    static_assert(not std::is_invocable_r_v<int(*)(), decltype(func2), void>);
}

Siehe auch

invokeinvoke_r (C++17)(C++23)	ruft jedes Callable-Objekt mit gegebenen Argumenten auf und der Möglichkeit, den Rückgabetyp anzugeben(seit C++23) (Funktions-Template)
result_ofinvoke_result (C++11)(entfernt in C++20)(C++17)	leitet den Ergebnistyp der Invokation eines aufrufbaren Objekts mit einer Reihe von Argumenten ab (Klassenvorlage)
declval (C++11)	erhält eine Referenz auf ein Objekt des Typ-Template-Arguments zur Verwendung in einem nicht-ausgewerteten Kontext (Funktionsvorlage)
invocableregular_invocable (C++20)	gibt an, dass ein aufrufbarer Typ mit einem gegebenen Satz von Argumenttypen aufgerufen werden kann (Konzept)