How Can I Retrieve the Parameter and Return Types of a Lambda Expression in C ?

Retrieving Parameter and Return Types of Lambdas

In lambda expressions, determining parameter and return types can be essential for functions accepting lambdas as arguments. Let's explore the feasibility of this task and the approach to achieve it.

Lambda Traits

To obtain the parameter and return types of a lambda, it is proposed to define a lambda_traits template that can be used as follows:

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

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

By leveraging lambda_traits, functions can introspect the parameter and return types of lambdas received as arguments, enabling advanced functionality like:

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> fun = lambda; //I want to do this!
   //...
}</r></tlambda></tlambda></typename>

Using decltype to Introspect Parameter Types

Fortunately, it is possible to retrieve parameter types using the decltype of the lambda's operator(). This technique is elegantly demonstrated in the following function_traits implementation:

template <typename t>
struct function_traits
    : public function_traits<decltype>
{};</decltype></typename>

For generic lambdas, function_traits directly uses the signature of their operator(). For member function pointers, it specializes and provides arity, result_type, and argument types.

Example Usage

Consider the following example:

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

    typedef function_traits<decltype> traits;

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

    return 0;
}</int></long></decltype>

This example illustrates how to utilize function_traits to verify the expected parameter and return types of a lambda. Note that this approach may not work for generic lambdas like [](auto x) {}.

The above is the detailed content of How Can I Retrieve the Parameter and Return Types of a Lambda Expression in C ?. For more information, please follow other related articles on the PHP Chinese website!