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");
}
}