返回具有上限的泛型列表

Question

如果我有这样的方法：

public static <E extends CharSequence, T extends E> List<T> doIt(List<E> nums) {
return null;
}

为什么要编译这个代码？为什么超级字符串与T兼容扩展了CharSequence

public static void main(String[] args) {

    List<CharSequence> in = new ArrayList<>();

    List<? super String> result = new ArrayList<>();

    result = doIt(in);        
}

Answer 1

代码工作是因为<？超级字符串>和<？扩展CharSequence>不是互斥的界限；String和CharSequence都符合这两个要求。

请注意，即使有些类符合一个约束而不符合另一个约束（例如String的Object，但它不扩展CharSequence)，只要两个约束的交集不为空，它也可以工作。

相比之下，这是行不通的：

import java.util.*;
class Test {

   public static <E extends CharSequence, T extends E> doIt(List<E> in) {
     return null;
   }

   public static void main(String[] args) {
      final List<CharSequence> in = new ArrayList<>();
      final List<? super Integer> out = doIt(in);
   }
}