java - 2个不同类的Java对象应该相等吗？

Question

我正在尝试编写一些通用代码来定义基于字段列表的类相等和哈希码。在编写我的 equals 方法时，我想知道根据 Java 约定，两个不同的对象是否应该相等。让我举几个例子；

class A {
  int foo;
}
class B {
  int foo;
}
class C extends A {
  int bar;
}
class D extends A {
  void doStuff() { }
}
...
A a = new A(); a.foo = 1;
B b = new B(); b.foo = 1;
C c = new C(); c.foo = 1; c.bar = 2;
D d = new D(); d.foo = 1;

a.equals(b); //Should return false, obviously
a.equals(c);
c.equals(a); //These two must be the same result, so I'd assume it must be false, since c cant possible equal a
a.equals(d); //Now this one is where I'm stuck. 

我认为在最后一个示例中两者不应该相等，但它们确实有不同的类。任何人都知道什么约定？如果它们相等，equals 方法应该如何处理呢？

编辑:如果有人对此问题背后的代码感兴趣，请参阅:https://gist.github.com/thomaswp/5816085这有点脏，但我欢迎对要点发表评论。

Answer 1

它们可能存在，但通常很难维护the symmetric and transitive properties of equality在这种情况下。至少同时对相等有一个有用/直观的定义。

如果您允许子类认为自己等于父类(super class)的一个实例，那么父类(super class)需要认为自己等于子类的一个实例。这意味着您将在父类(super class)中编码有关子类(所有可能的子类？)的特定知识，并根据需要向下转换，这不是很干净。

或者，您只使用 A 中包含的字段进行比较，并且根本不覆盖 equals()。这解决了上述问题，但问题是具有不同 bar 值的两个 C 实例将被视为相等，这可能不是您想要的。

或者，您在 C 中覆盖，如果另一个对象是 C 的实例，则比较 bar，否则不要A 的一个实例，你还有另一个问题。 c1.equals(c2) 为假，但 c1.equals(a) 为真，c2.equals(a) 也是如此所以a.equals(c2)。这破坏了传递性(因为 c1 == a 和 a == c2 意味着 c1 == c2)。

---

总之，理论上是可行的，但你必须削弱你的 equals 实现才能做到这一点。此外，运行时类是对象的属性，就像 bar 一样，所以我希望具有不同具体类的对象彼此不相等无论如何.