补充知识:
前情提要,泛型是编译期的一种机制
♣泛型类的定义—类型边界
在定义泛型类时,有时需要对传入的类型变量做一定的约束,可以通过类型边界来约束。
语法:
class 泛型类名称<类型形参 extends 类型边界> {
...
}
进一步:
public class MyArrayList<E extends Number> {
...
}
MyArrayList<Integer> l1;// 正常,因为 Integer 是 Number 的子类型
MyArrayList<String> l2;// 编译错误,因为 String 不是 Number 的子类型
没有指定类型边界 E,可以视为 E extends Object
♣泛型类——类型擦除
泛型是在编译期间的一种机制,在运行期间是没有那么多种类的。在运行期间会被擦除为其上界,直接上代码:
class MyArrayList<E> {
// E 会被擦除为 Object
}
class MyArrayList<E extends Comparable<E>> {
// E 被擦除为 Comprable
}
即类型擦除主要看其类型边界而定
编译器在类型擦除阶段做了如下的事:
- 将类型变量用擦除后的类型替换,即 Object 或者 Comparable
- 加入必要的类型转换语句
- 加入必要的 bridge method 保证多态的正确性
♣通配符
是一种特殊的泛型,一般用于读取的。从使用来说,泛型是编译器知道具体是那种类型(泛型),但是通配符是并不知道给定的那种类型(什么类型都可以)。
当我们编写阶段并不知道要哪种类型的元素时候,例如以下下情况:
public class MyArrayList<E> {...}
// 可以传入任意类型的 MyArrayList
public static void printAll(MyArrayList<?> list) {
...
}
// 以下调用都是正确的
printAll(new MyArrayList<String>());
printAll(new MyArrayList<Integer>());
printAll(new MyArrayList<Double>());
printAll(new MyArrayList<Number>());
printAll(new MyArrayList<Object>());
当然,通配符也可以设置上下界
上界:
// 可以传入类型实参是 Number 子类的任意类型的 MyArrayList
public static void printAll(MyArrayList<? extends Number> list) {
...
}
// 以下调用都是正确的
printAll(new MyArrayList<Integer>());
printAll(new MyArrayList<Double>());
printAll(new MyArrayList<Number>());
// 以下调用是编译错误的
printAll(new MyArrayList<String>());
printAll(new MyArrayList<Object>());
下界:
// 可以传入类型实参是 Integer 父类的任意类型的 MyArrayList
public static void printAll(MyArrayList<? super Integer> list) {
...
}
// 以下调用都是正确的
printAll(new MyArrayList<Integer>());
printAll(new MyArrayList<Number>());
printAll(new MyArrayList<Object>());
// 以下调用是编译错误的
printAll(new MyArrayList<String>());
printAll(new MyArrayList<Double>())
要注意的是:
泛型使用中的通配符上界 和 泛型定义中的类型上界是不同的概念。
♣泛型类的限制
- 泛型类型参数不支持基本数据类型
- 无法实例化泛型类型的对象
- 无法使用泛型类型声明静态的属性
- 无法使用 instanceof 判断带类型参数的泛型类型
- 无法创建泛型类数组
- 无法 create、catch、throw 一个泛型类异常(异常不支持泛型)
- 泛型类型不是形参一部分,无法重载
———————————分界线————————————————————
1.泛型是为了解决某些容器、算法等代码的通用性而引入,并且能在编译期间做类型检查。
4. 泛型利用的是 Object 是所有类的祖先类,并且父类的引用可以指向子类对象的特定而工作。
5. 泛型是一种编译期间的机制,即 MyArrayList 和 MyArrayList<Book> 在运行期间是一个类型。
6. 泛型是 java 中的一种合法语法,标志就是尖括号 < >