本文通过解释List<Object>和List<?>区别，试图帮助读者理解泛型的一些细节。本文难度：初级。
最近有小伙伴提问：搞不清楚List<Object>和List<?>的区别，比如说：
这样一个方法：
public static void printA(List<Object> list) {
for (Object o : list) {
System.out.println(o);
}
System.out.println();
}
你只可以：
printA(new ArrayList<Object>());
//printA(new ArrayList<String>());//编译错误
但是，如果换成List<?>方法：
public static void printB(List<?> list) {
for (Object o : list) {
System.out.println(o);
}
System.out.println();
}
你却可以做很多：
printB(new ArrayList<Object>());
printB(new ArrayList<String>());
printB(new ArrayList<Integer>());
那么，问题来了。既然，所有的java教程都会告诉我们，任何java对象都是Object类型的，可是：
- 为什么使用List<Object>时会编译不通过的代码，换成List<?>又可以了呢？
- List<Object>和List<?>到底有什么区别的？
笔者将尝试从3个问题出发，来回答上述疑问：
问题1：为什么List<String>和List<Object>不是父子关系？
在java的世界里，任何java对象都是Object的子类。所以我们可以这样：
Object o1 = new Object();
Object o2 = "abc";
Object o3 = 123;
但是List<Object>使用的是泛型。
泛型是不可变。即对于任何2个不同类型的type1和type2，List<Type1>即不是List<Type2>的子类型，也不是List<Type2>的超类型。（《effective java》第25条 ）
简单的说String和Object是父子关系，但是List<String>和List<Object>之间没有继承关系。
问题2：List<?>是什么？
因为List<String>和List<Object>之间没有继承关系，但是考虑到代码的通用性，我们又希望有一种类型，可以“兼容”List<String>和List<Object>。所以泛型里提供了“?”统配符:
List<?> list1 = new ArrayList<Object>();
List<?> list2 = new ArrayList<String>();
统配符的用法:
- “?”表示无上下界
- “? extends classA”表示以classA为上界,即以classA为父类
- “? super classA”表示以classA为下界,即以classA为子类
用法举例:
List<? extends String> list3 = new ArrayList<String>();
List<? super String> list1 = new ArrayList<Object>();
List<? super String> list2 = new ArrayList<String>();
问题3：List<Object>和List<?>到底有什么区别的?
List<Object> list = new ArrayList<Object>();
这句代码中：
- 等号左边含义是：创建一个list变量，他的类型List<Object>。意味这个变量接受List的子类（实现类）的实例，但限制是泛型必须是Object。
- 等号右边: 创建一个ArrayList对象，这个对象的泛型是Object
- 中间的等号是赋值的意思（废话，嘿嘿）
List<?> list = new ArrayList<String>();
这句代码中：
- 等号左边含义是: 创建一个list变量，他的类型List<?>。意味这个变量接受List的子类（实现类）的实例，而且泛型可以是任意类型
- 其他含义同上
简而言之 List<Object>接受泛型是Object的List对象，List<?>接受泛型是任意类型的List对象。
（完）
欢迎阅读笔者一篇旧文，关于“? extends classA”和“? super classA”的使用：
