JAVA字符串和list集合的区别_[java]你到底知不知道List<Object>和List<?>的区别

本文通过解释List和List>区别，试图帮助读者理解泛型的一些细节。本文难度：初级。

最近有小伙伴提问：搞不清楚List和List>的区别，比如说：

这样一个方法：

public static void printA(List list) {

for (Object o : list) {

System.out.println(o);

}

System.out.println();

}

你只可以：

printA(new ArrayList());

//printA(new ArrayList());//编译错误

但是，如果换成List>方法：

public static void printB(List> list) {

for (Object o : list) {

System.out.println(o);

}

System.out.println();

}

你却可以做很多：

printB(new ArrayList());

printB(new ArrayList());

printB(new ArrayList());

那么，问题来了。既然，所有的java教程都会告诉我们，任何java对象都是Object类型的，可是：

为什么使用List时会编译不通过的代码，换成List>又可以了呢？

List和List>到底有什么区别的？

笔者将尝试从3个问题出发，来回答上述疑问：

问题1：为什么List和List不是父子关系？

在java的世界里，任何java对象都是Object的子类。所以我们可以这样：

Object o1 = new Object();

Object o2 = "abc";

Object o3 = 123;

但是List使用的是泛型。

泛型是不可变。即对于任何2个不同类型的type1和type2，List即不是List的子类型，也不是List的超类型。(《effective java》第25条 )

简单的说String和Object是父子关系，但是List和List之间没有继承关系。

问题2：List>是什么？

因为List和List之间没有继承关系，但是考虑到代码的通用性，我们又希望有一种类型，可以“兼容”List和List。所以泛型里提供了“?”统配符:

List> list1 = new ArrayList();

List> list2 = new ArrayList();

统配符的用法:

“?”表示无上下界

“? extends classA”表示以classA为上界,即以classA为父类

“? super classA”表示以classA为下界,即以classA为子类

用法举例:

List extends String> list3 = new ArrayList();

List super String> list1 = new ArrayList();

List super String> list2 = new ArrayList();

问题3：List和List>到底有什么区别的?

List list = new ArrayList();

这句代码中：

等号左边含义是：创建一个list变量，他的类型List。意味这个变量接受List的子类(实现类)的实例，但限制是泛型必须是Object。

等号右边: 创建一个ArrayList对象，这个对象的泛型是Object

中间的等号是赋值的意思(废话，嘿嘿)

List> list = new ArrayList();

这句代码中：

等号左边含义是: 创建一个list变量，他的类型List>。意味这个变量接受List的子类(实现类)的实例，而且泛型可以是任意类型

其他含义同上

简而言之 List接受泛型是Object的List对象，List>接受泛型是任意类型的List对象。

(完)

欢迎阅读笔者一篇旧文，关于“? extends classA”和“? super classA”的使用：

非常感谢您的阅读！您的留言、打赏、点赞、关注、分享，对笔者最大的鼓励:P