c++ - 有没有办法从基类函数参数中推导出模板参数？

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;
};