集合三（泛型补充）

集合三（泛型补充）

泛型补充

从泛型派生子类

当子类也是泛型类，子类和父类的泛型类型要一致

子类不是泛型类，父类就要明确泛型数据类型

泛型接口

当实现了一个泛型接口，自身不是泛型类，所有Comparble接口就要明确类型

泛型通配符

类型通配符一般是使用"？"代替具体的类型实参。

所以，类型通配符是类型实参，而不是类型形参。

• 类型通配符上限 类/接口<？extends实参类型> 要求该泛型的类型，只能是实参类型，或实参类型的子类类型。

• 类型通配符下限 类/接口<？super实参类型> 要求该泛型的类型，只能是实参类型，或实参类型的父类类型。

类型擦除

型是Java 1.5版本才引进的概念，在这之前是没有泛型的，但是，泛型代码能够很 好地和之前版本的代码兼容。那是因为，泛到信息只存在于代码编译阶段，在进入JVM之 前，与泛型相关的信息会被擦除掉，我们称之为一类型擦除。

泛型信息只存在于代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除 掉，专业术语叫做类型擦除。

List l1 = new ArrayList(); List l2 = new ArrayList(); System.out.println(l1.getClass() == l2.getClass());

打印的结果为 true 是因为 List和 List在 jvm 中的 Class 都是 List.class。 泛型信息被擦除了。

泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型