如何在variadic模板類中獲取函數指針的參數類型？

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

在運營商（）我可以訪問ARGS ...輕鬆地與這裏描述的遞歸「剝皮」功能http://www2.research.att.com/~bs/C++0xFAQ.html#variadic-templates

我的問題是：我想在構造函數中訪問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