泛型的使用

一、泛型的出现：

 

1、泛型是在JDK1.5以后出现的新特性。泛型是用于解决安全问题的，是一个安全机制。

 

2、JDK1.5的集合类希望在定义集合时，明确表明你要向集合中装入那种类型的数据，无法加入指定类型以外的数据。

 

3、泛型是提供给javac编译器使用的可以限定集合中的输入类型说明的集合时，会去掉“类型”信息，使程序运行效率不受影响，对参数化的泛型类型，getClass()方法的返回值和原始类型完全一样。

 

4、由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其它类型的数据，如用反射得到集合，再调用add方法即可。

 

 二、好处：

 

1、使用泛型集合，可将一个集合中的元素限定为一个特定类型，集合中只能存储同一个类型的对象；这样就将运行时期出现的问题ClassCastException转移到了编译时期，方便与程序员解决问题，让运行时期问题减少，提高安全性。

 

2、当从集合中获取一个对象时，编译器也可知道这个对象的类型，不需要对对象进行强制转化，避免了强制转换的麻烦，这样更方便。

 

 三、泛型格式：

 

     通过<>来定义要操作的引用数据类型

 

     如：TreeSet<String>     -----> 来定义要存入集合中的元素指定为String类型

 

 四、泛型定义中的术语：

 

 如：ArrayList<E>类和ArrayList<Integer>

 

 1、ArrayList<E>整个称为泛型类型

 

2、ArrayList<E>中的E称为类型变量或类型参数

 

3、整个ArrayList<Integer>称为参数化类型

 

4、ArrayList<Integer>中的Integer称为类型参数的实例或实际类型参数

 

5、ArrayList<Integer>中的<>称为typeof

 

 6、ArrayList称为原始类型

 

 参数化：parametered，已经将参数变为实际类型的状态。

 

 五、在使用java提供的对象时，何时写泛型？

 

     通常在集合框架中很常见，只要见到<>就要定义泛型，其实<>就是用来接收类型的，当使用集合时，将集合中要存储的数据类型作为参数传递到<>中即可。

 

 六、关于参数化类型的几点说明：

 

1、参数化类型与原始类型的兼容性

 

 第一、参数化类型可引用一个原始类型的对象，编译只是报警告，能不能通过编译，是编译器说了算。

 

 如：Collection<String> coll =new Date();

 

第二、原始类型可引用一个参数化类型的对象，编译报告警告

 

 如：Collection coll = newVector<String>();

 

原来的方法接受一个集合参数，新类型也要能传进去。

 

2、参数的类型不考虑类型参数的继承关系：

 

Vector<String> v = newVector<Objec>();//错误的

 

 不写Object没错，写了就是明知故犯

 

Vector<Objec> v = new Vector<String>();//错误的

 

3、在创建数组实例时，数组的元素不能使用参数化的类型

 

 如：Vector<Integer> v[] =newVector<Integer>[10];//错误的

 

-----

当传入的类型不确定时，可以使用通配符?

 

1、使用?通配符可引用其他各种类型化的类型，通配符的变量主要用作引用，也可调用与参数化无关的方法，但不能调用与参数化有关的方法。

 

2、可对通配符变量赋任意值：

 

 如：Collection<?> coll --->coll = newHashSet<Date>();

 -----

对于一个范围内的一类事物，可以通过泛型限定的方式定义，有两种方式：

 

1、? extends E：可接收E类型或E类型的子类型；称之为上限。

 

 如：Vector<? extends Number> x =newvector<Integer>();

 

 2、? super E：可接收E类型或E类型的父类型；称之为下限。

 

 如：Vector<? super Integer>x =newvector<Number>();