泛型:所谓泛型,就是变量的类型参数化。
作用:限制泛型可用类型。
在定义泛型类别时,预设可以使用任何的类型来实例化泛型类型中的类型,但是如果想要限制使用泛型类别时,只能用某个特定类型或者是其子类型才能实例化该类型时,可以在定义类型时,使用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");
}
}
转载于:https://blog.51cto.com/zlfwmm/1712805