Jak uzyskać typy argumentów dla wskaźnika funkcji w klasie szablonu variadic?

Question

ten jest kontynuacją tego problemu: Generic functor for functions with any argument list

mam tej klasy funktora (pełny kod patrz link powyżej):

template<typename... ARGS> 
class Foo 
{ 
    std::function<void(ARGS...)> m_f; 
    public: 
    Foo(std::function<void(ARGS...)> f) : m_f(f) {} 
    void operator()(ARGS... args) const { m_f(args...); } 
}; 

W operatora() można uzyskać dostęp z łatwością args ... funkcja rekursywnego "obierania" opisana tutaj http://www2.research.att.com/~bs/C++0xFAQ.html#variadic-templates

Mój problem: chcę uzyskać dostęp do typów argumentów f, tj. ARGS ..., w konstruktorze. Oczywiście nie mogę uzyskać dostępu do wartości, ponieważ do tej pory ich nie ma, ale lista typów argumentów jest w jakiś sposób pochowana w f, nieprawdaż?

Answer 1

Możesz napisać function_traits klasę, jak pokazano poniżej, aby odkryć typy argumentów, rodzaj powrotu, a liczbę argumentów:

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; 
    }; 
}; 

kod Test:

struct R{}; 
struct A{}; 
struct B{}; 

int main() 
{ 
    typedef std::function<R(A,B)> fun; 

    std::cout << std::is_same<R, function_traits<fun>::result_type>::value << std::endl; 
    std::cout << std::is_same<A, function_traits<fun>::arg<0>::type>::value << std::endl; 
    std::cout << std::is_same<B, function_traits<fun>::arg<1>::type>::value << std::endl; 
} 

Demo: http://ideone.com/YeN29