java - 如何绑定(bind)子类的类类型

Question

我有这门课:

public abstract class Addressable {

  abstract <T extends "this" Addressable> void hardEquals(T t);

}

方法 hardEquals(T t) 没有像我想要的那样有界。我想要的是将 T 绑定(bind)为 this 的同一类。换句话说，当我使用具体类 MyAddressable 扩展类 Addressable 时，我希望方法 hardEquals() 具有签名:

void hardEquals(MyAddressable t);

为了完整性:

public class MyAddressable extends Addressable {

  void hardEquals(MyAddressable t);

}

1. 是否有可能实现我想要的？
2. 如果答案是否定的，是不是我的类(Class)约束就这么愚蠢？

Answer 1

一般情况下是不可能的。当对您的场景进行更长时间的思考时，问题就变得很清楚了。您有 Addressable 类及其方法 hardEquals，它要求其参数的类型等于此。然后你有子类

public class MyAddressable extends Addressable {
  void hardEquals(MyAddressable t);
}

这似乎按预期工作。现在想象一个子类的子类:

public class GrandChild extends MyAddressable {
  void hardEquals(MyAddressable t);
}

在这里，您有一个类必须接受MyAddressable 作为hardEquals 参数，因为它不允许通过缩小参数类型，即不接受父类(super class)接受的东西。毕竟，您始终可以拥有一个类型为 MyAddressable 的变量，它实际上引用了 GrandChild 的一个实例。不可能将参数限制为 hardEquals 以匹配对象的实际运行时类型。

因此所需的“参数类型必须匹配 this 类型”规则与“子类方法必须接受父类(super class)所做的所有参数”规则冲突。

---

请注意，这经常与类型系统的实际限制相混淆，同样的事情不适用于返回类型。由于允许为子类缩小返回类型，因此在某些情况下希望保证返回 this 类型可能是合理的，例如:

class Base {
    Base/*actually this type*/ clone() { … }
}
class SubClass extends Base {
    SubClass/*actually this type*/ clone() { … }
}
class GrandChild extends SubClass {
    GrandChild/*actually this type*/ clone() { … }
}

有效，但没有正式的方法来指定返回 this 类型的保证，因此要根据程序员的纪律为每个子类添加正确的覆盖。

但是，如前所述，对于参数类型，这通常不起作用，因为您无法缩小子类中参数的类型。