Question

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

所以，给定：

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）是否可以通过其他方式/方式进行此操作？

Answer 1

#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");
}

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

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

检测功能参数类型

3 个答案: