泛型返回类型上限-接口与类-令人惊讶的有效代码

Question

这是一个来自第三方库API的真实示例，但经过了简化。

用Oracle JDK 8U72编译

考虑以下两种方法：

<X extends CharSequence> X getCharSequence() {
    return (X) "hello";
}

<X extends String> X getString() {
    return (X) "hello";
}

两者都报告了一个“未经检查的强制转换”警告--我知道原因了。让我困惑的是为什么我可以打电话

Integer x = getCharSequence();

Integer y = getString();

incompatible types: inference variable X has incompatible upper bounds java.lang.Integer,java.lang.String

<X extends CharSequence> void doCharSequence(List<X> l) {
}

List<CharSequence> chsL = new ArrayList<>();
doCharSequence(chsL); // compiles

List<Integer> intL = new ArrayList<>();
doCharSequence(intL); // error

试图传递列表 会出现错误，正如所料：

method doCharSequence in class generic.GenericTest cannot be applied to given types;
  required: java.util.List<X>
  found: java.util.List<java.lang.Integer>
  reason: inference variable X has incompatible bounds
    equality constraints: java.lang.Integer
    upper bounds: java.lang.CharSequence

如果报告为错误，为什么整数x=getCharSequence()；不是？

Answer 1

CharSequence是一个接口。因此，即使SomeClass没有实现CharSequence，也完全可以创建一个类

class SubClass extends SomeClass implements CharSequence

因此你可以写

SomeClass c = getCharSequence();

因为推断的类型X是交集类型SomeClass&CharSequence。

<T extends Integer & CharSequence>

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

如果您有一个返回列表 的方法，如下所示：

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

你可以做

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

同样，这是因为推断的类型是integer&charsequence，这是integer的子类型。

关于进一步的信息，这里是JLS中解释类型边界如何工作的部分。您可以包括多个接口，例如。

<T extends String & CharSequence & List & Comparator>

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