std::experimental::invocation_type, std::experimental::raw_invocation_type

 

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

 

Bibliotheksgrundlagen

experimental::optional

experimental::any

experimental::basic_string_view

experimental::sample

experimental::shared_ptr

experimental::weak_ptr

experimental::apply

experimental::invocation_typeexperimental::raw_invocation_type

experimental::search

experimental::default_searcherexperimental::make_default_searcher

experimental::boyer_moore_searcherexperimental::make_boyer_moore_searcher

experimental::boyer_moore_horspool_searcherexperimental::make_boyer_moore_horspool_searcher

Typlöschungsfähige und polymorphe Allokatoren

Variablentemplates für Typmerkmale

 

Definiert im Header <experimental/type_traits>
template< class > struct raw_invocation_type; // nicht definiert template< class Fn, class... ArgTypes > struct raw_invocation_type<Fn(ArgTypes...)>;	(1)	(library fundamentals TS)
template< class > struct invocation_type; // nicht definiert template< class Fn, class... ArgTypes > struct invocation_type<Fn(ArgTypes...)>;	(2)	(library fundamentals TS)

Berechnet die Aufrufparameter, wenn Fn mit den Argumenten ArgTypes... aufgerufen wird, wie in INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...), wobei INVOKE die in Callable definierte Operation ist.

Die Aufrufparameter des Ausdrucks INVOKE(f, t1, t2, ..., tN) sind wie folgt definiert, wobei T1 der (möglicherweise cv-qualifizierte) Typ von t1 und U1 T1& ist, wenn t1 ein lvalue ist, und andernfalls T1&&.

• Wenn f ein Zeiger auf eine Memberfunktion einer Klasse T ist, dann sind die Aufrufparameter U1 gefolgt von den Parametern von f, die von t2, ..., tN übereinstimmen.
• Wenn N == 1 und f ein Zeiger auf ein Memberdatum einer Klasse T ist, dann ist der Aufrufparameter U1.
• Wenn f ein Objekt vom Klassentyp ist, sind die Aufrufparameter die Parameter, die t1, ..., tN der besten geeigneten Funktion für die Argumente t1, ..., tN unter den Funktionsaufrufoperatoren und Surrogat-Aufruffunktionen von f entsprechen.
• In allen anderen Fällen sind die Aufrufparameter die Parameter von f, die t1, ..., tN entsprechen.

Wenn ein Argument tI mit einer Ellipse in der Parameterliste der Funktion übereinstimmt, ist der entsprechende Aufrufparameter das Ergebnis der Anwendung der Standardargumentbeförderungen auf tI.

Fn und alle Typen in ArgTypes können beliebige vollständige Typen, Arrays unbekannter Größe oder (möglicherweise cv-qualifizierte) void sein.

Membertypen

Mitgliedertyp	Definition
raw_invocation_type<Fn(ArgTypes...)>::type	R(T1, T2, ...), wobei R ist std::result_of_t<Fn(ArgTypes...)>. T1, T2, ... sind die Aufrufparameter von INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) wie oben definiert. Nur definiert, wenn Fn im nicht-ausgewerteten Kontext mit den Argumenten ArgTypes... aufgerufen werden kann.
invocation_type<Fn(ArgTypes...)>::type	R(U1, U2, ...), wobei R ist std::result_of_t<Fn(ArgTypes...)>. T1, T2, ... sind die Aufrufparameter von INVOKE(std::declval<Fn>(), std::declval<ArgTypes>()...) wie oben definiert. A1, A2, ... bezeichnet ArgTypes... Ui ist std::decay_t<Ai>, wenn std::declval<Ai>() ein rvalue ist, und Ti andernfalls. Nur definiert, wenn Fn im nicht-ausgewerteten Kontext mit den Argumenten ArgTypes... aufgerufen werden kann.

Hilfstypen

template< class T > using raw_invocation_type_t = typename raw_invocation_type<T>::type;		(library fundamentals TS)
template< class T > using invocation_type_t = typename invocation_type<T>::type;		(library fundamentals TS)

Siehe auch

C++ Dokumentation für Reflection TS