《Java面向对象程序设计》学习笔记——第 13 章 泛型与集合框架

​笔记汇总：《Java面向对象程序设计》学习笔记

​# 第 13 章 泛型与集合框架

Java 提供了实现常见数据结构的类，这些实现数据结构的类通称为 Java 集合框架。

在 JDK1.5 后， Java 集合框架开始支持泛型，本章首先介绍泛型，然后讲解常见数据结构类的用法。

13.1 泛型

泛型 (Generics) 是在 JDK1.5 中推出的，其主要目的是可以建立具有类型安全的集合框架，如链表、散列映射等数据结构，本节主要对 Java 的泛型有一个初步的认识（基本够用）。

定义泛型类

使用 "class 名称〈泛型列表〉”声明一个类，为了和普通的类有所区别，这样声明的类称作泛型类，如：

class People<E>

其中 People 是泛型类的名称， E 是其中的泛型，

也就是说我们并没有指定 E 是何种类型的数据，它可以是任何对象或接口，但不能是基本类型数据。

也可以不用 E 表示泛型，使用任何一个合理的标识符都可以，但最好和我们熟悉的类型名称有所区别

// 不使用泛型
class Cone {double height,Circle bottom,public Cone (Circle b) {bottom = b;}
}// 使用泛型
class Cone<E> {double height,E bottom,public Cone (E b) {bottom = b;}
}

泛型类声明对象

和普通的类相比，泛型类声明和创建对象时，类名后多了一对“ <> ”

而且要用具体的类型替换“ <> ”中的泛型（或使用统配?）。

用具体的类型

用具体的类型替换“ <> ”中的泛型，例如，用具体类型 CircIe 替换泛型 E ：

Circle circle = new Circle();
Cone<Circle> coneOne;    // 具体类型 Circle ，不可以用泛型 E : Cone<E> cone0ne;
coneOne = new Cone<Circle>(circle);

使用统配?

泛型类声明对象时，可以使用通配符？来限制泛型的范围。

例如，限制泛型 E 的范围：

Cone<? extends Geometry> coneOne;

如果 Geometry 是类，那么“<？ extends Geometry >”中的“：？ extends Geometry ”表示任何Geometry 类的子类或 Geometry 类本身（可理解为泛型 E 被限制了范围）；

如果 Geometry 是接口，那么“<？ extends Geometry >”中的“：？ extends Geometry" 表示任何实现 Geometry 接口的类。

假设 Geometry 是接口， Circle 是实现了 Geometry 接口的类，那么下列创建 cone()ne 就是合法的：

Circle circle = new Circle();
coneOne = new Cone<CircIe>(circ1e);

再如：

Cone <? super B > coneOne;

这里 B 必须是一个类，不可以是接口，“<？ super B >”中的“：？ super B ”表示 B 类的任何父类（包括 B 类本身）。

泛型类声明对象时，也可以仅仅使用通配符“？”代表泛型 E ，但不限制泛型 E 的范围（”?“代表任意类型），创建对象时，必须用具体的类型，例如：

Circle circle = new Circle();
Cone<?> coneOne = new Cone<Circle>(circle);

小结

Java 泛型的主要目的是可以建立具有类型安全的数据结构，如链表、散列表等数据结构，

最重要的一个优点就是：在使用这些泛型类建立的数据结构时，不必进行强制类型转换，即不要求进行运行时类型检查。

JDK 1.5 是支持泛型的编译器，它将运行时的类型检查提前到编译时执行，使代码更安全。

Java 推出泛型的主要目的是为了建立具有类型安全的数据结构，如链表、散列映射等。

13.2 链表

---

还在做笔记中，请耐心等待