（五-4）泛型深入

1、泛型概述：

• 泛型：是JDK5中引入的特性，可以在编译阶段约束操作的数据类型，并进行检查。
• 泛型的格式：<数据类型>; 注意：泛型只能支持引用数据类型。
• 集合体系的全部接口和实现类都是支持泛型的使用的。

泛型的好处：

• 统一数据类型。
• 把运行时期的问题提前到了编译期间，避免了强制类型转换可能出现的异常，因为编译阶段类型就能确定下来。

2、自定义泛型类：

泛型类的格式：修饰符 class 类名<泛型变量>{ }

public class MyArrayList<T> {}

此处泛型变量T可以随便写为任意标识，常见的如E、T、K、V等。

泛型类的原理：把出现泛型变量的地方全部替换成传输的真实数据类型。

3、自定义泛型方法：

泛型方法的格式：修饰符 <泛型变量> 方法返回值 方法名称(形参列表){}

public static <T> T[] getArr(T[] arr){
        return arr;
    }

作用：方法中可以使用泛型接收一切实际类型的参数，方法更具备通用性。

**泛型方法的原理：**把出现泛型变量的地方全部替换成传输的真实数据类型。

4、自定义泛型接口：

泛型接口的格式：修饰符 interface 接口名称<泛型变量>{}

//范例：泛型接口 
public interface Data<E>{
    void add(E e);
    void delete(int id);
    void update(E e);
    E queryById(int id);
}

//实现接口
public class StudentData implements Data<Student>{
    @Override
    public void add(Student student) {
    }

    @Override
    public void delete(int id) {
    }

    @Override
    public void update(Student student) {
    }

    @Override
    public Student queryById(int id) {
        return null;
    }
}

作用：泛型接口可以让实现类选择当前功能需要操作的数据类型

**泛型接口的原理：**实现类可以在实现接口的时候传入自己操作的数据类型，这样重写的方法都将是针对于该类型的操作。

5、泛型通配符、上下限

通配符：？

• ? 可以在“使用泛型”的时候代表一切类型。
• E T K V 是在定义泛型的时候使用的。

//无界通配符:表示类型参数可以是任何类型
public class Apple<?>{}
 
//表示类型:参数必须是A或者是A的子类
public class Apple<? extends A>{}
 
//泛型下限:表示类型参数必须是A或者是A的超类型
public class Apple<? supers A>{}

//范例：此时调用go方法的参数必须是Car的子类或是Car。
public static void go(ArrayList<? extends Car> cars){}