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

标签：泛型高级晋级   java记录   

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

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

在定义泛型类别时，预设可以使用任何的类型来实例化泛型类型中的类型，但是如果想要限制使用泛型类别时，只能用某个特定类型或者是其子类型才能实例化该类型时，可以在定义类型时，使用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");
    }
}

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

标签：泛型高级晋级   java记录   

原文地址：http://zlfwmm.blog.51cto.com/5892198/1712805