- 首页
- 作品
- Java工程师成神之路
- 泛型各种用法
泛型各种用法
限定通配符和非限定通配符
限定通配符
对类型进⾏限制, 泛型中有两种限定通配符:
- 表示类型的上界,格式为:
<? extends T>
,即类型必须为T类型或者T子类 表示类型的下界,格式为:<? super T>
,即类型必须为T类型或者T的父类
- 泛型类型必须⽤限定内的类型来进⾏初始化,否则会导致编译错误。
⾮限定通配符
表⽰可以⽤任意泛型类型来替代,类型为<T>
上下界限定符extends 和 super
<? extends T>
和<? super T>
是Java泛型中的“通配符(Wildcards)”和“边界(Bounds)”的概念。
<? extends T>
:是指 “上界通配符(Upper Bounds Wildcards)”,即泛型中的类必须为当前类的子类或当前类。
<? super T>
:是指 “下界通配符(Lower Bounds Wildcards)”,即泛型中的类必须为当前类或者其父类。
public class Food {}
public class Fruit extends Food {}
public class Apple extends Fruit {}
public class Banana extends Fruit{}
public class GenericTest {
public void testExtends(List<? extends Fruit> list){
//报错,extends为上界通配符,只能取值,不能放.
//因为Fruit的子类不只有Apple还有Banana,这里不能确定具体的泛型到底是Apple还是Banana,所以放入任何一种类型都会报错
//list.add(new Apple());
//可以正常获取
Fruit fruit = list.get(1);
}
public void testSuper(List<? super Fruit> list){
//super为下界通配符,可以存放元素,但是也只能存放当前类或者子类的实例,以当前的例子来讲,
//无法确定Fruit的父类是否只有Food一个(Object是超级父类)
//因此放入Food的实例编译不通过
list.add(new Apple());
// list.add(new Food());
Object object = list.get(1);
}
}
- 在testExtends方法中,因为泛型中用的是extends,在向list中存放元素的时候,我们并不能确定List中的元素的具体类型,即可能是Apple也可能是Banana。因此调用add方法时,不论传入new Apple()还是new Banana(),都会出现编译错误。
- 理解了extends之后,再看super就很容易理解了,即我们不能确定testSuper方法的参数中的泛型是Fruit的哪个父类,因此在调用get方法时只能返回Object类型。结合extends可见,在获取泛型元素时,使用extends获取到的是泛型中的上边界的类型(本例子中为Fruit),范围更小。
- 在使用泛型时,存取元素时用super,获取元素时,用extends。
- 频繁往外读取内容的,适合用上界Extends。经常往里插入的,适合用下界Super。
List和原始类型List之间的区别?
- 原始类型List和带参数类型
List<Object>
之间的主要区别是,在编译时编译器不会对原始类型进行类型安全检查,却会对带参数的类型进行检查。
- 通过使用Object作为类型,可以告知编译器该方法可以接受任何类型的对象,比如String或Integer。
- 它们之间的第二点区别是,你可以把任何带参数的类型传递给原始类型List,但却不能把
List<String>
传递给接受 List<Object>
的方法,因为会产生编译错误。