我有这门课:
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);
}
- 是否有可能实现我想要的?
- 如果答案是否定的,是不是我的类(Class)约束就这么愚蠢?
最佳答案
一般情况下是不可能的。当对您的场景进行更长时间的思考时,问题就变得很清楚了。您有 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
类型的保证,因此要根据程序员的纪律为每个子类添加正确的覆盖。
但是,如前所述,对于参数类型,这通常不起作用,因为您无法缩小子类中参数的类型。
关于java - 如何绑定(bind)子类的类类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35477990/