Java规范难以理解的条件

Question

在阅读Java SE规范中的参考类型转换时：

给定编译时引用类型S(源)和编译时引用类型T(目标)，如果由于下列规则而没有编译时错误，则存在从S到T的转换。

我不断发现以下几种情况：

如果S是类类型:如果T是类类型，则|S| <: |T|或|T| <: |S|。否则，会发生编译时错误. 此外，如果存在T的超型X和S的超型Y，使得X和Y都是明显不同的参数化类型(§4.5)，并且X和Y的擦除是相同的，则会发生编译时错误。

有人能给我举个例子吗？

编辑：

要进一步澄清我引用的这篇文章，请参阅关于这个链接的5.5.1节

Answer 1

条件的第一部分要求S <: T或S :> T，即一个类必须继承另一个类，否则会出现编译时错误。所以您的基本设置如下所示：

class T {
}
class S extends T {
}

到目前为止，还可以将S转换为T，因为这两个类之间有一个正确的子类关系。

现在让我们看看条件的第二部分:这两个类必须有不同的超级类型。由于只允许一个超类，所以常见的超级类型需要是一个接口。下面是如何打破规则第二部分的一个例子：

// X is List<String>
class T implements List<String> {
}
// Y is List<Integer>
class S extends T implements List<Integer> {
}

X和Y的擦除都需要实现List<???>，但是列表必须在不同类型上进行参数化。这会导致编译时错误，因为S无法同时满足List<String>和List<Integer>接口。