泛型函子是有用的类,它提供了一种便捷的方法来处理具有不同参数列表的函数。然而,访问这些类中函数指针的参数类型可能是一个挑战。
考虑以下函子类:
<code class="cpp">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...); } };</code>
虽然您可以轻松访问operator()方法中的args...使用了递归“剥离”函数,在构造函数中获取参数类型更加复杂。
为了解决这个问题,可以实现一个function_traits类:
<code class="cpp">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; }; };</code>
通过此类,您可以确定函数指针的参数类型、返回类型和参数数量。
以下代码演示了功能:
<code class="cpp">struct R {}; struct A {}; struct B {}; void main() { typedef std::function<R(A, B)> fun; cout << std::is_same<R, function_traits<fun>::result_type>::value << endl; cout << std::is_same<A, function_traits<fun>::arg<0>::type>::value << endl; cout << std::is_same<B, function_traits<fun>::arg<1>::type>::value << endl; }</code>
以上是如何检索可变参数模板类中函数指针的参数类型?的详细内容。更多信息请关注PHP中文网其他相关文章!