std::invocable, std::regular_invocable

 

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

 

Konzeptbibliothek

Kernsprachen-Konzepte same_as (C++20) derived_from (C++20) convertible_to (C++20) common_reference_with (C++20) common_with (C++20) integral (C++20) signed_integral (C++20) unsigned_integral (C++20) floating_point (C++20) swappableswappable_with (C++20)(C++20) destructible (C++20) constructible_from (C++20) default_initializable (C++20)   move_constructible (C++20) copy_constructible (C++20) assignable_from (C++20)

Vergleichskonzepte equality_comparableequality_comparable_with (C++20)(C++20) totally_orderedtotally_ordered_with (C++20)(C++20) Objektkonzepte movable (C++20) copyable (C++20) semiregular (C++20) regular (C++20) Aufrufbare Konzepte invocableregular_invocable (C++20)(C++20) predicate (C++20) relation (C++20) equivalence_relation (C++20) strict_weak_order (C++20)

Exposition-only Konzepte boolean-testable  (C++20)

 

Definiert in der Header-Datei <concepts>
template< class F, class... Args > concept invocable =     requires(F&& f, Args&&... args) {         std::invoke(std::forward<F>(f), std::forward<Args>(args)...);             /* nicht gleichheitserhaltend sein müssen */     };		(seit C++20)
template< class F, class... Args > concept regular_invocable = std::invocable<F, Args...>;		(seit C++20)

Das Konzept invocable spezifiziert, dass ein aufrufbarer Typ F mit einer Menge von Argumenten Args... mithilfe der Funktions-Template std::invoke aufgerufen werden kann.

Das Konzept regular_invocable erweitert das Konzept invocable, indem es verlangt, dass der invoke-Ausdruck gleichheitserhaltend ist und weder das Funktionsobjekt noch die Argumente modifiziert.

Gleichheitserhaltung

Ausdrücke, die in requires-Ausdrücken der Standardbibliothekskonzepte deklariert sind, müssen gleichheitserhaltend sein (sofern nicht anders angegeben).

Anmerkungen

Die Unterscheidung zwischen invocable und regular_invocable ist rein semantischer Natur.

Ein Zufallszahlengenerator kann invocable erfüllen, aber nicht regular_invocable (komische Ausnahmen unberücksichtigt).

Referenzen

• C++23 Standard (ISO/IEC 14882:2024)

• 18.7.2 Konzept invocable [concept.invocable]

• 18.7.3 Konzept regular_invocable [concept.regularinvocable]

• C++20 Standard (ISO/IEC 14882:2020)

• 18.7.2 Konzept invocable [concept.invocable]

• 18.7.3 Konzept regular_invocable [concept.regularinvocable]

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)

Externe Links

Ein Witz-Beispiel eines Zufallszahlengenerators, der sowohl invocable als auch regular_invocable erfüllt.