C++推导成员函数参数
C++ deduce member function parameters
我希望扩展描述的功能 here 但是对于成员函数,这种情况下的语法是什么?
此外,模板定义中的 (*) 是取消引用函数指针以便编译器可以推导出模板参数吗?
欢迎任何意见!
谢谢
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;
}
指向成员的指针看起来像 Ret (Cls::*)(Args...) [cv-qualifiers] [ref-qualifiers]
。所以你可以扩展你的 class 来推导出第一种类型:
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
就是您要寻找的类型。
我希望扩展描述的功能 here 但是对于成员函数,这种情况下的语法是什么?
此外,模板定义中的 (*) 是取消引用函数指针以便编译器可以推导出模板参数吗?
欢迎任何意见!
谢谢
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;
}
指向成员的指针看起来像 Ret (Cls::*)(Args...) [cv-qualifiers] [ref-qualifiers]
。所以你可以扩展你的 class 来推导出第一种类型:
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
就是您要寻找的类型。