泛型之中的通配符（Wildcards）使用

限制泛型可用类型

　　在定义泛型类别时，预设可以使用任何的类型来实例化泛型类型中的类型。

　　但是如果想限制使用泛型类别时，只能用某个特定类型或者是其子类型才能实例化该类型时，可以在定义类型时，使用extends关键字指定这个类型必须是继承某个类，或者实现某个接口，也可以是这个类或接口本身。

　　比如下面的例子：

import java.util.ArrayList;import java.util.HashMap;import java.util.LinkedList;import java.util.List;public class ListGenericFoo
    
     {    private T[] fooArray;    public T[] getFooArray()    {        return fooArray;    }    public void setFooArray(T[] fooArray)    {        this.fooArray = fooArray;    }        public static void main(String[] args)    {        ListGenericFoo
     
       foo1 = new ListGenericFoo
      
       ();        ListGenericFoo
       
         foo2 = new ListGenericFoo
        
         ();                //Error: Bound mismatch        //ListGenericFoo
         
           foo3 = new ListGenericFoo
          
           (); LinkedList[] linkedLists = new LinkedList[10]; foo1.setFooArray(linkedLists); ArrayList[] arrayLists = new ArrayList[10]; foo2.setFooArray(arrayLists); }}

　　类声明中：public class ListGenericFoo<T extends List>

　　这样就规定了T必须是一个List继承体系中的类，即实现了List接口的类。

　　此处注意，虽然List是一个接口，但是关键字仍然是extends而不是implements。

　　并且这个List也可以后加括号指明类型，如List<String>等。

　　当没有指定泛型继承的类型或接口时，默认使用T extends Object，所以默认情况下任何类型都可以作为参数传入。

　　当不使用泛型时，比如那些声明时带有<T>的集合类型，如果使用时没有指定类型，泛型类别为Object。不会报错，但是会有警告。

　　<? extends SomeClass>是一个限界通配符（bounded wildcard），？代表了一个未知的类型，并且它是SomeClass的子类，也可以是SomeClass本身。

　　这里面SomeClass是统配符的上界（upper bound of the wildcard）。

　　相应的也有限定下界的，使用关键字super。

　　通配符所代表的其实是一组类型，但具体的类型是未知的。

类型通配声明

　　看下面的代码：

　GenericFoo
    
      foo1 = null;     GenericFoo
     
       foo2 = null;     //此时foo1只能接受GenericFoo
      
       类型的实例，foo2只能接受GenericFoo
       
        类型的实例

　　如果希望有一个变量foo可以指向下面所有的实例：

//foo = new GenericFoo
    
     ();      //foo = new GenericFoo
     
      ();

　　可以这样声明:

GenericFoo
     foo = null;    foo = new GenericFoo
    
     ();    foo = new GenericFoo
     
      ();

　　注意这种形式不同于前面的限制泛型可用类型时提到的形式。

　　前面提到的形式是在声明泛型的类的时候限制了可以用的泛型类型，而现在这种形式是在使用的时候限制了引用的类型，使得引用指向继承了某一个类或接口的类型。

　　如果该应用指向其他类型，则会编译报错：

//Error:Type mismatch    foo = new GenericFoo
    
     ();

　　也可以限制引用指向某个类或接口的继承层次之上的类或接口：

　　比如：

//引用指向继承层次之上   GenericFoo
     ge= null;   ge = new GenericFoo

　　使用<?>或是<? extends SomeClass>的声明方式，意味着您只能通过该名称来取得所参考的实例的信息，或者是移除某些信息，但不能增加或者改写它的信息。

　　因为只知道当中放置的是SomeClass的子类，但不确定是什么类的实例，编译器不让您加入信息，理由是，如果可以加入信息的话，那么您就得记得取回的是什么类型的实例，然后转换为原来的类型方可进行操作，这样就失去了使用泛型的意义。

　　另，GenericFoo<? extends Object>等价于GenericFoo<?>，但是它们与GenericFoo<Object>不同，因为GenericFoo<Object>限定了类型为Object。

参考资料　　

　　张龙老师Java SE视频教程。

　　The Java Tutorials : Lesson: Generics (Updated)

　　Lesson: Generics

　　Wildcards

　　Java深度历险值Java泛型

转载地址：http://rwolf.baihongyu.com/

你可能感兴趣的文章