2

我使用以下代码来检测给定函数的长参数。

所以,给定:

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

所以,我有两个问题:

a) 上面的代码有什么问题?

b)是否有可能以任何其他方式/方式做到这一点?

4

3 回答 3

5
#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");
}
于 2012-11-30T14:26:01.410 回答
0

这对我有用:

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

对于解构,请参见例如abi::__cxa_demangle

于 2012-11-30T13:15:49.103 回答
0
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;
}
于 2012-11-30T13:35:24.277 回答