Comment puis-je récupérer les types de paramètres et de retour d'une expression Lambda en C ?

Récupération des types de paramètres et de retour des Lambdas

Dans les expressions lambda, la détermination des types de paramètres et de retour peut être essentielle pour les fonctions acceptant les lambdas comme arguments. Explorons la faisabilité de cette tâche et l'approche pour y parvenir.

Traits Lambda

Pour obtenir le paramètre et les types de retour d'un lambda, il est proposé de définir un modèle lambda_traits qui peut être utilisé comme suit :

auto lambda = [](int i) { return long(i*10); };

lambda_traits<decltype(lambda)>::param_type i; //i should be int
lambda_traits<decltype(lambda)>::return_type l; //l should be long

En exploitant lambda_traits, les fonctions peut introspecter le paramètre et renvoyer les types de lambdas reçus comme arguments, permettant des fonctionnalités avancées telles que :

template<typename TLambda>
void f(TLambda lambda)
{
   typedef typename lambda_traits<TLambda>::param_type  P;
   typedef typename lambda_traits<TLambda>::return_type R;

   std::function<R(P)> fun = lambda; //I want to do this!
   //...
}

Utiliser decltype pour introspecter les types de paramètres

Heureusement, c'est possible pour récupérer les types de paramètres en utilisant le decltype de l'opérateur() du lambda. Cette technique est élégamment démontrée dans l'implémentation function_traits suivante :

template <typename T>
struct function_traits
    : public function_traits<decltype(&amp;T::operator())>
{};

Pour les lambdas génériques, function_traits utilise directement la signature de leur opérateur(). Pour les pointeurs de fonctions membres, il se spécialise et fournit des types d'arité, de type_résultat et d'argument.

Exemple d'utilisation

Considérez l'exemple suivant :

int main()
{
    auto lambda = [](int i) { return long(i*10); };

    typedef function_traits<decltype(lambda)> traits;

    static_assert(std::is_same<long, traits::result_type>::value, "err");
    static_assert(std::is_same<int, traits::arg<0>::type>::value, "err");

    return 0;
}

Cet exemple illustre comment utiliser function_traits pour vérifier le paramètre attendu et les types de retour d'un lambda. Notez que cette approche peut ne pas fonctionner pour les lambdas génériques comme [](auto x) {}.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!