泛型理解

泛型的基本应用：

作用：

1， 省去了转型的麻烦

2，  将运行时异常，转化到编译时异常。

缘由：

泛型是提供给javac编译器使用的（可以使用反射技术跳过），可以限定集合中的输入类型，让编译器挡住源程序中的非法输入，

注意：编译器编译带泛型的集合时，会除掉“类型”信息，使程序运行效率不受形象，对于参数化的泛型类型，getClass（）方法的返回值和原始类型完全一样。

由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某一泛型集合中加入其他类型的数据。如：用反射得到集合，再调用add（）方法即可。

术语：

     如：ArrayList<E> 和ArrayList<Integer>的术语介绍

            ArrayList<E>中的E称为类型变量或类型参数；

            整个ArrayList<Integer>成为参数化的类型；

            ArrayList<Integer>中的Integer成为类型的实例或实际类型参数；

            ArrayList<Integer>：中的<>念 ：typeof

            ArrayList 称为原始类型。

注意：

1，参数化类型与原始类型的互相兼容。

       ① 参数化类型可以引用一个原始类型的对象，编译报告警告；

             如：Collection <String> c = new Vector();

        ② 原始类型可以引用一个参数化类型的对象，编译报告警告；

             如：Collection c = new Vector<String>;

2，在创建数组实例时，数组的元素不能使用参数化的类型。

             如：Vector<Integer> vectorList[] = new Vector<Integer>[10];

 

      

泛型通配符：

“？”是一个通配符可以引用其他各种参数化的类型。但是，注意：通配符定义的变量主要用作引用，可以调用与无参数化的方法，不能调用与参数化有关的方法。

       通配符的扩展：（限定通配符总是包括自己）

1，  限定通配符的上边界：（存入元素时）

           Vector<? Extends Number> x = new Vector<Integer>();

2，  限定通配符的下边界：（取出元素时）

          Vector<? Super Integer> x = new Vector<Number>();

注意：

1，  用于放置泛型的类型参数的尖括号应出现在方法的的其他所有修饰符之后和在方法的返回值类型之前，也就是紧邻返回值类型之前。按照惯例，类型参数通常用单个大写字母表示。

2，  只有引用类型才可以作为泛型方法的实际参数。

3，  除了在应用泛型时可以使用extends限定符，在定义泛型时可以使用extends限定符。

泛型推断总结：编译器判断泛型方法的实际类型参数的过程称为类型推断

       根据调用泛型方法时实际传递的参数类型或返回值的类型来推断，规则如下

1，  当泛型变量值在整个参数列表中的所有参数和返回值中一处被应用了，那

么根据调用方法时该处的实际应用类型来确定，直接根据调用方法时传递的参数类型或返回值来确定泛型参数的类型

              Swap（new String[3],3,4）→static <E> void swap(E[],int I, int j)

2，  当某个类型变量在整个参数列表中的所有参数或返回值的多处被应用了，

如果调用方法时这多处的实际应用类型都对应同一种类型来确定:

                            Add(3,5)→static<T> add(T a, T b)

3，  当某个类型变量在整个参数列表中的 所有参数和返回值的多处被应用了，如果调用方法时这多处的实际应用类型都对应了不同的类型，且没有返回值，这时去取个参数中的最大交集类型；

Fill(new Integer[3],3.5f)→static <T> void fill(T[] a ,T v)→T为Number类型

4，当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用了，

如果调用方法时这多处的实际应用类型对应到了不同的类型，并且有返回值，这时优先考虑返回值的类型。

自定义泛型类的应用：

              Dao：data access object，数据访问对象

如果类的实例对象中的多处都要用到同一个泛型参数，即这些地方引用的泛型类型要保持同一个实际类型时，这时就要泛型类型类的方式进行定义，也就是类级别的泛型；

语法格式：

  Public class <E> GennerricDao{

              Private T field1;

              Public void save (T obj){}

              Public T getById (int id){}

}