Java Generics

一）泛型的作用
      相对于依赖程序员来记住对象类型、执行类型转换——这会导致程序运行时才发现错误，很难调试和解决。 泛型的主要好处就是让编译器保留参数的类型信息，执行类型检查，执行类型转换操作：编译器保证了这些类型转换的绝对无误。而编译器能够帮助程序员在编译时强制进行大量的类型检查，发现其中的错误。并且Java泛型是一种便捷语法，能节省你某些Java类型转换(casting)上的操作。

二）泛型的声明
     泛型的声明可细分为四种： 泛型类声明，泛型接口声明，泛型方法声明，泛型构造器声明
     1）泛型类和接口声明
     两者非常类似：
    

     public class GenericsFoo<T> { ...}
     public interface GenericsIFoo<T> { ...}
     public interface List<T> extends Collection<T> { ...}
     

     声明完以后，在该类/接口里就可使用泛型标记如下：
    

 T get(int index); 

    
     2）泛型方法和构造器的声明
    

 public static <T> T getFirst(List<T> list) { ...}
 <X> GenericsFoo(X x) {...}

   
     3)实例：
    

class MyClass<X> {
  <T> MyClass(T t) {  }
}
public class Test{
  public static void main(String args[]){
        Integer i = 0;
        MyClass<String> mc = new MyClass<String>(i);
  }
}

三）限制类型和通配符
    1）限制类型
    如果有类声明限制类型如下：

public class CollectionGenFoo<T extends Collection> {...} 

    那么：

 //正确：
 CollectionGenFoo<ArrayList> listFoo = null;
 listFoo = new CollectionGenFoo<ArrayList>(new ArrayList());

 //出错了,不让这么干。
 CollectionGenFoo<Collection> listFoo = null;
 listFoo=new CollectionGenFoo<ArrayList>(new ArrayList());

这个故事告诉我们两点：
    1' 泛型中CollectionGenFoo<A>与CollectionGenFoo<B>没有任何继承，父子或相等的关系，无论A和B是什么关系
    2' <T extends Collection>限定的是T类型是实现Collection接口的类型，或者T是继承了XX类的类型。
  
    2）通配符
    <?>  允许Object及其下的任何Java类。也就是任意类。看似有点多余，但记住哦A<?>和A<T>永远不等啊！这很有用
    <? extends T> 向下限制,只接受T及其子类。一下是个例子：

//现在不会出错了
　CollectionGenFoo<? extends Collection> listFoo1 = null;
　listFoo=new CollectionGenFoo<ArrayList>(new ArrayList());

    <? super T> 向上限制，只接受T及其父类。

四）注意事项
    1) PECS法则,”Producer Extends, Consumer Super”,不细说了，详见《effective java》
    2) 一个static方法，无法访问泛型类的类型参数，所以，若要static方法需要使用泛型能力，必须使其成为泛型方法。
    3) 一个不错的例子
声明：

public static <E> Set<E> union(Set<? extends E> s1, Set<? extends E> s2)

错误的使用,报错,因为E无法确定，需显示指明：

Set<Integer> integers = ...;
Set<Double> doubles = ...;
Set<Number> numbers = union(intergers,doubles);

正确的写法：

Set<Number> numbers = Union.<Number>union(integers,doubles);