如何獲取`std :: function`的參數個數？

Question

有可能獲得std::function的參數個數嗎？像NumOfArgument<...>::value。

例如，NumOfArgument<function<int(int, int)> >::value應該爲2

Answer 1

我覺得std::function本身並沒有提供該功能。但是你可以自己實現它：

template<typename T> 
struct count_arg; 

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

測試代碼：

typedef std::function<int(int, int)> fun; 
std::cout << count_arg<fun>::value << std::endl; //should print 2 

看到這個：Online demo

---

同樣，你可以將更多的功能集成到這一點，因爲：

template<typename T> 
struct function_traits;  //renamed it! 

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

現在你可以得到每個參數類型，使用常量指標，如：

std::cout << typeid(function_traits<fun>::arg<0>::type).name() << std::endl; 
std::cout << typeid(function_traits<fun>::arg<1>::type).name() << std::endl; 
std::cout << typeid(function_traits<fun>::arg<2>::type).name() << std::endl; 

Working demo

它輸出類型的錯位名！