Java中类型参数“T”和无界通配符“?”的区别

快来打我* 2022-03-20 13:14 274阅读 0赞

Java技术架构 2019-01-26 12:26:00

> 专注于Java领域优质技术号，欢迎关注

作者：JavaEdge

首先要**区分开两种不同的场景**：

*  声明一个泛型类或泛型方法

**类型参数“<T>”主要用于第一种，声明泛型类或泛型方法**

*  使用泛型类或泛型方法

**无界通配符“<?>”主要用于第二种，使用泛型类或泛型方法**

# 1 <T>声明泛型类的类型参数 #

List<T>最应该出现的地方，应该是定义一个泛型List容器

但List是库里自带的容器，看看ArrayList的源码头一行：

![Java中类型参数“T”和无界通配符“?”的区别][Java_T]

ArrayList<E>中的“E”也是类型参数。只是表示容器中元素Element的时候，习惯用“E”

换一个简单的例子，我们自己定义一个新泛型容器叫Box<T>。

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 1]

**为什么这里要用类型参数？因为这是一种”约束“，为了保证Box里的item1, item2都是同一个类型T。**Box<String>，代表两个item都是String。Box<Integer>里两个item都是Integer。

List容器库里都帮我们写好了，所以我们是不会去定义List<T>的

那什么时候会出现List<T>

要么是作为泛型类的成员字段或成员方法的参数间接出现。还是刚才Box<T>的例子，

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 2]

现在Box类里有三个地方出现了List<T>：

*  成员字段item的类型
 *  get( )方法的返回值
 *  set( )方法的参数

这里写成List<T>为了表示和Box<T>类型参数保持一致

# 2 <T>声明泛型方法 #

另外一种会出现List<T>的地方是泛型方法

比如Function类的reduce是个静态泛型方法，负责对列表里的所有元素求和

这里的List<T>出现在参数，函数返回值和函数内部，也是为了保持泛型类型的一致性

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 3]

# 3 声明泛型类不能用无界通配符<?> #

反观List<?>，首先要明确**通配符不能拿来声明泛型**

像下面这样用通配符"?"来表示类型参数的约束是不行的

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 4]

Error Example

通配符是拿来使用定义好的泛型的

比如用<?>声明List容器的变量类型，然后用一个实例对象给它赋值的时候就比较灵活。

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 5]

# 4 <?>的坑 #

List<?>这个写法非常坑。因为，这时候通配符会捕获具体的String类型，但编译器不叫它String，而是起个临时的代号，比如”capture\#1“

所以以后再也不能往list里存任何元素，包括String,唯一能存的就是null

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 6]

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 7]

另外如果拿List<?>做参数，也会有奇妙的事情发生。还是刚才Box<T>的例子，有get()和set()两个方法，一个存，一个取。

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 8]

新的getSet()方法，只是把item先用get()方法读出来，然后再用set()方法存回去。按理说不可能有问题。实际运行却会报错。

error: incompatible types: Object cannot be converted to capture#1

原因和前面一样，通配符box<?>.set()的参数类型被编译器捕获，命名为capture\#1，和box<?>.get()返回的Object对象无法匹配

解决方法，是要给getSet()方法写一个辅助函数

![Java中类型参数“T”和无界通配符“?”的区别][Java_T 9]

# 5. 有界通配符<? extends XXX>，<? super XXX> #

实际更常用的是<? extends XXX>或者<? super XXX>两种，带有上下界的通配符

> 链接：https://www.jianshu.com/p/63f40784bc6a

[Java_T]: http://p1.pstatp.com/large/pgc-image/6f813cd3b66447ecbbe9195f37734e7e
[Java_T 1]: http://p1.pstatp.com/large/pgc-image/2faa5edcb28f4f7d8fc7b3e90b3be4e3
[Java_T 2]: http://p1.pstatp.com/large/pgc-image/39eba9eab1e74f78a52f8563e23ca3f6
[Java_T 3]: http://p9.pstatp.com/large/pgc-image/48244cb0d7244f5c9459d973ee07e894
[Java_T 4]: http://p1.pstatp.com/large/pgc-image/20ca4db5067b43ebb39b364ef4411346
[Java_T 5]: http://p9.pstatp.com/large/pgc-image/a8f342f7e51b40aebcd5032ab5215398
[Java_T 6]: /images/20220320/23cb4dc98f7d43eead7f598050765fb0.png
[Java_T 7]: http://p9.pstatp.com/large/pgc-image/d283a28939ce4c48b02e12e6400172b3
[Java_T 8]: http://p9.pstatp.com/large/pgc-image/e77929b374b248969b3911dfedfdd4ea
[Java_T 9]: /images/20220320/dc80d3e378b84a978efe04f471f2623d.png