泛型

泛型：JDK1.5版本之后出现新特性：用于解决安全问题，是一个安全机制；

java语言中的泛型基本上完全是在编译器中实现，用于编译器质性类型检查和类型推断，然后生成普通的的非泛型的字节码，这种实现技术成为擦除(编译器实现泛型类型信息保证类型安全，然后再生成字节码之前将其清除)

       泛型是给编译器看的，运行时已经没有任何泛型的痕迹

好处：

       1、将运行时期出现的问题ClassCastException,转移到了编译时期，

              方便程序员解决问题。让运行是问题减少，安全。

       2、避免了强制转换的麻烦

1、泛型术语：

          整个 ArrayList<E> 称为泛型类型

          ArrayList<E> 中的E称为类型变量或泛型变量

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

          ArrayList<Integer>中的Integer 称为类型参数的实例化或实际类型参数

         ArrayList 称为原始类型

        参数化类型与原始类型的兼容

        参数化类型不考虑类型参数的继承关系。

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

       Vector<Integer>[]  vectorList = new Vector<Integer>[]10;  //编译器报错

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

         private static<T> T add(T x,T y)

3、只有引用类型才能作为泛型方法的实际参数。swap(new int[]{1,2,4,5},2,3); //报错

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

        例：Class.getAnnotation()方法的定义。并且可以用&来指定多个边界

         如<V extends Serializable &cloneable> void method()

5、普通方法，构造方法，静态方法都可以使用泛型。

6、可以用类型变量表示异常，成为参数化的异常，可以用于方法的throws列表中，但是不能用于catch子句中

public static<T extends Exception> void sayHello() throws T  {       try {} catch(T e) {  throw (T)e;}}

7、泛型中可以同时有多个类型参数，在定义它们的尖括号中用逗号分开

例：public static<K,V>  V getValue(K key)

8、泛型格式：通过<>来定义要操作的引用数据类型。

    在使用java提供的对象时，什么时候写泛型呢？

通常在集合框架中很常见，只要见到<>就有定义泛型，其实<>就是用来接收类型的。

当使用集合时，将集合中要存储的数据类型作为参数传递到<>即可。

   泛型类：当类中要操作的引用数据类型不确定时

类中的多个方法要使用泛型，使用类级别的泛型

早起定义Object来完成扩展，现在定义泛型来完成扩展。

泛型类定义的泛型，在整个类中有效。如果被方法使用，那么泛型类的对象明确要操作的具体类型后，所要操作的类型就固定了。

   class Demo<T>

   Demo<String> d  =  new Demo<String>();

泛型方法：为了让不同方法可以操作不同类型，而且类型还不确定，可以将泛型定义在方法上。

public  <T> void  method (T t)

特殊之处；静态方法不可以访问类上定义的泛型。如果静态方法操作的应用数据类型不确定，可以将泛型定义在方法上。

public static <T>  void method(T t)

定义泛型接口：Interface  Inter<T>{void show(T t);}class InterImp implements Inter<String>{public  void show(String str)}class InterImpl<T>  implements Inter<T>{Public void show(T  t)} 

？通配符，（占位符）。   

    使用 ? 通配符可以引用其他各种参数的类型，？通配符定义的变量注意用作引用，可以调用与参数化无关的方法，不能调用与参数化有关的方法。

   泛型限定：限定通配符总是包括自己

                  ？ extends E：可以接受E类型或者E的子类型。上限。

                 ？ super E :可以接受E类型或者E的父类型，下限。