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

【问题标题】：Is there any way to deduce template parameters from base class function parameters?有没有办法从基类函数参数中推导出模板参数？
【发布时间】：2018-06-18 06:30:55
【问题描述】：

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

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

【问题讨论】：

这种用法看起来一点也不方便。即使推断出论点也不行。你有动态内存分配、虚函数调用、futures 和 promises……你确定这就是你想要的回调方式吗？
我正在使用的库仅通过回调机制进行通信。所以，我必须创建许多相同类型的回调，并将一个回调放入一个回调中，放入一个回调中......这只是试图找出一种不同的方法。

标签： c++ templates parameters arguments

【解决方案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;
};

【讨论】：

@anatol，请注意在您发表评论后我修复了一个复制粘贴错字（额外的 && 不应该在那里）；此外，请记住，如果稍后您添加 onFinish 重载，这将爆炸...
为什么不简单地template <typename T, typename Sig = decltype(T::onFinish)>？
@Aconcagua 我不认为这是合法的（事实上，我的 clang 抱怨），你使用什么编译器？ IIRC vc++ 允许将其作为非标准扩展...
@Aconcagua 那么可能是 gcc 扩展；请参阅this post 和类似...
@MassimilianoJanes。有趣，但您似乎是对的……另一方面，如果仅删除 std::remove_pointer ，但保留地址运算符，GCC 仍然可以编译；不过，这在某种程度上是有道理的，因为您实例化的 void(T::*)(Args...) 也是指针类型，不是吗？