比较对象和继承

Question

在我的程序中，我有以下类层次结构：

class Base // Base is an abstract class
{
};

class A : public Base
{
};

class B : public Base
{
};

我想执行以下操作：

foo(const Base& one, const Base& two)
{
  if (one == two)
  {
    // Do something
  } else
  {
    // Do something else
  }
}

我在这里遇到有关 operator==() 的问题。当然，比较A 实例和B 实例是没有意义的，但比较Base 的两个实例应该是可能的。 （你不能比较狗和猫，但你可以比较两种动物）

我想要以下结果：

A == B => 假

A == A => true 或 false，取决于两者的有效值实例

B == B => true 或 false，取决于两者的有效值实例

我的问题是：这是一个好的设计/想法吗？这可能吗？我应该编写/重载哪些函数？

Answer 1

class Base // Base is an abstract class
{
    virtual bool equals(const Base& b) = 0;
};

class A : public Base
{
    virtual bool equals(const Base& base)
    {
        if (const A* a = dynamic_cast<const A*>(&base))
        {
            // Return true iff this and a are equal.
        }
        return false;
    }
};

class B : public Base
{
    virtual bool equals(const Base& base)
    {
        if (const B* b = dynamic_cast<const B*>(&base))
        {
            // Return true iff this and b are equal.
        }
        return false;
    }
};

Answer 2

重载基类的运算符：子类引用将转换为基类引用。

在没有更多背景的情况下看不出设计有任何问题。

Answer 3

我现在无法制作反例，但据我记得，比较运算符（作为传递、自反和对称的东西）在与遗产。可能它不会破坏你的应用程序，你的用例，仅仅半年后，当你对你的子类进行子类化时......