JavaEE+互联网分布式开发 开班进行中

小班授课、专家坐镇、真实项目
现在报名,与名师面对面

立即咨询

学员优秀博文赏析:泛型通配符及约束


         最课程师徒班的同学正在红红火火的学习中。仿佛、应该、必须,到了跟大家阶段性汇报成果的时候了。为什么,因为毕竟当时把师徒班说的那么好,就业班的同学该要闹革命了。

         师徒班相较于就业班,虽然课程内容和总量完全一样,但学员的学习过程掌握了更多的主动性。而检验主动性一个重要的标准,除了日常的作业和任务,就是学员们的博客了。我们要求学员必须每周一篇博文。可以说,看学员博客的过程,就可以知道大家的成长有多么大了。

         说的这么好,来,给看看呗。

         好滴。我们以后会陆续放出学员的优秀博客。看部分同学的博客,我都要怕怕了,怕很快我都要教不了他们了。长江后浪推前浪,一浪更比一浪浪~~~

         那么好,开篇是谁?开篇难道不应该选一位极具geek气息的同学(diaosi)吗?到底是geek还是diaosi,你们来评判:


         哦,不不,帅气就要露出来,怎能徒留背多芬:

         我们刘同学的这篇博客名为:《对Java通配符的个人理解(以集合为例)》。可以说,初学者能将泛型通配符及约定理解到这种程度是很不容易的。不信,你去看看身边的开发者,关于这块的概念,多数工作了多年的开发者可能都没我们的小刘同学理解的深刻。并且,刘同学一开始就不满足仅限于日常体系的学习,很早就去关注了一些优秀的编程资源,比如阿里的编码规范(本文中也有体现的)。

         咳咳,就业班的同学们,我马上就要把师徒班的若干成功经验应用到你们的头上来了哦。当然,这也意味着你们将会牺牲更多的休息时间来完成作业和任务。不过,为了拿薪水更高的offer,一切都是值得的。


         华丽的分割线,以下是刘同学博客原文: 

=============================================================

Java通配符的个人理解(以集合为例)

前言

         最近在学习Java,当学到了泛型的通配符时,不是很理解PECS(Producer Extends Consumer Super)原则,以及<? extends E> 不能使用add方法和<? super E> 不能使用get方法(注意:仅能使用Object o = list.get(0);取得是Object对象),所以我对它进行了学习和理解,这篇博文用了简单通俗的方法去讲解add和get在通配符中的使用场景以及PECS原则。可能本人的水平有限,如果我的理解有误或者内容错误,欢迎指出来,我好进行及时修改

一、什么是泛型通配符

<一>简单定义泛型统配符

         1. 在了解泛型的统配符之前,我们先了解下什么是泛型,泛型是一种包含类型参数的类,值得注意的一点是这里的类型必须是引用数据类型,而且放在尖括号< >内,这里引进了类型参数,将类直接作为了参数。

         2. 那么是什么泛型统配符呢,我没有找到定义,所以我自己给它下了个定义。泛型通配符是在泛型的使用中,用来表示对泛型类型进行类型范围限定的特殊符号。这里用通配符就是为了表明要输入的类型要在一定范围之内,说的通俗一些其实就是一个类型取值范围,而最大值是Object这是确定的。

<二>泛型通配符的分类

         1. <?>:无限通配符,可以在?中放入里放入任何引用数据类型,用来接收任意引用数据类型。

         2. <? extends E>:这个表明的是通配符的上界,通俗讲就如同取值范围中的负无穷到E,即小于等于E的所有类型, 因为E是最大的类型(最大可以达到Object),表明可以输入所有的E的子类和E,等下会进行细致的讲解。

         3. <? super E>:这个表明的是通配符的下界,通俗讲其取值范围就是E到最大值Object(因为Object是所有类的基类),就是大于等于E,小于等于Object类。

         注意:这里能制定上界或者下界,但是不能同时制定,然后<? extends E>中的extends不一定表示类与类的继承还可以表示实现的关系,然后通配符一般是用在方法的形参声明和方法调用上,无法用于定义类和接口中。 

二、泛型通配符讲解

 <一>通配符的使用以及代码演示

         1.无限通配符<?>的使用:可以传入任何引用数据类型

         A 在调用方法时使用?通配符的过程中无法使用add方法。

         原因分析:因为通配符?代表任意的数据类型,但是当我们调用的时候或者用在方法的声明上,其实这个时候还是没有给?通配符一个指定的引用数据类型,那么Java出于安全起见,就不可能允许添加元素。

         B 以上的add方法虽然无法调用,add<null>是例外。

         原因分析:因为null可以给任意引用数据类型赋值,代表任意引用数据,但是很容易引起NullPointerException。 

         C 注意使用List<?>和List<Object>当作形参时的作用不能等同,比如当传入List<Integer>时List<?>可以接收,但是List<Object>无法接收。

         原因分析:因为?代表任何参数类型可以接收,但是List<Object>中虽然Object是所有子类的父类,但是List<Object>不是List<Integer>的父类,List<Object>是ArrayList<Object>等类的父类,这就是为什么泛型前后要一致的原因,从数组的角度去理解集合就比如Object[ ] arr不是Integer[ ] arr1的父类。

2.上界通配符<? extends E>的使用:可以传入E和E的子类

         A <? extends E>作为形参时例如List<? extends E>可以使用集合的get方法来获取E或者E类型本身的元素。

         原因分析:当我们用get方法时我们其实是在获取集合里内部的元素,但是我们的集合的数据类型还没有确定,但是我们可以获得一些明确的已知条件,那就是在<? extends E>中最大的类型是E,而且这个E最大是Object,所以我们可以利用这一点,那么我们就可以清楚地了解到该集合里面的获取的元素肯定是E或者Object的子类,他们的范围肯定小于E或者Object,那么我们就可以用Object和E这两个范围比集合里面的元素大的类去接收集合里面的元素。(注:可能略显啰嗦但是我就是想解释清楚。) 

         B 在使用上界通配符时,无法调用add方法来添加非null的元素。

         原因分析:由于上面已经说得很清楚了,<? extends E>作为形参时例如List<? extends E>这时最大类型是E和Object,但是我们不清楚最小的类型是什么,因为此时?这个通配符没有被赋值,我们调用add方法是要添加集合元素或者集合元素的子类,但是我们没法明确肯定该集合元素类型,或者比该集合元素范围更小的子类,那么Java就不会允许添加元素。

3.下界通配符<? super E>的使用:可以传入E或者E的父类

         A 在使用下界通配符时,无法使用get方法获取Object以外的元素,或者需要向下转型,但是可能出现ClassCastException的异常。

         原因分析:上界通配符,在使用get方法的时候,此时类型没有明确还是问号?我们只能明确其最大父类或者接口时,我们才能接收,但是我们只能明白<? super E>作为形参时例如List<? super E>时,只能明确Object是最大父类,其他的一概不知,所以只能Object o = list.get(0)。 

         B 可以使用集合的add方法添加E或者E的子类。

         原因分析:上界通配符已经解释很清楚了,add方法添加元素时,?类型不确定就要明确该?类型的最小子类,只要比可能存在的最小子类或者子接口小的任意引用数据类型的对象,我们都可以将其添加,而下界通配符<? super E>当作形参时例如List<? super E>,此时E就是最小子类,此时add方法可以添加E或者E的父类或者接口。

<二>对PECS原则的解读

1.什么是PECS原则?

         PECS是Producer Extends Consumer Super的递归缩写,是Java中使用泛型通配符的原则。 

2.阿里巴巴的通配符使用规约

         泛型通配符<? extends T>来接收返回的数据,此写法的泛型集合不能使用 add 方法,而 < ? super T> 不能使用 get 方法,做为接口调用赋值时易出错。

         说明:扩展说一下 PECS<Producer Extends Consumer Super> 原则:第一、频繁往外读取内容的,适合用<? extends E>。第二、经常往里插入的,适合用<? super E> 。 

3.对PECS原则的简单解读

         字面意思是生产者要被继承要被当作上界通配符<? extends E>的上界E,消费者要继承其他类要被当成下界通配符<? super E>的下界E,再借助下阿里巴巴的泛型开发规约去理解下,应该就是当这个被传入的类型需要进行很多get操作获取数据的话,那么请使用上界通配符这时这个上界就如同生产者一样,因为它能被不断get到,而当需要不断进行add方法添加数据的话,请使用下界通配符这时这个下界就如同消费者一样,因为它不断地索取,因为我们在不断地add元素给它。

 

再一次的分割线

=============================================================

1:刘同学的原文博客在:http://www.cnblogs.com/JNovice/

2:师徒班持续招生中,想成为像刘同学一样的优秀学员,请来这里报名:http://www.zuikc.com