[笔记] 疯狂JAVA讲义（第3版）第9章 泛型

[笔记] 疯狂JAVA讲义（第3版）第9章 泛型

第9章 泛型

泛型很大程度上是为了让集合能记住其元素的数据类型。

9.1 泛型入门

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

//ListErr.javapackage ch9;import java.util.ArrayList;import java.util.List;public class ListErr { public static void main(String[] args) { //想创建一个字符串List List strList = new ArrayList(); strList.add("疯狂java"); strList.add("疯狂android"); //“不小心”将一个Integer对象 丢进集合 strList.add(5); strList.forEach(str->System.out.println(((String)str).length()));//类型转换异常 }}

当程序“不小心”把一个Integer对象丢进List集合，导致强制类型转换成String时引发ClassCastException异常。

9.1.2 使用泛型

java5 后引入了“参数化类型”(parameterized type)的概念，允许程序在创建集合时指定集合元素的类型。如​​List​​​,表明该List只能存放String类型对象。 Java的参数化类型被称为泛型（Generic）。

对于前面的ListErr程序，可以使用泛型改进。

//创建集合,只能保存字符串。放入其他类型时会引起编译错误List strList = new ArrayList();

9.1.3 Java7泛型的“菱形”语法

java7 之前使用泛型的接口、变量时，构造器也必须带泛型：

List strList = new ArrayList();

Java7之后，允许省略构造器后面的泛型信息，只给出<>即可：

List strList = new ArrayList<>();

9.2 深入泛型

9.2.1 定义泛型接口、类

//Apple.javapackage ch9;public class Apple { private T info; public Apple() {} public Apple(T info) { this.info = info; } public T getInfo() { return info; } public void setInfo(T info) { this.info = info; } public static void main(String[] args) { Applea1 = new Apple<>("苹果"); System.out.println(a1.getInfo()); Applea2 = new Apple<>(5.67); System.out.println(a2.getInfo()); } }

9.2.2 从泛型类派生子类

从泛型类、接口派生时，父类不能再包含类型形参：

//错误，父类不能带类型形参public class A extends Apple{}

如果想从Apple派生出一个子类，可以使用如方式：

public class A extends Apple

也可以是：

public class A extends Apple

如果从​​Apple​​派生子类，Apple类中的T都会被替换成String。

如果使用Apple类时没有传入实际类型参数，java编译器可能会发出警告：使用未经检查或不安全的操作。此时，系统会把​​Apple​​的T当成Object类型处理。

9.2.3 并不存在泛型类

不管为泛型的类型形参传入哪一种形参，对于Java来说，它们仍然被当成同一个类处理，在内存中也只占用一块内存空间。 因此，静态方法、静态变量、静态初始化块中不允许使用类型形参。

由于系统并没有真正生成泛型类，所以instanceof也不能用于泛型类。

9.3 类型通配符

9.3.1 使用类型通配符

为了表示各种泛型List的父类，可以使用类型通配符，类型通配符是一个问号?，这个问号表示可以匹配任何类型：

public void test(List c){ for(int i = 0; i < c.size(); i++){ System.out.println(c.get(i)); }}

可以使用任何类型的List来调用它。

但这种List仅表示它是各种List的父类，并不能把元素加入其中，

List c = new ArrayList();//下面语句引起编译错误c.add(new Object());

因为无法确定c的类型，所以不能向其中添加对象。

9.3.2 设定类型通配符的上限

如果程序希望List 只是某一类泛型List的父类：

//它表示所有Shape泛型List的父类List

类似地，由于无法确定这个受限制通配符的具体类型，所以不能添加对象进这个集合。

9.3.3 设定类型形参的上限

表示传入的类型形参是上限类型或是上限类型的子类：

//传入的类型形参是Number类或是Number的子类public class Apple{T col;...}

另一个更严格地情况是，类型形参有多个上限:(使用&符号连接多个上限)

T必须是Number或Number子类，并且必须实现ava.io.Serializable接口public class Apple

9.4 泛型方法

9.4.1 定义泛型方法

修饰符 返回值类型 方法名(形参列表){ //方法体...}

//GenericMethodTest.javapackage ch9;import java.util.ArrayList;import java.util.Collection;public class GenericMethodTest { static void fromArrayToCollection(T[] a,Collection c) { for(T o: a) { c.add(o); } } public static void main(String[] args) { Object[] oa = new Object[10]; Collection