如何检索可变参数模板类中函数指针的参数类型？

在可变参数模板类中检索函数指针的参数类型

泛型函子是有用的类，它提供了一种便捷的方法来处理具有不同参数列表的函数。然而，访问这些类中函数指针的参数类型可能是一个挑战。

解决方案

考虑以下函子类：

<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中文网其他相关文章！