JLS:第5.2节-转让转换(转换链)

Question

我正在试着理解JLS的例子。

本节内容如下：

如果转换链包含两个非子类型关系中的参数化类型，则为编译时错误。。 这种非法连锁的一个例子是： 整数，可比 链的前三个元素是通过扩大引用转换来关联的，而最后一个条目是通过未经检查的转换从其前身派生出来的。但是，这不是有效的赋值转换，因为链包含两个非子类型的参数化类型Comparable<Integer>和Comparable<String>。

我们猫在什么条件下得到这条链子？谁能举个更详细的例子吗？

Answer 1

我想我已经弄明白了。

赋值上下文适用于赋值表达式。

在表达式中

Integer integerValue = 42;
Comparable<Integer> comparableInteger = integerValue;

整数文本42可以通过装箱转换分配给Integer类型的变量。可以通过扩大引用转换将Integer类型的值分配给Comparable<Integer>类型的变量。

在以下表达式中

Comparable raw = comparableInteger;

可以通过扩大引用转换将Comparable<Integer>类型的值分配给Comparable类型的变量。

但你做不到

Comparable<String> comparableString = integerValue;

因为这需要未经检查的从Comparable到Comparable<String>的转换，这不一定是坏的，除非

转换链包含两个不在子类型关系中的参数化类型。

你本可以

Comparable raw = comparableInteger;
Comparable<String> parameterized = raw;

这将使用未检查的转换(当您尝试调用ClassCastException时，可能会在运行时使用compareTo)。但是，编译时没有问题，因为转换链很简单。

Comparable, Comparable<String>

这是允许的。