java---泛型复习

1、什么是泛型

泛型是一种特殊的类型。你不用一开始就指明参数的具体类型，而是先定义一个类型变量，在使用的时候再确定参数的具体类型。
泛型让程序在编译时，就可以发现一些错误，比如不可向存储字符串的List添加数字，加强了程序的安全性与健壮性。

2、泛型的使用

泛型的使用有两个方面

• 泛型类
• 泛型方法

泛型类

可以自定义一个泛型类，或者继承一个泛型类，再将类声明为泛型类。

class Box<T>{
    T matter;
    public T getMatter() {
        return matter;
    }
}
=======================================
class Student<T> extends Person<T>{
    T matter;

    public T getMatter() {
        return matter;
    }
}

泛型方法

 public <T> void print(T tmp){
        System.out.println(tmp);
    }

PS：

• 类型参数T必须是引用类型
• 泛型类的类型参数在创建对象时确定，所以在泛型类的静态方法上无法使用泛型，但是可以使用静态泛型方法。
• 不可以创建类型参数T的数组，eg：T[] array = new T[]这是错误的
• java的泛型体现在编译阶段，在运行时，实际上会执行类型擦除，将原生类型装入类加载器。

泛型擦除：编译后，将泛型信息擦除。ArrayList< String >擦除后变成了 ArrayList，参数类型T变成了Object对象

证明：

System.out.println(new ArrayList<String>());
输出 java.util.ArrayList。可以看见class对象擦除了泛型信息

3、泛型类的继承关系

代码验证：如果存在继承关系，子类就可以向上转型

        List<Object> list = null;
        List list1 = null;
        List<Integer> integerList = null;
        ArrayList<Integer> integers = new ArrayList<>();
        ArrayList<Object> objects = new ArrayList<>();
        list = objects;
        integerList = integers;
        list = integerList;
        integerList = objects;
        list1 = objects;
        list1 = integerList;

PS：在编译器看来 List<Object>与List不同，一个使用了泛型,一个是原生类型

总结：泛型类的继承关系不由参数类型决定。

4、通配符（?）

1、使用背景

假设存在两个List，List< Cat >,List< Dog >,假设现在要对两个List进行操作，如果不使用通配符就要写两个方法

public void control(list<cat> l)
public void control(list<cat> l)

但是使用了通配符就可以实现类似多态的效果。

public void control(list<?> l)

2、通配符的使用

在使用通配符 ?之前，先了解一下通配符？的意思：?表示所有Java引用类型
通配符的使用有三种情况

• 无界通配符：?,表示所有对象
• 上界通配符：? extends Class/Interface,表示Class对象及其子类
• 下界通配符：? super Class/Interface，表示Class对象及其父类

还是以上面的list举例：
无界通配符：public void control(list<?> l)
这样的话任何对象都可以被操作，但是如果我们只想让动物类被操作，该怎么办呢？
由此，我们引进了上界通配符public void control(list<? extends Animal> l)
同理，如果我们只要操作猫科动物，那么只需要使用下界通配符public void control(list<? super Cat> l)

---

注意：List<?> list只能用来接收数据，不可以添加数据。验证：

List<?> list = new ArrayList<>();
list.add(2);

3、与其他参数类型（T）等的区别

常用的 T，E，K，V，？
本质上这些个都是通配符，没啥区别，只不过是编码时的一种约定俗成的东西。比如上述代码中的 T ，我们可以换成 A-Z 之间的任何一个 字母都可以，并不会影响程序的正常运行，但是如果换成其他的字母代替 T ，在可读性上可能会弱一些。通常情况下，T，E，K，V，？是这样约定的：
？表示不确定的 java 类型
T (type) 表示具体的一个java类型
K V (key value) 分别代表java键值中的Key Value
E (element) 代表Element

区别一

？和 T 都表示不确定的类型，区别在于我们可以对 T 进行操作，但是对 ？不行，比如如下这种 ：

// 可以
T t = operate();

// 不可以
？car = operate();

简单总结下：

T 是一个 确定的 类型，通常用于泛型类和泛型方法的定义，？是一个 不确定 的类型，通常用于泛型方法的调用代码和形参，不能用于定义类和泛型方法。

区别二

类型参数可以实现多重限定，而通配符不行
验证：

  public <T extends String & Serializable> void print(T tmp){
        System.out.println(tmp);
    }
======================================================================
 public void p(List<? extends Comparable<Integer> & Serializable> list){}

注意：使用多重限定时，除了第一个对象可以是类或接口，其他对象必须是接口类型，验证：

public <T extends Serializable & String> void print(T tmp){
        System.out.println(tmp);
    }