C++可变参模板优雅的表示函数指针

目的

我们的是将函数指针
R(T::*ptr)(Args...)这种形式
变成 Functor<Args...>(ptr) 这种形式
在一个同名函数有多个重载方法的时候,这样的方式会比较优雅。
Functor是一个结构体或者类

RT,这里是从Qt的源码中学到的,防走丢,上代码

代码
template <typename... Args>
struct QNonConstOverload
{
    template <typename R, typename T>
    Q_DECL_CONSTEXPR auto operator()(R (T::*ptr)(Args...)) const Q_DECL_NOTHROW -> decltype(ptr)
    { return ptr; }

    template <typename R, typename T>
    static Q_DECL_CONSTEXPR auto of(R (T::*ptr)(Args...)) Q_DECL_NOTHROW -> decltype(ptr)
    { return ptr; }
};

template <typename... Args>
struct QConstOverload
{
    template <typename R, typename T>
    Q_DECL_CONSTEXPR auto operator()(R (T::*ptr)(Args...) const) const Q_DECL_NOTHROW -> decltype(ptr)
    { return ptr; }

    template <typename R, typename T>
    static Q_DECL_CONSTEXPR auto of(R (T::*ptr)(Args...) const) Q_DECL_NOTHROW -> decltype(ptr)
    { return ptr; }
};

template <typename... Args>
struct QOverload : QConstOverload<Args...>, QNonConstOverload<Args...>
{
    using QConstOverload<Args...>::of;
    using QConstOverload<Args...>::operator();
    using QNonConstOverload<Args...>::of;
    using QNonConstOverload<Args...>::operator();

    template <typename R>
    Q_DECL_CONSTEXPR auto operator()(R (*ptr)(Args...)) const Q_DECL_NOTHROW -> decltype(ptr)
    { return ptr; }

    template <typename R>
    static Q_DECL_CONSTEXPR auto of(R (*ptr)(Args...)) Q_DECL_NOTHROW -> decltype(ptr)
    { return ptr; }
};

简单解释下

  • 变参定义: typename… 或者 class… ,template尖括号里的Args 相当于是一个类型变量名,然后下面用到可变参的时候,也要加 ‘’,也就是说,可变参的类型一定要后面加 ‘’。我可能说的不太对,意思就那个意思。可变参可以看下这个链接:https://www.cnblogs.com/qicosmos/p/4325949.html
  • 万能推导
template <typename R, typename T>
auto of(R (T::*ptr)(Args...) const) Q_DECL_NOTHROW -> decltype(ptr)

拿这个举个例子,知道lamda表达式的肯定都懂,*’->decltype(ptr)’*其实就是声明返回值类型,这样前面的auto就能推导ptr的类型。然后这个 *R (T::*ptr)(Args…)*就是一个万能函数,函数指针不就是这么声明的吗?

  • using,其实这3个结构体形式都差不多,只不过模板参数,const 非const等有些区别,最终使用QOverload就可以了,使用using就是解决基类和派生类同名函数的问题,不懂的可以参考https://zhuanlan.zhihu.com/p/161039484
使用例子
//QProcess中有这样一个函数

void 
QProcess::finished(int exitCode, QProcess::ExitStatus exitStatus);

QOverload<int, QProcess::ExitStatus>::of(&QProcess::finished)
//其中,int  QProcess::ExitStatus是参数类型,这里其实of省略了模板参数,一个是返回值类型,一个是类名,编译器推导出来了
QOverload<int, QProcess::ExitStatus>::of<void,QProcess>(&QProcess::finished)
//这是完整的形式

你可能感兴趣的:(C++,Qt,c++,变参模板,函数指针,QOverload)