放生到锅里

疯狂Java讲义笔记-第9章泛型

第9章泛型

9.1 泛型入门

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

List list = new ArrayList();
list.add("abc");
list.add(3);
for(int i = 0; i < list.size(); i++) {
  String str = (String) list.get(i);  //(1)
}

容器不加泛型，从容器中取元素的时候并进行类型转换时，(1)可能报类型强制转换异常ClassCastException。

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

创建一个List类包裹ArrayList添加add方法，在方法形参添加可以添加的类型。弊端是要手动创建多个List子类。

9.1.3 使用泛型

List<String> list = new ArrayList<>();
list.add("abc");
list.add(3); //(1)

尖括号中间类型标明该list只能装指定类型为String，装其他类型将报错，（1）编译器将报错。

9.1.4 Java7泛型的“菱形”语法

List<String> list = new ArrayList<String>(); //(1)
List<String> list = new ArrayList<>(); //(2)

(1)为Java7之前的写法，(2)为Java7之后的写法。

9.2 深入泛型

9.2.1 定义泛型接口、类

public interface List<E> {
  void add(E e);
  ...
}

public class Apple<T> {
  private T info;

  public Apple(T info) {
    this.info = info;
  }

  public void setInfo(T info) {
    this.info = info;
  }

  public T getInfo() {
    return this.info;
  }

  public static void main(String[] args) {
    Apple<String> apple = new Apple<>("abc");
  }
}

如上例子分别声明带泛型的接口和类，使用时将泛型T改为实际类型即可。

9.2.2 从泛型类派生子类

从泛型声明的类或接口派生子类或子接口时，要指明父类泛型的具体类型而不能使用泛型，如下：

public class A extends Apple<T> {

}

编译器将报错。定义类、接口、方法时可以声明类型形参，使用类、接口、方法时应为类型形参传入实际的类型（类或接口可以不传入实际类型的参数）。
从Apple类派生子类，则改为如下代码：

//使用Apple类时为T形参传入String类型
public class A extends Apple<String> {

}

调用方法时必须为所有的数据形参传入参数值，与调用方法不同的是，使用类、接口时可以不为类型形参传入实际的类型参数，即下面代码也是正确的。

public class A extends Apple

从Apple派生子类，重写父类方法时，要注意泛型的实际类型，方法的返回类型和形参要和实际类型一致。

9.2.3 并不存在泛型类

相同泛型类的对象都由同一个类产生。
静态方法、静态初始化块或者静态变量的声明和初始化中不允许使用类型形参，因为类加载初始化静态的代码时要确定实际的类型。
instanceof 运算符后面不能使用泛型类，因为泛型为编译期检查，编译后泛型将擦除，所以runtime期间不能保证如下cs泛型为String，因此禁止使用如下错误用法：

Collection cs = nwe ArrayList<String>();
if(cs instanceof List<String>) {...} // 错误
if(cs instanceof List) {...} // 可以使用

9.3 类型通配符

public void test(List c) {
  ...
}