指向成员函数类类型的指针

Question

class Object
{
public:
    void mem_func();
}

我希望能够在编译时从指向成员函数Object的指针中提取类型&Object::mem_func，但没有注意到中任何可用于获取该类型的内容。

这对于拥有抽象数据成员的Pimpl类来说是必要的，该成员稍后将其转换为非抽象类，这取决于它的公共类层次结构是否与std::invoke一起使用。

编辑：应Ilan的要求，既然Yakk提出的解决方案并不能通过我所拥有的额外的间接层工作。

下面是一个更完整的想法，我想做什么。我想使用Qt的QAbstractSlider和QSlider类来实现范围滑块类。也许我是以错误的方式来处理这个问题，如果是这样的话，请告诉我一个更好的设计模式/策略来完成这个任务。

// RangeSlider.h

class AbstractRangeSliderPrivate;
class AbstractRangeSlider : public QWidget
{
    Q_OBJECT
    Q_DECLARE_PRIVATE_D(d_ptr_, AbstractRangeSlider)

public:
    explicit AbstractRangeSlider(QWidget * parent = nullptr)
        : QWidget(parent)
        , d_ptr_(new AbstractRangeSliderPrivate{ this, new QAbstractSlider{ this }, new QAbstractSlider{ this } })
    {}

    virtual ~AbstractRangeSlider() override
    {}

    int minimum() const
    {
        Q_D(const AbstractRangeSlider);
        return d->getTemplate(&QAbstractSlider::minimum);
    }

    void setMinimum(int min) const
    {
        Q_D(AbstractRangeSlider);
        return d->setTemplate(&QAbstractSlider::setMinimum, min);
    }

    int maximum() const;
    void setMaximum(int max);
    //... etc

protected:
    AbstractRangeSlider(AbstractRangeSliderPrivate & dd, QWidget * parent)
        : QWidget(parent)
        : d_ptr_(&dd)
    {
    }

    QScopedPointer<AbstractRangeSliderPrivate> const d_ptr_;
};

class RangeSliderPrivate;
class RangeSlider : public AbstractRangeSlider
{
    Q_OBJECT
    Q_DECLARE_PRIVATE_D(d_ptr_, RangeSlider)

public:
    RangeSlider(QWidget * parent = nullptr)
        : AbstractRangeSlider(new RangeSliderPrivate{ this, QSlider{ this }, QSlider{ this } }, parent)
    {
    }

    virtual ~RangeSlider() override
    {
    }

    // These need to be cast from QAbstractSlider in the get/setTemplates
    // since these member functions are only in the derived slider class.
    QSlider::TickPosition tickPosition() const
    {
        Q_D(RangeSlider);
        return d->getTemplate(&QSlider::tickPosition);
    }

    void setTickPosition(QSlider::TickPosition position)
    {
        Q_D(RangeSlider);
        return d->setTemplate(&QSlider::setTickPosition, position);
    }

    // etc
};





// RangeSlider_p.h
#include "AbstractRangeSlider.h"
#include <QAbstractSlider>
#include <utility>

class AbstractRangeSliderPrivate
    : public MixinPrivate<AbstractRangeSliderPrivate, QAbstractSlider>
{
    Q_DECLARE_PUBLIC(AbstractRangeSlider)

public:
    AbstractRangeSlider * q_ptr;

    AbstractRangeSliderPrivate(AbstractRangeSlider * q)
        : q_ptr(q)
    {}

    ~AbstractRangeSliderPrivate()
    {}

    void init(QAbstractSlider * lowSlider, QAbstractSlider * highSlider_)
    {
        lowSlider_ = lowSlider;
        highSlider_ = highSlider;
    }

    template <typename Func>
    auto getTemplate(Func func) const
    {
        // I want to cast these from AbstractRangeSlider to a concrete type such as QSlider when necessary
        assert(std::invoke(func, static_cast<???>(lowSlider_))) == std::invoke(func, static_cast<???>(highSlider_)));
        return std::invoke(func, static_cast<???>(lowSlider_));
    }

    template <typename Func, typename... Args>
    void setTemplate(Func func, Args && ... args)
    {
        std::invoke(func, static_cast<???>(lowSlider_)), std::forward<Args>(args)...);
        std::invoke(func, static_cast<???>(highSlider_)), std::forward<Args>(args)...);
    }

    AbstractRangeSlider * lowSlider_;
    AbstractRangeSlider * highSlider_;
};

Answer 1

template<auto x>
struct memfunc_object;
template<auto x>
using memfunc_object_t=typename memfunc_object<x>::type;
template<class T, class R, class...Args, R(T::*mf)(Args...)>
struct memfunc_object< mf > {
  using type=T;
};

实例化。

需要c++17。

没有它，您可以执行decltype(&bob::hello)并编写一个类似的特征类来提取T。

template<class M>
struct memfunc_t_object;
template<class M>
using memfunc_t_object_t=typename memfunc_t_object<M>::type;
template<class T, class R, class...Args>
struct memfunc_t_object< R(T::*)(Args...) > {
  using type=T;
};