C++ benannte Anforderungen: Callable

 

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

 

C++ benannte Anforderungen

Basis DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible Typeneigenschaften ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType Bibliothekweit BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) Allocator FunctionObject Callable Predicate BinaryPredicate Compare

Container Container ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   Container-Element DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) Iterator LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) Stream-I/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction Formatters BasicFormatter (C++20) Formatter (C++20)

Zufallszahlen SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) Concurrency BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) Bereiche (Ranges) RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) Mehrdimensionale Ansicht LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) Sonstiges CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

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

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

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 in einem nicht ausgewerteten Kontext wohlgeformt.

Anmerkungen

Zeiger auf Datenmember sind Callable, auch wenn keine Funktionsaufrufe stattfinden.

Standardbibliothek

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

Funktion (C++11)	kopierfähiger Wrapper für jedes kopierkonstruierbare aufrufbare Objekt (Klassen-Template)
move_only_function (C++23)	Move-only-Wrapper für jedes aufrufbare Objekt, das Qualifizierer in einer gegebenen Aufrufsignatur unterstützt (Klassen-Template)
copyable_function (C++26)	kopierfähiger Wrapper für jedes kopierkonstruierbare aufrufbare Objekt, das Qualifizierer in einer gegebenen Aufrufsignatur unterstützt (Klassen-Template)
function_ref (C++26)	nicht-besitzender Wrapper für jedes aufrufbare Objekt (Klassen-Template)
bind (C++11)	bindet ein oder mehrere Argumente an ein Funktions-Objekt (Funktions-Template)
bind_frontbind_back (C++20)(C++23)	bindet eine variable Anzahl von Argumenten, in Reihenfolge, an ein Funktions-Objekt (Funktions-Template)
reference_wrapper (C++11)	CopyConstructible und CopyAssignable Referenz-Wrapper (Klassen-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)
thread (C++11)	verwaltet einen separaten Thread (Klasse)
jthread (C++20)	std::thread mit Unterstützung für automatische Wiederaufnahme und Abbruch (Klasse)
call_once (C++11)	ruft eine Funktion nur einmal auf, auch wenn sie von mehreren Threads aufgerufen wird (Funktionsvorlage)
async (C++11)	führt eine Funktion asynchron aus (potenziell in einem neuen Thread) und gibt ein std::future zurück, das das Ergebnis enthalten wird (Funktionsvorlage)
packaged_task (C++11)	paketiert eine Funktion, um ihren Rückgabewert zur asynchronen Abfrage zu speichern (Klassenvorlage)

Siehe auch

is_invocableis_invocable_ris_nothrow_invocableis_nothrow_invocable_r (C++17)	prüft, ob ein Typ mit den gegebenen Argumenttypen aufgerufen werden kann (als ob durch std::invoke) (Klassenvorlage)
invocableregular_invocable (C++20)	gibt an, dass ein aufrufbarer Typ mit einem gegebenen Satz von Argumenttypen aufgerufen werden kann (Konzept)
invokeinvoke_r (C++17)(C++23)	ruft jedes Callable-Objekt mit den angegebenen Argumenten auf und optionaler Angabe des Rückgabetyps(seit C++23) (Funktions-Template)