我已经阅读了Angelika langer's Generics FAQ，其中讨论了在类型参数没有通配符的情况下的类型推断.
List<String> list2 = new ArrayList<>();// type inference
我明白你的意思.但在以下两种情况下会发生什么呢？
ArrayList<? super Number> list1 = new ArrayList<>();
ArrayList<? extends Number> list2 = new ArrayList<>();
上面的编译器推断出了哪些类型？为什么？
我也读了这个SO question，但它只讨论参数为List<?>的情况，而不是提供的例子.
这个问题在 comments 中有一个答案，基于这两个说法:
不能对对象本身使用通配符，只能对变量、字段和参数使用通配符.
如果没有显式的类型参数，它将使用super的上限或extends的下限.
我不明白这些结论是如何从JLS得出的.与此同时，这里有一个例子.
这两种情况都会创建一个列表.实现这一点的一种方法是创建一个匿名内部类.
ArrayList<? super Number> list1 = new ArrayList<>() {};
System.out.println(list1.getClass().getGenericSuperclass().getTypeName());
它将输出，
list1 ==> []
java.util.ArrayList<java.lang.Number>
在下限情况下，
ArrayList<? extends Number> list1 = new ArrayList<>() {};
System.out.println(list1.getClass().getGenericSuperclass().getTypeName());
以下哪项输出:
list1 ==> []
java.util.ArrayList<java.lang.Number>