c ++强制运算符==从接口抽象类重载

Question

在 c++ 上使用接口（抽象类）我需要强制任何类而不是继承接口来实现运算符 ==。 考虑这种情况：

class IBase
{
   virtual void someFunc() const = 0; 
}

class CInheritClass : public IBase
{
   virtual void someFunc() const; 
   virtual bool operator== ( const CInheritClass& obj ) const;
}

void main()
{
  CInheritClass instance;
}

类 CInheritClass 必须实现 someFunc，因为它继承了 Ibase，实现 virtual bool operator== ( const CInheritClass& obj ) const; 不是强制性的。 我想以任何继承者 X 都必须实现的方式修改 IBase 类

virtual bool operator== ( const X& obj ) const

以下代码将起作用：

template<class X>
class IBase
{
   virtual void someFunc() const = 0; 
   virtual bool operator== ( const X& obj ) const = 0;

}

class CInheritClass : public IBase<CInheritClass>
{
   virtual void someFunc() const; 
   virtual bool operator== ( const CInheritClass& obj ) const;
}

但我追求不使用模板的解决方案，导致每个希望实现 IBase 的类都必须继承 IBase 并将其自身作为模板类class X : public IBase<X>，这对于任何可能查看的未来开发人员来说都是令人困惑和不清楚的我的代码。 有什么想法吗？

Answer 1

使用纯虚函数声明

virtual bool operator== ( const IBase& obj ) const = 0;

实现示例：

bool CInheritClass ::operator==( const IBase& obj ) const
{
     const CInheritClass *o = dynamic_cast<const CInheritClass*>(&obj);
     if (o == NULL) return false;
     // TODO
}

输入类型应该是基类，否则你将无法对基类进行多态调用比较

对于从模板继承的想法：警告，2个派生类之间的基类不再相同。 =>基类的目的改变了：使用模板你只是共享代码，强制用户实现功能并防止2个派生类之间重复代码

这真的取决于你想要做什么。它可以是一个好的设计，也可以不是......

Answer 2

仅供参考，模板版本通常称为“Barton-Nackman 技巧”： http://en.wikipedia.org/wiki/Barton%E2%80%93Nackman_trick

如果您希望您的派生类只能与它们自己类型（而不是抽象基类型）的其他对象进行比较，那么这就是使用的“技巧”，IMO。

编辑：这类似于 Java 实现 Comparable 接口的方式，因此（好）程序员不会不知道发生了什么： http://docs.oracle.com/javase/7/docs/api/java/lang/Comparable.html

Answer 3

让我们在这里分解您的要求。您想强制每个孩子使用其自己类型的右侧来实现 operator==。但是您还要求将所述操作员设为虚拟。由于每个子运算符的参数类型将与父虚拟方法的参数类型不同，因此您最终会隐藏基类运算符。因此，您将永远无法以多态方式调用它，并且比较的虚拟性根本没有用处。

相反，我的建议是删除父运算符的虚拟性，并在使用子类时使用 ==。然后编译器会告诉你它什么时候丢失。

但是，如果您确实需要能够多态地调用基础对象上的比较，您很可能必须使用双重调度之类的东西来确保双方都访问最衍生的类型并验证最衍生的类型相同（否则比较无意义）。

编辑：如果您确实需要该功能，我看不出模板基类有什么特别的问题 - 只需检查您的设计并确保您确实需要它。