重写具有抽象基类参数的方法

Question

所以，问题是：我有一个抽象基类(property)，它有一个抽象成员方法(same())。same()方法返回布尔值，并应检查是否相等，但“相等”在子类中可能有不同的解释，因此我不重写equals()或compareTo()。因为它测试是否与另一个与其类型相同的对象相等,所以签名如下所示：

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个泛型类型参数）。

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

因为人们问:same()不像equals()或compareto()。是的，它在某种意义上讲是关于平等的。但其实我觉得这样描述更容易：

same()是一个方法，用于检查this和同一类的其他对象中的某些内容，并根据方法中发生的情况返回true或false。

编辑2：

正如@davidxxx所解释的，似乎不可能让代码变得更“流畅”。我很可能只保留基类参数，然后检查我在方法中得到了哪个对象。看来还不算太糟。

Answer 1

不幸的是，您没有其他方法，因为在Java中，返回类型是协变的，而参数类型却不是协变的，因为这与liskov原则是相反的。

利斯科夫的行为亚型概念定义了对象的可替代性概念；也就是说，如果S是T的子类型，那么程序中T类型的对象可以用S类型的对象替换，而不改变该程序的任何期望的属性（例如正确性）。

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

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

Property property = new FooProperty();

您可以这样做：

property.same(new FooProperty());

但您还可以执行以下操作：

property.same(new Property());

但就FooProperty.same（）重写的预期参数而言，这是不一致的，重写预期的是FooProperty.
并且这违反了liskov原则，因为我应该可以将任何Property实例替换为该html" target="_blank">实例的任何子类。

只是，在类上声明的泛型类型（如您的示例中所示）允许绕过这个限制，并离开子类，决定将子类用作参数。

不管怎么说，它看起来很可怕而且无法维护

这是非常可维护性的，因为如果重构类名，它将被更新。但这确实有点冗长。