java - 覆盖具有抽象基类参数的方法

Question

所以，问题是: 我有一个抽象基类 (Property)，它有一个抽象成员方法 (same())。 same() 方法返回 boolean 值并应检查相等性，但“相等性”在子类中的解释可能不同，因此我不会覆盖 equals() 或 比较()。因为它测试与其类型的另一个对象是否相等，所以签名看起来像这样:

public abstract boolean same(Property other);

现在，当我试图在类中覆盖它时，假设“SubProperty”，我不能使用 SubProperty 作为参数类型。我知道一般情况下的原因以及添加类型边界的建议，但事情变得越来越复杂，因为参数类型是它自己的类。

有没有什么平滑的方法可以正确覆盖该方法？

因为它在其他 StackOverflow 问题中被推荐，所以我尝试使用类型边界(在本例中是循环的)。所以，这个类看起来像这样:

public abstract class Property<T extends Property<T>>

和 same() 方法:

public abstract boolean same(T other);

对于子类，这意味着:

public class SubProperty extends Property<SubProperty>

和same()方法:

public boolean same(SubProperty other);

如果我按照建议使用类型边界，这将是结果。它实际上构建了，但我什至不知道它是否可以正常工作。无论如何，它看起来很糟糕且无法维护(尤其是因为我在 Property 中使用了另外 2 个泛型类型参数)。

我希望有其他方法可以做到这一点。如果重要的话，我使用的是 java 1.8 (openjdk 1.8.0.212-b04)

编辑 1:

因为人们问:same() 与 equals() 或 compareTo() 完全不同。是的，它在某种意义上是关于平等的。但实际上我认为这样描述更容易:

same() 是一种方法，它检查 this 和同一类的其他一些对象中的 something 并返回 true 或 false 取决于方法中发生的事情。

编辑 2:

正如@davidxxx 所解释的，似乎不可能使代码更“平滑”。我可能只保留基类参数并检查我在方法中得到了哪个对象。毕竟看起来还不错。

Answer 1

不幸的是，您没有其他方法，因为在 Java 中，返回类型是协变的，但参数类型不是，因为它与 liskov principle 相悖。 .

Liskov's notion of a behavioural subtype defines a notion of substitutability for objects; that is, if S is a subtype of T, then objects of type T in a program may be replaced with objects of type S without altering any of the desirable properties of that program (e.g. correctness).

这是一个简单的例子，说明了为什么这条规则很重要。

假设子类:

public class FooProperty extends Property{
    public boolean same(FooProperty other){...}
}

假设您以这种方式实例化它:

Property property = new FooProperty();

你可以这样做:

property.same(new FooProperty());

但你也可以这样做:

property.same(new Property());

但是，就期望 FooProperty 的 FooProperty.same() 覆盖的预期参数而言，这并不一致。
这违反了 liskov 原则，因为我应该能够用它的任何子类替换任何 Property 实例。

---

只有，在您的示例中在类上声明的泛型类型允许绕过此限制并让子类考虑将子类用作参数。

Anyway, it looks horrible and unmaintainable

这非常易于维护，因为如果您重构类名，它就会更新。 但这确实有点冗长。