如何在STL容器中存储具有抽象模板类型的抽象模板类？

Question

我希望标题不会引起误解，但我找不到在一个问题中定义问题的正确语言。

最近，我一直在尝试使用C ++实现“ CQRS命令处理程序”设计模式。 我必须将两个层次结构结合在一起：

• 指令

   struct ICommand { virtual ~ICommand() = default; }; struct SampleCommand : ICommand { int sampleParameter; SampleCommand() : sampleParameter(0) { } explicit SampleCommand(const int sampleParameter) { this->sampleParameter = sampleParameter; } }; 

• ICommandHandler

   template<typename T, typename = std::enable_if_t<std::is_base_of<ICommand, std::decay_t<T>>::value>> struct ICommandHandler { virtual void Handle(std::shared_ptr<T> command) = 0; virtual ~ICommandHandler() = default; }; class SampleCommandHandler : public ICommandHandler<SampleCommand> { public: void Handle(std::shared_ptr<SampleCommand> command) override { std::cout << "sampleParameter " << command->sampleParameter << std::endl; } }; 

我需要实现的最后一部分是一个调度程序，该调度程序接受命令，找到处理程序并将命令委托给找到的处理程序。 我想到的第一个想法是在分派器中公开一些处理程序注册API，并编写分派方法，该方法将尝试对所有已注册的处理程序进行动态广播，如果某些转换成功，它将调用找到的处理程序，如下所示：

class Dispatcher
{
public:

template<typename T>
void Dispatch(std::shared_ptr<T> command)
{
    auto handler = std::find_if(std::begin(_handlers), std::end(_handlers), [](auto handler)
    {
        return dynamic_cast<ICommandHandler<T>*>(handler);
    });

    if(handler != std::end(_handlers))
    {
        (*handler)->Handle(command);
    }
}

private:
    std::vector<?> _handlers;
};

问题是：“ _ handlers” std :: vector应该存储什么类型才能使Dispatcher :: Dispatch方法正常工作，甚至可以实现吗？

到目前为止我尝试过的是：

• std :: vector <ICommandHandler *>-无法编译，因为无法将具体处理程序强制转换为ICommandHandler <ICommand> *>。

   Error C2440 'initializing': cannot convert from 'SampleCommandHandler *' to 'ICommandHandler<ICommand,void> *' 

• std :: vector <void *>-未编译，因为dynamic_cast无法应用于void *

Answer 1

这里有很多毫无意义的（至少对我来说）多态性； 我将根据处理程序的容器拆分处理程序容器，而不是使用一个向量。 就像从typeindex到处理程序的映射/无序映射； 或者，要处理一组固定的类型。

但是要解决问题问：

struct ICommandHandlerBase{
  virtual ~ICommandHandlerBase(){};
};
template<typename T, typename = std::enable_if_t<std::is_base_of<ICommand, std::decay_t<T>>::value>>
struct ICommandHandler:ICommandHandlerBase
{

现在存储一个ICommandHandlerBase*或unique_ptr<ICommandHandlerBase>的向量。

Answer 2

当然可以使用地图或无序地图进行查找。 如果必须的话，可以将（无序）集合与自定义比较器一起使用。 虽然那不能回答你的问题:-)

假设您的处理程序确实是多态的，那么您的映射或集合将必须是指向接口ICommandHandler的指针。 它们不应该是原始指针，而可以是某种智能指针。

使用std :: shared_ptr意味着处理事件时可以保证处理程序对象的生存期-即使它从映射中删除（无论是在处理程序内部还是由另一个线程或处理程序删除），但它也需要一个shared_ptr，但附带增加了内部复杂性。

std :: unique_ptr的实现要简单得多，并且当您知道不能中断处理程序时可以很好地工作。 请注意，客户端代码只能看到原始指针-不能窃取unique_ptr！