有什么方法可以从基类函数参数中推断出模板参数吗？

Question

我尝试为回调结构创建一个方便的包装器。

class CallbackFilterProducts {
public:
    virtual ~CallbackFilterProducts() {}

    virtual void onFinish(const optional<Page>& page,
                          const vector<Product>& products) = 0;
};


template <typename T, typename... Args>
struct Callback : T {
Callback() {}

void onFinish(Args&&... args) override
{
    _promise.set_value(make_tuple(forward<Args>(args)...));
}

auto&& promise() { return _promise; }

private:
    promise<
        tuple<remove_const_t<remove_reference_t<Args>>...>> _promise;
};

至于现在，我必须像这样使用它：

auto callback = make_shared<
    Callback<CallbackFilterProducts, const optional<Page>&,
             const vector<Product>&>>();
auto future = callback->promise().get_future();

有什么方法可以从CallbackFilterProducts::onFinish函数推导Args并像下面这样使用它：

auto callback = make_shared<Callback<CallbackFilterProducts>();

Answer 1

如果onFinish既未过载也未模板化（应该是虚拟的），则可以简单地编写（未经测试）：

template <typename T, typename Sig = decltype(&T::onFinish)>
struct Callback {};

template <typename T, typename... Args>
struct Callback<T,void(T::*)(Args...)> : T {
  Callback() {}

  void onFinish(Args... args) override;
};