std:: invocable, std:: regular_invocable

Défini dans l'en-tête <concepts>
template < class F, class ... Args > concept invocable = requires ( F && f, Args && ... args ) { std:: invoke ( std:: forward < F > ( f ) , std:: forward < Args > ( args ) ... ) ; /* non requis d'être préservateur d'égalité */ } ;		(depuis C++20)
template < class F, class ... Args > concept regular_invocable = std :: invocable < F, Args... > ;		(depuis C++20)

Le concept invocable spécifie qu'un type appelable F peut être appelé avec un ensemble d'arguments Args... en utilisant le modèle de fonction std::invoke .

Le concept regular_invocable complète le concept invocable en exigeant que l'expression invoke soit préservatrice d'égalité et ne modifie ni l'objet fonction ni les arguments.

Table des matières 1 Préservation de l'égalité 2 Notes 3 Références 4 Voir aussi 5 Liens externes

Préservation de l'égalité

Les expressions déclarées dans les requires expressions des concepts de la bibliothèque standard doivent être equality-preserving (sauf indication contraire).

Notes

La distinction entre invocable et regular_invocable est purement sémantique.

Un générateur de nombres aléatoires peut satisfaire invocable mais ne peut pas satisfaire regular_invocable ( les générateurs comiques exclus).

Références

Voir aussi

is_invocable is_invocable_r is_nothrow_invocable is_nothrow_invocable_r (C++17)

vérifie si un type peut être invoqué (comme par std::invoke ) avec les types d'arguments donnés (modèle de classe)

Liens externes

Un exemple humoristique d'un générateur de nombres aléatoires qui satisfait à la fois invocable et regular_invocable .