java泛型的学习笔记[2]—实际使用

　　继上一文《java泛型的学习笔记[1]—基础知识》之后，本文将介绍泛型的一些应用和应用过程中遇到的问题。

　　在此之前，我们先给出一张类图：

１）泛型类型的子类型问题

　　我们首先来看这样一句代码。该行代码正确，因为Cat是Animal的子类型

　　　　Animal animal=new Cat();//

　　但是再看下一句代码：

　　　　AarrayList<Animal> animals=new ArrayList<Cat>();//编译出错

这句代码编译出错，因为虽然因为Cat是Animal的子类型，但是： ArrayList<Cat>不是AarrayList<Animal>的子类型。

　　如果深究起来，只能说ArrayList<Cat>是List<Cat>的子类型。而ArrayList<Cat>与AarrayList<Animal>是两个不兼容的类型，或者说是两个没有关系的类型。

２）通配符的使用问题

　　我们先来看看两段编译出错的代码。其

　　 1.ArrayList<?> list=new ArrayList<Cat>();
　　 list.add(new Cat());//编译出错

　　2.ArrayList<? extends Animal> list=new ArrayList<Cat>();
list.add(new Cat());//编译出错

出错的原因或许大家能想明白：使用了"?"或者"? extends Animal"的通配符，我们不确定“？”代表的类型。比如ArrayList<? extends Animal>，通配符可能代表的类型包括：Animal,Cat或Dog，还有SmallCat。若是“？”表示Dog,而这里的list.add(new Cat())肯定会出错，即？表示的类型与你想要添加数据的类型，可能是不兼容的。对于ArrayList<?>，其实也相当于ArrayList<? extends Object>。所以1和2　用法本质上是相同的。

　　因此，为了消除不确定性，为了确保类型安全，对于使用"? extends"通配符的数据结构，都不允许往其中添加任何的值了。

　　

　　那么对于“? super ”类型的情况呢？

　　比如：

　　ArrayList<? super Cat> list=new ArrayList<Cat>();
list.add(new Cat());//

list.add(new SmallCat());//

以上三句代码就是正确的。

　　为什么会这样呢？原理其实不难：因为使用了"? super Cat"后，虽然“？”也充满了不确定性，包括：Cat,Animal,还有Object。但是其中却有一条确定性：Cat与SmallCat一定与?兼容。因为？可能的最底层次就是Cat，也就是说Cat和SmallCat一定是？本身的类型或？的子类型。这时，list.add(new Cat());与list.add(new SmallCat());当然是是能保证正确的。

３）泛型在ＳＳＨ框架中的运用

　　　　在ssh中，一般我们会自定义一些基类，对我们项目中的一些功能或代码进行封装。比如，我们通常会定义Dao层的基类，Service层的基类，还有Action的基类　等

　　等。

以DAO层为例，在做项目的时候每次都为每个POJO实体写一个对应的DAO很麻烦，虽然可以由IDE或者一些快速生成工具来生成，但是也难免需要更改。基于此

　　原因，一般我们需要定义一个通用的泛型DAO来封装一些最基本的操作，包括对实体的增删改查等。这样就大大简化了代码，也保证了DAO层在使用时的类型安全。

　　　　

OK，本文就到这里吧。欢迎各位参与讨论和补充内容。