黑马程序员技术交流社区

标题: 泛型之中的通配符(Wildcards)使用 [打印本页]

作者: 王盟    时间: 2015-9-18 21:46
标题: 泛型之中的通配符(Wildcards)使用

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

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

  比如下面的例子:


import java.util.ArrayList;
import java.util.HashMap;
import java.util.LinkedList;
import java.util.List;

public class ListGenericFoo<T extends List>
{
    private T[] fooArray;

    public T[] getFooArray()
    {
        return fooArray;
    }

    public void setFooArray(T[] fooArray)
    {
        this.fooArray = fooArray;
    }
   
    public static void main(String[] args)
    {
        ListGenericFoo<LinkedList> foo1 = new ListGenericFoo<LinkedList>();
        ListGenericFoo<ArrayList> foo2 = new ListGenericFoo<ArrayList>();
        
        //Error: Bound mismatch
        //ListGenericFoo<HashMap> foo3 = new ListGenericFoo<HashMap>();
        
        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<Integer> foo1 = null;
     GenericFoo<Boolean> foo2 = null;
     //此时foo1只能接受GenericFoo<Integer>类型的实例,foo2只能接受GenericFoo<Boolean>类型的实例

         

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

      //foo = new GenericFoo<ArrayList>();

      //foo = new GenericFoo<LinkedList>();

  可以这样声明:

    GenericFoo<? extends List> foo = null;

    foo = new GenericFoo<ArrayList>();

    foo = new GenericFoo<LinkedList>();



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

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

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

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



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

  比如:        

    //引用指向继承层次之上
   GenericFoo<? super List> ge= null;
   ge = new GenericFoo<Object>();



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

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

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

作者: 15706025762    时间: 2015-9-18 21:52
赞                                                                                          




欢迎光临 黑马程序员技术交流社区 (http://bbs.itheima.com/) 黑马程序员IT技术论坛 X3.2