8.泛型

最新推荐文章于 2024-08-20 09:55:27 发布

qq_huatian

最新推荐文章于 2024-08-20 09:55:27 发布

阅读量154

点赞数

分类专栏：疯狂java讲义-阅读小记文章标签：泛型

本文链接：https://blog.csdn.net/qq_21874145/article/details/80830014

版权

疯狂java讲义-阅读小记专栏收录该内容

19 篇文章 0 订阅

订阅专栏

本章要点

编译时类型检查的重要性
使用泛型实现编译时进行类型检查
定义泛型接口，泛型类
派生泛型接口，泛型类的子类，实现类
使用类型通配符
设定类型通配符的上限
设定类型形参的上限
在方法签名中定义类型形参
泛型方法和类型通配符的区别和联系
设定类型通配符的下限
泛型方法与方法重载
擦除与转换
泛型与数组

本章的知识可以与前一章内容补充阅读，因为JDK1.5增加泛型支持很大程度上都是为了让集合能记住其元素的数据类型。在没有泛型之前，一旦把一个对象“丢进”java集合中，集合就会忘记对象的类型，把所有的对象当成Object类型处理。当程序从集合中取出对象后，就需要进行强制类型转换，这种强制类型转换不仅代码臃肿，而且容易引起ClassCastException异常。

增加了泛型支持后的集合，完全可以记住集合中元素的类型，并可以在编译时检查集合中元素的类型，如果试图向集合中添加不满足类型要求的对象，编译器就会提示错误。增加泛型后的集合，可以让代码更加简洁，程序更加健壮（java泛型可以保证如果程序在编译时候没有警告，运行时就不会产生ClassCastException异常）。除此之外，java泛型还增加了枚举类，反射等方面的功能。

8.1 泛型入门

java的集合有个缺点：当我们把一个对象“丢进”集合里后，集合就会“忘记”这个对象的数据类型，当再次取出该对象时，该对象的编译类型就变成了Object类型（其运行时类型没变）。

java集合之所以被设计成这样，是因为设计集合的程序员不会知道我们需要用它来保存什么类型的对象，所以它们把集合设计成能保存任何类型的对象，只要求具有很好的通用性。但这样做也带来两个问题：

集合对元素类型没有任何限制，这样可能引发一些问题：例如像创建一个只能保存Dog对象的集合，但程序也可以轻易地将Cat对象“丢”进去，所以可能引发异常。
由于把对象“丢进”集合时，集合丢失了对象的状态信息，集合只知道它盛装的是Object，因此取出集合元素后通常还需要进行强制类型转换。这种情况强制类型转换既会增加编程的复杂度，也可能引发ClassCastException。

8.1.1 编译时不检查类型的异常

8.1.2 手动实现编译时检查类型

8.1.3 使用泛型

创建这种特殊集合的方法是：在集合接口，类后增加尖括号后，尖括号里放一个数据类型，即表明这个集合接口，集合类只能保存特点类型的对象。

8.2 深入泛型

所谓泛型：就是允许在定义类，接口时指定类型形参，这个类型形参将在声明变量，创建对象时确定（即传入实际的类型参数，也可称为类型实参）。

8.2.1 定义泛型接口，类

8.2.2 从泛型类派生子类

注意:

方法中的形参（这种形参代表变量，常量，表达式等数据，本书把它们直接称为形参，或者称为数据形参），只有当定义方法时才可以使用数据形参，当调用方法（使用方法）时必须为这些数据形参传入实际的数据；与此类似的是：类，接口中的类型形参，只有在定义类，接口时才可以使用类型形参，当使用类，接口时应为类型形参传入实际的类型。