C의 가변 템플릿 클래스 내의 함수 포인터에서 인수 유형에 어떻게 액세스할 수 있습니까?

함수 포인터에 대한 가변 템플릿 클래스의 인수 유형에 액세스

모든 인수 목록이 있는 함수에 대한 일반 펑터를 만들기 위한 노력의 일환으로, 개발자는 클래스 생성자 내에서 함수 포인터의 인수 유형을 추출하려고 합니다.

다음 functor 클래스를 고려하세요.

<code class="cpp">template<typename... ARGS>
class Foo {
private:
    std::function<void(ARGS...)> m_f;
public:
    Foo(std::function<void(ARGS...)> f) : m_f(f) {}
    void operator()(ARGS... args) const { m_f(args...); }
};</code>

생성자 내에서 인수 유형에 액세스하려면 개발자는 다음을 사용합니다. Stroustrup이 C 11 FAQ에서 설명한 대로 인수 목록을 재귀적으로 "벗겨내는" 기술입니다. 그러나 인수 유형은 함수 포인터 f에서 쉽게 액세스할 수 없습니다.

function_traits 클래스를 사용하면 인수 유형, 반환 유형 및 함수 포인터와 연관된 인수 수를 검색하는 것이 가능해집니다.

<code class="cpp">template<typename T> 
struct function_traits;  

template<typename R, typename ...Args> 
struct function_traits<std::function<R(Args...)>> {
    static const size_t nargs = sizeof...(Args);

    typedef R result_type;

    template <size_t i>
    struct arg {
        typedef typename std::tuple_element<i, std::tuple<Args...>>::type type;
    };
};</code>

이 function_traits 클래스를 활용하여 개발자는 이제 functor 클래스 생성자 내에서 인수 유형을 검색할 수 있습니다.

<code class="cpp">template<typename... ARGS>
class Foo {
private:
    std::function<void(ARGS...)> m_f;
    std::tuple<typename function_traits<decltype(m_f)>::arg<0>::type...> m_arg_types;
public:
    Foo(std::function<void(ARGS...)> f) : m_f(f), m_arg_types(std::make_tuple(typename function_traits<decltype(m_f)>::arg<0>::type()...)) {}
    void operator()(ARGS... args) const { m_f(args...); }
};</code>

위 내용은 C의 가변 템플릿 클래스 내의 함수 포인터에서 인수 유형에 어떻게 액세스할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!