面向对象进阶

一、泛型

1、定义类、接口、方法时，同时声明了一个或者多个类型变量（如：<E>），称为泛型类、泛型接口，泛型方法，它们统称为泛型。

一般格式：

public class ArrayList<E> {
    ...
}

2、作用：泛型提供了在编译阶段约束所能操作的数据类型，并自动进行检查的能力！这样可以避免强制类型转换，及其可能出现的异常。

3、泛型的本质：把具体的数据类型作为参数传递给类型变量。

4、泛型类

一般格式：

修饰符 class 类名<类型变量，类型变量，...>{

}

public class ArrayList<E> {

}

注意：类型变量建议用大写的英文字母，常用的有：B、T、K、V等

泛型接口

修饰符 interface 接口名<类型变量，类型变量，...>{

}

public interface A<E>{
    ...
}

泛型方法

修饰符<类型变量，类型变量，...> 返回值类型 方法名（形参列表）{

}

代码的正确格式：

public static <T> void test(T t){

}

代码的错误格式：

public E get(int index){
    return (E) arr[index];
}

通配符

就是“？”，可以在“使用泛型”的时候代表一切类型；E、T、K、V是在定义泛型的时候使用。

泛型的上下限：

泛型上限： ？extends Car：？能接收的必须是Car类或者其子类。

泛型下限：？super Car ：？能接受的必须是Car或者其父类。

泛型的擦除问题和注意事项

泛型是工作在编译阶段的，一旦程序编译成class稳健，class文件中就不存在泛型了，这就是泛型擦除。

泛型不支持基本数据类型，只能支持对象类型（引用数据类型）。