泛型:所谓泛型,就是变量的类型参数化。

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

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