C++ named requirements: Callable

Ein Callable -Typ ist ein Typ, für den die INVOKE - und INVOKE<R> -Operationen (verwendet z.B. von std::function , std::bind und std::thread::thread ) anwendbar sind.

INVOKE kann explizit mit der Bibliotheksfunktion std::invoke ausgeführt werden.	(seit C++17)
INVOKE<R> kann explizit mit der Bibliotheksfunktion std::invoke_r ausgeführt werden.	(seit C++23)

Inhaltsverzeichnis 1 Anforderungen 2 Anmerkungen 3 Standardbibliothek 4 Siehe auch

Anforderungen

Der Typ T erfüllt Callable wenn

Gegeben

• f , ein Objekt vom Typ T ,
• ArgTypes , geeignete Liste von Argumenttypen,
• R , geeigneter Rückgabetyp.

Die folgenden Ausdrücke müssen gültig sein:

Ausdruck	Anforderungen
INVOKE<R> ( f, std:: declval < ArgTypes > ( ) ... )	Der Ausdruck ist wohlgeformt in einem nicht-ausgewerteten Kontext.

Hinweise

Zeiger auf Datenelemente sind Aufrufbar , obwohl keine Funktionsaufrufe stattfinden.

Standardbibliothek

Zusätzlich akzeptieren die folgenden Standardbibliothekseinrichtungen jeden Callable -Typ (nicht nur FunctionObject ):

function (C++11)	kopierbarer Wrapper für jedes kopierkonstruierbare aufrufbare Objekt (Klassentemplate)
move_only_function (C++23)	nur-verschiebbarer Wrapper für jedes aufrufbare Objekt, das Qualifier in einer gegebenen Aufrufsignatur unterstützt (Klassentemplate)
copyable_function (C++26)	kopierbarer Wrapper für jedes kopierkonstruierbare aufrufbare Objekt, das Qualifier in einer gegebenen Aufrufsignatur unterstützt (Klassentemplate)
function_ref (C++26)	nicht-besitzender Wrapper für jedes aufrufbare Objekt (Klassentemplate)
bind (C++11)	bindet ein oder mehrere Argumente an ein Funktionsobjekt (Funktionstemplate)
bind_front bind_back (C++20) (C++23)	bindet eine variable Anzahl von Argumenten in Reihenfolge an ein Funktionsobjekt (Funktionstemplate)
reference_wrapper (C++11)	CopyConstructible und CopyAssignable Referenz-Wrapper (Klassentemplate)
result_of invoke_result (C++11) (removed in C++20) (C++17)	leitet den Ergebnistyp des Aufrufs eines aufrufbaren Objekts mit einer Menge von Argumenten ab (Klassentemplate)
thread (C++11)	verwaltet einen separaten Thread (Klasse)
jthread (C++20)	std::thread mit Unterstützung für automatisches Join und Abbruch (Klasse)
call_once (C++11)	ruft eine Funktion nur einmal auf, selbst wenn sie von mehreren Threads aufgerufen wird (Funktionstemplate)
async (C++11)	führt eine Funktion asynchron aus (möglicherweise in einem neuen Thread) und gibt eine std::future zurück, die das Ergebnis halten wird (Funktionstemplate)
packaged_task (C++11)	verpackt eine Funktion, um ihren Rückgabewert für asynchronen Abruf zu speichern (Klassentemplate)

Siehe auch

is_invocable is_invocable_r is_nothrow_invocable is_nothrow_invocable_r (C++17)	prüft, ob ein Typ mit den gegebenen Argumenttypen aufgerufen werden kann (als ob durch std::invoke ) (Klassentemplate)
invocable regular_invocable (C++20)	spezifiziert, dass ein aufrufbarer Typ mit einem gegebenen Satz von Argumenttypen aufgerufen werden kann (Konzept)
invoke invoke_r (C++17) (C++23)	ruft jedes Callable -Objekt mit gegebenen Argumenten auf mit der Möglichkeit, den Rückgabetyp zu spezifizieren (seit C++23) (Funktionstemplate)