C에서 람다 표현식의 매개변수 및 반환 유형을 검색하려면 어떻게 해야 합니까?

람다의 매개변수 및 반환 유형 검색

람다 표현식에서 매개변수 및 반환 유형을 결정하는 것은 람다를 인수로 받아들이는 함수에 필수적일 수 있습니다. 이 작업의 타당성과 이를 달성하기 위한 접근 방식을 살펴보겠습니다.

람다 특성

람다의 매개변수와 반환 유형을 얻으려면 다음을 정의하는 것이 좋습니다. 다음과 같이 사용할 수 있는lambda_traits 템플릿:

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>

Lambda_traits, 함수는 인수로 받은 람다의 매개변수 및 반환 유형을 검사하여 다음과 같은 고급 기능을 활성화할 수 있습니다.

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>

decltype을 사용하여 매개변수 유형 검사

다행히도, 람다의 연산자()의 decltype을 사용하여 매개변수 유형을 검색할 수 있습니다. 이 기술은 다음 function_traits 구현에서 우아하게 보여집니다.

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

일반 람다의 경우 function_traits는 해당 연산자()의 서명을 직접 사용합니다. 멤버 함수 포인터의 경우 arity, result_type 및 인수 유형을 전문적으로 제공합니다.

사용 예

다음 예를 고려하세요.

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>

이 예에서는 function_traits를 활용하여 람다의 예상 매개변수와 반환 유형을 확인하는 방법을 보여줍니다. 이 접근 방식은 [](auto x) {}와 같은 일반 람다에는 작동하지 않을 수 있습니다.

위 내용은 C에서 람다 표현식의 매개변수 및 반환 유형을 검색하려면 어떻게 해야 합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!