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

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

  • 声明一个泛型类或泛型方法 类型参数“<T>”主要用于第一种,声明泛型类或泛型方法
  • 使用泛型类或泛型方法 无界通配符“<?>”主要用于第二种,使用泛型类或泛型方法

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

List<T>最应该出现的地方,应该是定义一个泛型List容器 但List是库里自带的容器,看看ArrayList的源码头一行:

ArrayList<E>中的“E”也是类型参数。只是表示容器中元素Element的时候,习惯用“E” 换一个简单的例子,我们自己定义一个新泛型容器叫Box<T>。

class Box<T>{
    private T item1;
    private T item2;
}

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

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

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

class Box<T>{
    private List<T> item;
    public List<T> get(){return item;}
    public void set(List<T> t){item=t;}
}

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

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

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

2 <T>声明泛型方法

另外一种会出现List<T>的地方是泛型方法 比如Function类的reduce是个静态泛型方法,负责对列表里的所有元素求和 这里的List<T>出现在参数,函数返回值和函数内部,也是为了保持泛型类型的一致性

class Fuction{
    public static <T> List<T> reduce(List<T> list){
        //...do something
    }
}

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

反观List<?>,首先要明确通配符不能拿来声明泛型 像下面这样用通配符"?"来表示类型参数的约束是不行的

Error Example

通配符是拿来使用定义好的泛型的 比如用<?>声明List容器的变量类型,然后用一个实例对象给它赋值的时候就比较灵活。

4 <?>的坑

List<?>这个写法非常坑。因为,这时候通配符会捕获具体的String类型,但编译器不叫它String,而是起个临时的代号,比如”capture#1“ 所以以后再也不能往list里存任何元素,包括String,唯一能存的就是null

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

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

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

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

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

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

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

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏数据结构与算法

26:统计满足条件的4位数个数

26:统计满足条件的4位数个数 总时间限制: 1000ms 内存限制: 65536kB描述 给定若干个四位数,求出其中满足以下条件的数的个数:  个位数上的...

45440
来自专栏ACM算法日常

前m大的数(堆)- HDU 1280

还记得Gardon给小希布置的那个作业么?(上次比赛的1005)其实小希已经找回了原来的那张数表,现在她想确认一下她的答案是否正确,但是整个的答案是很庞大的表,...

9720
来自专栏数据结构与算法

23:过滤多余的空格

23:过滤多余的空格 总时间限制: 1000ms 内存限制: 65536kB描述 一个句子中也许有多个连续空格,过滤掉多余的空格,只留下一个空格。 输入一...

35040
来自专栏五分钟学算法

五分钟弄懂有点难度的排序:堆排序

堆是具有以下性质的完全二叉树:每个结点的值都大于或等于其左右孩子结点的值,称为大顶堆;或者每个结点的值都小于或等于其左右孩子结点的值,称为小顶堆。

15140
来自专栏赵俊的Java专栏

计算最大值

15030
来自专栏编程坑太多

java基础变量

17140
来自专栏xingoo, 一个梦想做发明家的程序员

快速排序

算法思想:对于输入的子数组a[p:r],按下面三个步骤: 1 分解:以a[p]为基准元素将a[p:r]分成三段,a[p:q-1],a[q],a[q+1:r],使...

21590
来自专栏赵俊的Java专栏

搜索插入位置

17310
来自专栏ACM算法日常

Find the nth digit(二分查找) - HDU 1597

...

9720
来自专栏数据结构与算法

1341 与3和5无关的数

1341 与3和5无关的数 时间限制: 1 s 空间限制: 64000 KB 题目等级 : 白银 Silver 题目描述 Description ...

28840

扫码关注云+社区

领取腾讯云代金券