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();

有没有办法从Args函数中推断出CallbackFilterProducts::onFinish并将其用作：

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

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

1 个答案: