C++推导杆件函数参数

Question

我希望扩展此处描述的功能，但对于成员函数，在这种情况下的语法是什么？

此外，模板定义中的 （*） 是否取消引用函数指针，以便编译器可以推断模板参数？

任何意见将不胜感激！

谢谢

template <class F> struct ArgType;
template <class R, class T> 
struct ArgType<R(*)(T)> {
  typedef T type;
}; 
void f(int) {}
#include <type_traits>
#include <iostream>
int main() {
  // To prove
  std::cout << std::is_same< ArgType<decltype(&f)>::type, int >::value << 'n';
  // To use
  ArgType<decltype(&f)>::type a;
}

Answer 1

指针到成员看起来像Ret (Cls::*)(Args...) [cv-qualifiers] [ref-qualifiers] .因此，您可以扩展类以由此推导出第一种类型：

template <class F> struct ArgType;
template <typename Ret, typename Cls, typename T, typename... Args>
struct ArgType<Ret (Cls::*)(T, Args...)> {
    using type = T;
};

请注意，您可以通过编写一个元函数来使其更通用，该元函数为您提供第 n 个参数：

template <typename Ret, typename Cls, typename... Args>
struct ArgType<Ret (Cls::*)(Args...)> {
    
    template <size_t N>
    struct get_arg {
        using type = typename std::tuple_element<N,
                        std::tuple<Args...>>::type;
    };
};

所以ArgType<F>::arg<0>::type会是你想要的类型。