檢測功能參數類型

Question

我用下面的代碼去檢測給定函數的長參數。

因此，考慮到：

int f(int *) { return 0; } 

我想提取int *。

這裏是我的嘗試：

template<class T, class U> struct SingleArg { 
    typedef U MyArg; 
}; 

template<class T, class U> SingleArg<T, U> fT(T (*p)(U)); 

int main() { 
    std::result_of<decltype(fT(f))>::type::MyArg t; 
} 

然而，這並不工作，GCC 4.6提供了錯誤

> error: std::result_of<SingleArg<int, int*> >::type has not been 
> declared 

所以，我有兩個問題：

一）什麼是錯的上面的代碼？

b）是否有可能以任何其他方式做到這一點？

Answer 1

int f(int *) { return 0; } 

template<class T, class U> struct SingleArg { 
    typedef U MyArg; 
}; 


template<typename T> 
struct the_same_type 
{ 
typedef T type; 
}; 

template<class T, class U> SingleArg<T, U> fT(T (*p)(U)); 

int main() { 

    int k; 
    the_same_type<decltype(fT(f))>::type::MyArg t= &k; 
    return 0; 
} 

Answer 2

這個工作對我來說：

// if you want the type 
typedef decltype(fT(f))::MyArg theType; 

// if you want the name (may need demangling depending on your compiler) 
std::cout << typeid(decltype(fT(f))::MyArg).name() << std::endl; 

對於demangling，例如見abi::__cxa_demangle。

Answer 3

#include <type_traits> 

template <typename Function> 
struct arg_type; 

template <class Ret, class Arg> 
struct arg_type<Ret(Arg)> { 
    typedef Arg type; 
}; 


int f(int *) { 
    return 0; 
}; 

int main(int, char**) { 
    static_assert(std::is_same<int*, arg_type<decltype(f)>::type>::value, "different types"); 
}