如何在可变参数模板类中获取函数指针的参数类型？

Question

这是这个问题的后续：Generic functor for functions with any argument list

我有这个函子类（完整代码见上面的链接）：

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

在operator() 中，我可以使用in Stroustrup's C++11 FAQ 所述的递归“剥离”函数轻松访问args...

我的问题是：我想在构造函数中访问 f 的参数类型，即ARGS...。显然我无法访问值，因为到目前为止还没有，但是参数类型列表不知何故被埋在f 中，不是吗？

Answer 1

你可以写function_traits类如下图，来发现参数类型、返回类型和参数个数：

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

测试代码：

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

演示：http://ideone.com/YeN29