public class Test {
public static void main(String[] args) throws InterruptedException {
List<Collection> list1 = new ArrayList();
foo(list1);
bar(list1);
List<Set> list2 = new ArrayList<>();
foo(list2);
bar(list2);
List<HashSet> list3 = new ArrayList<>();
foo(list3);
bar(list3);
List<Object> list4 = new ArrayList<>();
foo(list4);
bar(list4);
List list5 = new ArrayList<>();
foo(list5);
bar(list5);
}
public static void foo(List<? super Set> list) {
}
public static void bar(List<? extends Set> list) {
}
}
类型层次：
Object<-------Collection<-------Set<-------HashSet
从Java编译器的角度来看，那些行会报错？
留白
----------------------------------------------------------------------
留白
----------------------------------------------------------------------
List list5 = new ArrayList<>() 是最赖皮的。明明 List list5 = new ArrayList<>()和 List<Object> list5 = new ArrayList<>() 是等价的，但是 javac 编译器就因为存在泛型标志 <type> 就加强了语法约束。
