Java的泛型

1 泛型引入的原因

      为了在编译期间保证(泛型擦除，运行期间不存在泛型)，容器类只能传入指定类型的对象。

在实例化泛型类时，必须指定T的具体类型

//此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型

public class Generic<T> {
    private T key;
    public Generic(T key) {
        this.key = key;
    }
    public T getKey() {
        return key;
    }
}

2 泛型变量的限定

       表明T只能是实现了Comparable的类型，这样可以保证里面的数据都有一个compareTo方法。
      只是限定了能传入方法或者类的泛型的参数的界限，没有涉及子父类关系的改变，且只能作为泛型方法或者类的限定，而不能用来声明变量(即没有< T extends Comparable> a;)。

public static <T extends Comparable> T min(T[] a)
//限制该min方法能传入的T[] a这个数组类型，必须是实现了Comparable接口的类的数组
Person[] persons = {...};
min(persons);//可以运行，需要Person类实现了Comparable接口就行

3 泛型擦除

      jvm中没有泛型类型，所有的泛型都会被擦除(即泛型只在编译期间进行类型检查)。没有限定的泛型类型就是裸类型(是所有泛型类的父类)，有限制的泛型类型用第一个被限制的那个类型，上述就是Comparable接口。
1）不支持原始类型的泛型
2）运行器件获取不到泛型信息
即不能用泛型创建对象和数组

1）将泛型类型作为参数传递
2）signature属性中包含了泛型信息，可以由反射来获取对应的泛型信息(字段和方法参数的泛型类型还保存着)

4泛型的继承关系

**** List<Integer>和List<Object>之间没有父子关系 ****
List<Integer>和List<Object>的父类是List(裸类型)(没引入泛型通配符之前)

5 限定的通配符

          限定的通配符是为了加强泛型之间的子父类关系，这样在传参的时候可以方便的使用多态的特性。
          通配符用来声明或者传参的，并不能作为泛型方法或者泛型类的泛型类型

 static <T> void test(List<?> t){
        System.out.println("000");
 }
 但不能
  static <?> void test(List<?> t){
        System.out.println("000");
   }

<? extends Person> 代表泛型类型是继承Person类和Person类自己，都是其子类
，即泛型里面的继承关系本来是和泛型类无关的，但是通配符可以使得泛型的继承关系映射到泛型类这里。

1）通配符上限

//子类赋值给父类，是正确的
 List<? extends Person> persons= new ArrayList<Student>();
 persons.add(new Student()); //这是错误的，因为只知道Person的某个子类及该子类的后代可以传入，但该子类无法确定，故无法传入任何值
 persons.add(new Object());//这也是错误的，因为父类不能转为子类
 Person p = persons.get(0);//这是对的

          因为objects中的<? extends Person> ，指明了只需要Person的某个子类，但不知道什么具体类型，所以它拒绝传入任何类型的数据。
          get就不存在这个问题，因为获取的Person的某个子类，其一定可以赋值给Person类。
          所以该通配符一般用来传递方法参数，限定方法参数的类型，然后只能get里面的数据，而不能往里面插入数据

2）通配符的超类型限定

 List<? super Person> objects= new ArrayList<Person>();
 objects.add(new Person()); //这是正确的
 objects.add(new Object()); //这是错误的
 Object o = objects.get(0);//这是对的
 Person p = objects.get(0);//这是错的，只能赋值给Object对象

          因为objects中的? super Person，指明了需要类都是Person类及其祖先类，根据子类可以传递给父类，Person类及其祖先类的共同子类，就是Person类及其子类，故可以插入Person类及其子类数据，此外，get返回的对象是Person类及其祖先类，故只能传递给Object类。

6无限定通配符

List<?> 和 List 的区别
List可以使用add函数，传入实现Object的对象
List<?>不能调用add函数，接受也只能使用Objec
?不是类型变量，不能使用?来声明变量。但其他泛型类型可以声明

可以用来实现一些简单操作，代替泛型方法，可读性更好

7 反射和泛型

Class类也是有泛型参数的，String.class的Class对象是Class<String>