런타임시 기능이있는 유형 목록 작성

Question

유형이 있습니다. 해당 목록의 각 유형에 함수를 호출 한 결과와 함께 튜플을 작성한 다음이를 다른 함수에 인수로 사용하고 싶습니다. 이 같은 뭔가 :

template<typename F> 
struct function_traits; 

template<typename T, typename R, typename... Args> 
struct function_traits<R(T::*)(Args...) const> { 
    using return_type = R; 
    using param_types = std::tuple<Args...>; 
}; 

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

template <typename T> 
T* get_arg(int id) 
{ 
    // Actual implementation omitted. Uses the id parameter to 
    // do a lookup into a table and return an existing instance 
    // of type T. 
    return new T(); 
} 

template <typename Func> 
void call_func(Func&& func, int id) 
{ 
    using param_types = function_traits<Func>::param_types>; 

    func(*get_arg<param_types>(id)...); // <--- Problem is this line 
} 

call_func([](int& a, char& b) { }, 3); 

문제는 func(*get_arg<param_types>(id)...); 실제로 param_types 때문에 컴파일되지 않는다는 것입니다 튜플이 아닌 매개 변수 팩입니다. 컴파일러에서 "확장 할 수있는 매개 변수 팩이 없습니다"라는 오류가 발생합니다. 내가 겪었 으면 좋겠던 점은 그 라인이 다음으로 확장되는 것입니다 :

func(*get_arg<int>(id), *get_arg<char>(id)); 

그리고 임의의 수의 인수에 대해 작업 할 수 있습니다. 그 결과를 얻을 수있는 방법이 있습니까?

이 질문은 유사하지만 자체적으로 제 문제를 해결하지는 않습니다 : "unpacking" a tuple to call a matching function pointer. 형식 목록이 있고 거기에서 함수 인수로 사용할 값 목록을 생성하려고합니다. 내가 값의 목록을 가지고 있다면 그것들을 확장 할 수 있고 그 질문에 설명 된대로 함수를 호출 할 수 있지만 나는 그렇지 않다.

Answer 1

원하는 내용이 확실하지 않습니다. 당신이 헬퍼 구조체의 사용 및 C++ 14 컴파일러를 줄 경우

나는했습니다

..., call_func() 내부 params_type의 매개 변수 팩을 확장하는 방법을 알고 있지만하지 않습니다 반환 유형에 대한 지원과 함께 다음 예제를 준비했습니다.

#include <tuple> 

template<typename F> 
struct function_traits; 

template<typename T, typename R, typename... Args> 
struct function_traits<R(T::*)(Args...) const> { 
    using return_type = R; 
    using param_types = std::tuple<Args...>; 
}; 

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

template <typename T, typename ... Args> 
T get_arg (std::tuple<Args...> const & tpl) 
{ return std::get<typename std::decay<T>::type>(tpl); } 

template <typename ...> 
struct call_func_helper; 

template <typename Func, typename Ret, typename ... Args> 
struct call_func_helper<Func, Ret, std::tuple<Args...>> 
{ 
    template <typename T, typename R = Ret> 
     static typename std::enable_if<false == std::is_same<void, R>::value, R>::type 
       fn (Func const & func, T const & t) 
     { return func(get_arg<Args>(t)...); } 

    template <typename T, typename R = Ret> 
     static typename std::enable_if<true == std::is_same<void, R>::value, R>::type 
       fn (Func const & func, T const & t) 
     { func(get_arg<Args>(t)...); } 
}; 

template <typename Func, 
      typename T, 
      typename R = typename function_traits<Func>::return_type> 
R call_func (Func const & func, T const & id) 
{ 
    using param_types = typename function_traits<Func>::param_types; 

    return call_func_helper<Func, R, param_types>::fn(func, id); 
} 

int main() 
{ 
    call_func([](int const & a, char const & b) { }, std::make_tuple(3, '6')); 

    return 0; 
} 

희망이 있습니다.