c++ - 子类对象作为虚函数的参数

Question

好的，所以基本上我有一个类在另一个类中使用，除其他外，它要求对象报告它与同一类型的另一个对象的关系。效果很好。仅供引用，此类代表一个协议(protocol)。不幸的是，现在我正试图通过添加一个名为 Wrapper 的类来修饰类关系。这个类的主要功能是它可以将第一个类作为参数(或任何其他做同样事情的)。:

template< class InnerInterpreter >
class WrapperInterpreter
{
public:
    WrapperInterpreter(const InnerInterpreter &m) : innerMessage(m) {}

    ...

    virtual bool respondsToMessage(const WrapperInterpreter<InnerInterpreter> &) const = 0;

public:
    //member
    InnerInterpreter innerMessage;
};

出于其他设计原因，我得出的结论是，将其作为一组包装器的基类(而不是将两个不同的协议(protocol)作为参数)允许我组合一组外部和内部协议(protocol)类。

所以这是我的问题: 当我尝试子类化 WrapperInterpreter<> 时，特别是提供对 respondsToMessage() 的实现，我最终得到一个子类，它可以与 WrapperInterpreter 中的任何类进行比较等级制度。但这实际上不是我想做的。我想做的是强制子类这样实现一个方法:

template< class Inner >
class ConcreteWrapper : WrapperInterpreter<Inner>
{
    ...
    bool respondsToMessage(const ConcreteWrapper<Inner> &);
    ...
}

我立即想到的一个解决方案是简单地将它从 WrapperInterpreter 的界面中删除并让编译器仅在与设计的其余部分一起使用时提示缺少接口(interface)方法。

所以我的问题是:有没有办法在抽象类的接口(interface)中放置一个方法，这样子类就必须将子类类型的对象作为参数？

或者，我是否试图错误地使用继承？有没有人有任何有用的设计模式可以帮助我解决这个问题？

Answer 1

有一种称为 CRTP(好奇重复模板模式)的设计，它包括将 Child 的类型作为模板参数传递给 Parent:

template <typename Child>
class WrapperInterpreter {
    using Inner = typename Child::Inner; // nested typedef

    WrapperInterpreter(Inner const& ...);

    virtual bool respondsToMessage(Child const& ...) = 0;
};

template <typename Inner>
class Concrete: public WrapperInterpreter< Concrete<Inner> > {

    virtual bool respondsToMessage(Concrete const& ...) override;

};