Java泛型

泛型

使用泛型所定义的类在声明及配置对象时,可以使用尖括号一并指定泛型类类型持有者T真正的类型.
而类型或接口转换试不不再需要了.
例子:
   public class GenericFoo<T>{
     private T foo;
     public void setFoo(T foo){
       this.foo = foo;
     }
     public T getFoo(){
       return foo;
     }
   }

   GenericFoo<Boolean> fool = new GenericFoo<Boolean>();
  
注:   自定义泛型类时,类型持有者名称可以使用T(Type),如果是容器的元素可以使用E(Element),
   若键值匹配可以使用K(key)与V(value),Annotation时可以用A,可以参考J2SE5.0 API
   文件说明上的命名方式.


  
可以在定义泛型类时,声明多个类型持有者.
例:
   public class GenericFoo2<T1,T2>{
     private T1 foo1;
     private T2 foo2;
     public void setFoo1(T1 foo1){
       this.foo1 = foo1;
     }
     public T1 getFoo1(){
       return foo1;
     }
     public void setFoo2(T2 foo2){
       this.foo2 = foo2;
     }
     public T2 getFoo2(){
       return foo2;
     }
   }
  
   GenericFoo<Boolean,Integer> foo = new GenericFoo<Boolean,Integer>();
  


泛型可以用于声明数组类型.
例子:
   public class GenericFoo3<T>{
     private T[] fooArray;
     public void setFooArray(T[] fooArray){
       this.fooArray = fooArray;
     }
     public T[] getFooArray(){
       return fooArray;
     }
   }
  
   String [] strs = {"aaa","bbb","ccc"};
   GenericFoo3<String> foo = new GenericFoo3<String>();
   foo.setFooArray(strs);
   strs = foo.getFooArray();
  
注意: 可以用泛型机制来声明一个数组.
   public class GenericFoo<T>{
     private T[] fooArray;
     ....
   }
   但是不可以用泛型来建立数组的实例.
   public class GenericFoo<T>{
     private T[] fooArray = new T[10]; //错误的.
     ....
   }
  
  
如果已经定义了一个泛型类,若要用这个类在另一个泛型类中声明成员该如何做?
例:
   public class WrapperFoo<T>{
     private GenericFoo<T> foo;
     public void setFoo(GenericFoo<T> foo){
       this.foo = foo;
     }
     public GenericFoo<T> getFoo(){
       return foo;
     }
   }
   这样,就可以保留类型持有者T的功能.
  
   WrapperFoo<String> w = new WrapperFoo<String>();
  
  
  
泛型高级语法
泛型的语法元素其实是很基本的,只不过将这种语法来回扩展之后,可以编写出相当复杂
的泛型定义,然而无论再怎么复杂的写法,基本语法元素大致不变:
限制泛型可用类型,使用类型通配符,以及泛型的扩充与继承这几个语法.



限制泛型可用类型
可以在定义类型持有者时,同时使用extends指定这个类型持有者实例化,实例化的对象必须
是扩充自某个类型或实现某个接口.
例:
   public class ListGenericFoo<T extends List>{
     private T[] fooArray;
     public void setFooArray(T[] fooArray){
       this.fooArray = fooArray;
     }
     public T[] getFooArray(){
       return fooArray;
     }
   }
   ListGenericFoo在声明类型持有者时,一并指定这个持有者实例化的对象,必须是实现
   java.util.List接口的类,在限定持有者时,无论要限定的对象是接口或类,都是使用
   extends关键字.范例中使用extends限定类型持有者实例化的对象,必须是实现了
   List接口的类,如:LinkedList.
  
   ListGenericFoo<LinkedList> foo1 = new ListGenericFoo<LinkedList>();
  
大家在看看更复杂一点的:
   public class ListGenericFoo<T extends List<String>>{
     .................
   }
   这么定义后,我们可以使用ArrayList<String>来实例化ListGenericFoo.
   ListGenericFoo<ArrayList<String>> foo = new ListGenericFoo<ArrayList<String>>();
  


类型通配符节
   可以使用?(通配符).?代表未知类型,还可以使用extends关键字来作限定.
   <? extends List>表示类型未知,只知道是实现List接口的类.
  
   GenericFoo<? extends List> foo = null;
   foo = new GenericFoo<ArrayList>();
   foo = new GenericFoo<LinkedLst>();
  
在声明名称时如果指定了<?>而不使用extends,则默认是允许Object及其下的子类,
也就是所有的java对象.那为什么不直接使用<xxx>声明?何必要用<?>来声明?
使用通配符有一点要注意:
通过使用通配符声明的名称所参考的对象,你没有办法对它加入新的信息,您只能取得
它当中的信息或是移除当中的信息.
例:
   GenericFoo<String> foo = new GenericFoo<String>();
   foo.setFoo("caterpillar");
  
   GenericFoo<?> immutableFoo = foo;
   //可以取得信息
   System.out.println(immutableFoo.getFoo());
   //可通过immutableFoo来移去foo所参考实例内的信息
   immutableFoo.setFoo(null);
   //不可通过immutableFoo来设置新的信息给foo所参考的实例
   immutableFoo.setFoo("sssss"); //不能通过
  
所以使用<?>或是<? extends SomeClass>的声明方式,意味着只能通过该名称来取得
所参考实例的信息,或者是删除某些信息,但不能增加它的信息.理由很简单,因为您不
知道<?>或是<? extends SomeClass>声明的参考名.实际上参考的对象,当中确实存储
着什么类型的信息.基于泛型的设计理念,当然也就没有理由加入新的信息了,因为若能
加入的对象同样也会有失去类型信息的问题.


除了可以向下限制,也可以向上限制,只要使用super关键字,例如:
 
   GenericFoo<? super StringBuilder> foo = null;
   这样,foo就只接受StringBuilder及其上层的父类类型,也就是只能接受
   GenericFoo<StringBuilder>与GenericFoo<Object>的实例.
  
  
  
扩充泛型类和实现泛型接口
可以扩充一个泛型类,保留其类型持有者,并新增自己的类型持有者,例如:
   public class GenericFoo4<T1,T2>{
     private T1 foo1;
     private T2 foo2;
     public void setFoo1(T1 foo1){
       this.fool = foo;
     }
     public T1 getFool(){
       return fool;
     }
     public void setFoo2(T2 foo2){
       this.foo2 = foo2;
     }
     public T2 getFoo2(){
       return foo2;
     }
   }
  
   public class SubGenericFoo4<T1,T2,T3> extends GenericFoo4<T1,T2>{
     private T3 foo3;
     public void setFoo3(T3 foo3){
       this.foo3 = foo3;
     }
     public T3 getFoo3(){
       return foo3;
     }
   }
如果决定要保留类型持有者,则父类上声明的类型持有者数目在继承下来时必须写齐全,
也就是说,在上例中,父类上GenericFoo4上出现的T1与T2在SubGenericFoo4中都要出现.
如果不保留类型持有者,则继承下来的T1与T2自动变为Object,建议是父类的类型持有者都保留.
接口实现也是一样的.