Java记录 -75- 泛型高级晋级

泛型：所谓泛型，就是变量的类型参数化。

作用：限制泛型可用类型。

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

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

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 foo1 = new ListGenericFoo();        ListGenericFoo<ArrayList> foo2 = new ListGenericFoo<ArrayList>();        ListGenericFoo<LinkedList> foo3 = new ListGenericFoo<LinkedList>();        /* foo1调用方法如：setFooArray(List[] fooArray)，必须传入List[]         * foo2调用方法如：setFooArray(ArrayList[] fooArray)，必须传入ArrayList[]         * foo3调用方法如：setFooArray(LinkedList[] fooArray)，必须传入LinkedList[]         * 下面的写法会提示以下错误提示,泛型的类型必须是定义的List或其子类         * Bound mismatch: The type String is not a valid substitute for the bounded              parameter <T extends List> of the type ListGenericFoo<T>         *///        ListGenericFoo<String> foo3 = new ListGenericFoo<String>();    }}

使用“？”通配字符，并使用“extends”关键字可以限定类型持有者的型态。

使用<?>或是<? extends SomeClass>的声明方式，意味着只能通过该名称来取得所参考实例的信息，或者是移除某些信息，但不能增加它的信息，因为只知道当中放置的是SomeClass的子类，但不确定是什么类的实例，编译器不让您加入信息，理由是，如果可以加入信息的话，那么您就得记得取回的实例是什么类型，然后转换为原来的类型方可进行操作，这就失去了使用泛型的意义。

public class GenericFoo<T> {    private T foo;        public void setFoo(T foo){        this.foo = foo;    }    public T getFoo(){        return this.foo;    }        public static void main(String[] args){        GenericFoo<? extends List> ge = null;        ge = new GenericFoo<ArrayList>();        ge = new GenericFoo<LinkedList>();                GenericFoo<? super List> ge2 = null;        ge2 = new GenericFoo<Object>();                GenericFoo<? extends Object> ge3 = new GenericFoo<String>();        /*下面的语句编译时会提示以下错误信息：         * The method setFoo(capture#4-of ? extends Object) in the type              GenericFoo<capture#4-of ? extends Object> is not applicable for the arguments (String)         *///        ge3.setFoo("dfd");    }}