我正在尝试开发 API。作为这种演变的一部分,我需要将方法的返回类型更改为子类(专业化),以便高级客户能够访问新功能。示例(忽略丑陋的:
public interface Entity {
boolean a();
}
public interface Intf1 {
Entity entity();
}
public interface Main {
Intf1 intf();
}
我现在想要像这样拥有 ExtendedEntity、Intf2 和 Main:
public interface ExtendedEntity extends Entity {
boolean b();
}
public interface Intf2 extends Intf1 {
ExtendedEntity entity();
}
public interface Main {
Intf2 intf();
}
但是,由于方法返回类型是其签名的一部分,因此已使用先前版本的代码编译的客户端显示链接错误(找不到方法 iirc)。
我想做的是向 Main 添加一个具有不同返回类型的方法。这两种方法(一种返回超类型,一种返回子类型)应映射到相同的实现方法(返回子类型)。注意 - 据我了解,JVM 允许这样做,但 Java 规范不允许这样做。
我的解决方案似乎在滥用(我对此无话可说)Java 类系统来添加所需的接口。
public interface Main_Backward_Compatible {
Intf1 intf();
}
public interface Main extends Main_Backward_Compatible{
Intf2 intf();
}
现在旧客户端将正确的方法返回到 invokevirtual 查找(因为具有正确返回类型的方法存在于类型层次结构中)并且实际工作的实现将是返回子类型 Intf2 的实现。
这似乎有效。在我可以设计的所有测试中(除了反射-但我不在乎那一点)它确实有效。
它会一直有效吗?我的推理(关于调用虚拟)是否正确?
还有另一个相关的问题——是否有工具可以检查“真正的”二进制兼容性?我发现的唯一方法是单独查看每种方法,但没有考虑类型层次结构。
谢谢,
冉。
编辑-我尝试过并发现“不太好”的工具(不考虑类型层次结构):
- 克利尔 0.6。
- IntelliJ“APIComparator”插件。
Edit2 - 当然,我的客户被禁止为我的接口创建实现类(想想服务)。但是,如果您希望示例完整,请考虑抽象类(用于 Main)而不是接口。