JavaSE——泛型

补充知识：
前情提要，泛型是编译期的一种机制

♣泛型类的定义—类型边界
在定义泛型类时，有时需要对传入的类型变量做一定的约束，可以通过类型边界来约束。
语法:

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
}

即类型擦除主要看其类型边界而定
编译器在类型擦除阶段做了如下的事：

1. 将类型变量用擦除后的类型替换，即 Object 或者 Comparable
2. 加入必要的类型转换语句
3. 加入必要的 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>())

要注意的是：
泛型使用中的通配符上界 和 泛型定义中的类型上界是不同的概念。

♣泛型类的限制

1. 泛型类型参数不支持基本数据类型
2. 无法实例化泛型类型的对象
3. 无法使用泛型类型声明静态的属性
4. 无法使用 instanceof 判断带类型参数的泛型类型
5. 无法创建泛型类数组
6. 无法 create、catch、throw 一个泛型类异常（异常不支持泛型）
7. 泛型类型不是形参一部分，无法重载

———————————分界线————————————————————
1.泛型是为了解决某些容器、算法等代码的通用性而引入，并且能在编译期间做类型检查。
4. 泛型利用的是 Object 是所有类的祖先类，并且父类的引用可以指向子类对象的特定而工作。
5. 泛型是一种编译期间的机制，即 MyArrayList 和 MyArrayList<Book> 在运行期间是一个类型。
6. 泛型是 java 中的一种合法语法，标志就是尖括号 < >