通用返回类型上限-接口与类-出乎意料的有效代码

通用返回类型上限-接口与类-出乎意料的有效代码

CharSequence

是一个

interface

。因此，即使

SomeClass

不实现

CharSequence

，也完全有可能创建一个类

class SubClass extends SomeClass implements CharSequence

因此你可以写

SomeClass c = getCharSequence();

因为推断的类型

X

是相交类型

SomeClass & CharSequence

。

在某些情况下，这是有点奇怪的，

Integer

因为它

Integer

是最终的，但

final

在这些规则中没有任何作用。例如你可以写

<T extends Integer & CharSequence>

另一方面，

String

由于不是

interface

，所以不可能扩展

SomeClass

以获得的子类型

String

，因为Java不支持类的多重继承。

在该

List

示例中，您需要记住，泛型既不是协变也不是协变。这意味着if

X

是的子类型

Y

，

List<X>

既不是的子类型也不是的超类型

List<Y>

。由于

Integer

未实现

CharSequence

，因此无法

List<Integer>

在您的

doCharSequence

方法中使用。

您可以，但是可以将其编译

<T extends Integer & CharSequence> void foo(List<T> list) {    doCharSequence(list);}

如果你有一个方法 返回 一个

List<T>

像这样的：

static <T extends CharSequence> List<T> foo()

你可以做

List<? extends Integer> list = foo();

同样，这是因为推断的类型是，

Integer & CharSequence

并且这是的子类型

Integer

。

当您指定多个边界（例如

<T extends SomeClass & CharSequence>

）时，交叉点类型隐式出现。

有关更多信息，这是JLS的一部分，其中解释了类型边界的工作方式。您可以包括多个接口，例如

<T extends String & CharSequence & List & Comparator>

但只有第一个边界可以是非接口。