深入理解泛型(经典详解)：＜T＞ T 和 T的使用以及public ＜E＞ List＜E＞ get()泛型方法详解、类型擦除、通配符的使用、泛型类的应用、泛型之间的继承

 一、为什么要使用泛型？

        泛型俗称“标签”，使用表示。泛型就是在允许定义类，接口时通过一个标识表示某个属性的类型或者是某个方法的返回值或者是参数类型，参数类型在具体使用的时候确定，在使用之前对类型进行检查。

        泛型意味着编写的代码可以被很多不同类型的对象重用。例如集合ArrayList，如果集合不添加泛型，里面可以存储任何类型也就是Object，当添加泛型的时候，提高了代码的重用。

        泛型提供了类型参数，比如ArrayList类有一个类型参数来指示元素的类型，使得代码具有更好的可读性，一看就知道数组列表中包含的是String对象。

ArrayList list = new ArrayList();

        在Java SE 7 以后的版本中，构造函数中可以省略泛型。

ArrayList list = new ArrayList<>();

       当代码进行编译的时候，编译器知道ArrayList添加元素的类型是String类型。当编译的时候，编译器可以对调剂的元素进行检查，避免错误类型的对象，出现和集合中的泛型不匹配的对象是无法通过编译。泛型的好处在于使得程序具有更多的可读性和安全性。

---

二、定义简单的泛型类

      泛型类的表示方式在类后面添加，T是占位符。

       一个泛型类就是具有一个或者多个类型变量的类。

      举例：

public class Pair {
    private T first;
    private T second;
    
    public Pair(){}
    public Pair(T first,T second){
        this.first = first;
        this.second = second;
    }
    
    public void setFirst(T first){
        this.first = first;
    }
    public T getFirst(){
        return first;
    }
    public void setSecond(T second){
        this.second = second;
    }
    public T getSecond(){
        return second;
    }
}

     Pair类引入了一个类型遍历的变量T，放在类名的后面。泛型类也可以引用多个变量。例如：

public class Pair{}

    类定义的类型变量T，可以指定方法和局部变量的返回类型。

private T first;

public T getFirst(){
    return first;
}

   假如T的类型是String,那就是：

private String first;

public String getFirst(){
    return first;
}

补充：在Java库中，使用变量E表示集合的元素类型，K和V分别表示关键字和值的类型。T表示任意类型。

总结：泛型类可以看成普通类的工厂。需要什么类型的，泛型类就会类的后面添加什么类型的属性和方法。

---

三、泛型方法的使用

 泛型方法的定义：主要还是看的返回值类型是一个泛型

全选修饰符  返回值类型   方法名
 pulic        T     getName(){
    
}

  举个简单的案例说明泛型方法的使用：

  

  泛型的意思就是说类型可以在后面指定，但是仍然需要告诉编译器，我需要某个特定类型作为占位符。比如T：

public List f(T a){}

  编译器会问，T是什么，我怎么不认识？我并不知道这个T是类还是泛型的方法？程序员需要声明一下。

public  List f(T a){}

 共有三个T，第一个T用来声明类型参数的，后面的两个T才是泛型的实现。

 

   看下 T 和 T的用法和区别

    T  表示返回值是一个泛型，传递什么，就返回什么类型的数据。  T 表示传递的参数类型。下面依次举例：

   T返回值是一个T类型，这个T是 T中的第二个T，告诉编辑器，我传递什么你就给我返回什么样的数据类型。

/*
     T可以传入任何类型的list
    关于参数T的说明：
        第一个T表示是一个泛型
        第二个T表示方法返回的是T类型的数据
        第三个T表示集合List传入的数据是T类型
*/

private  T getStudent(List list){
    return ;
}

四、泛型代码和虚拟机

     虚拟机没有泛型类型的对象——所有对象都是属于普通类。

类型擦除：

①原始类型相等

  Java泛型是一个伪泛型，这是因为Java在编译期间所有泛型信息都会被擦除掉。Java泛型基本上都是在编译器这个层次上实现的，在生成字节码中是不包括泛型中的类型信息，使用泛型的时候添加上类型参数，在编译器编译的时候会去掉，这个过程称为类型擦除。

   如在List