具有动态回调函数类型的C ++模板类

Question

在下面的代码中，我希望用户能够创建具有特定类型的使用者类，例如Consumer<StateA>以便他们的回调函数可以正确处理为其提供的类型。 但是，在下面的代码中，编译器会抱怨，因为在编译时，不会生成对StateB消耗方法中的函数的调用。 消费方法来自基类，必须重写它们。

template <class T>
class Consumer : ConsumerBase
{
    public:
        Consumer(std::function<void(T&)> _callback){
            callback = _callback;
        }
        virtual void consume(StateA& state) { 
            callback(state);
        }
        virtual void consume(StateB& state) { 
            callback(state);
        }
    private:
        std::function<void(T&)> callback; 
};

基类：

class ConsumerBase
{
   public:
      virtual void consume(StateA& state) = 0;
      virtual void consume(StateB& state) = 0;
};

我该如何进行这项工作？

Answer 1

消费方法来自基类，必须重写它们。 [...]我该如何工作？

我想一个可能的解决方案是开发几个consume_h() （“消费助手”）方法。

第一个与调用回调函数的T （类的模板类型）完全匹配

    void consume_h (T & state)
     { callback(state); }

第二个是不做任何事情的模板版本

    template <typename U>
    void consume_h (U &)
     { }

现在，您可以覆盖调用consume_h()两个虚拟方法。

    virtual void consume (StateA & state)
     { consume_h(state); }

    virtual void consume (StateB & state)
     { consume_h(state); }

这样，对应于T的虚拟方法调用了调用回调的consume_h() 。 另一个调用consume_h()的模板consume_h() 。

以下是完整的编译示例

#include <functional>

struct StateA { };
struct StateB { };

struct ConsumerBase
 {
   virtual void consume (StateA &) = 0;
   virtual void consume (StateB &) = 0;
 };

template <typename T>
class Consumer : ConsumerBase
{
    public:
        Consumer (std::function<void(T&)> cb0) : callback{cb0}
         { }

        void consume_h (T & state)
         { callback(state); }

        template <typename U>
        void consume_h (U &)
         { }

        virtual void consume (StateA & state)
         { consume_h(state); }

        virtual void consume (StateB & state)
         { consume_h(state); }

    private:
        std::function<void(T&)> callback; 
};

int main()
{
   Consumer<StateA>  csa{[](StateA &){ std::cout << "A" << std::endl; }};
   Consumer<StateB>  csb{[](StateB &){ std::cout << "B" << std::endl; }};

   StateA  sa;
   StateB  sb;

   csa.consume(sa);  // print A
   csb.consume(sb);  // print B
}