什么是泛型
Java泛型( generics) 是JDK 5中引?的?个新特性, 允许在定义类和接?的时候使?类型参数( type parameter) 。
声明的类型参数在使?时?具体的类型来替换。 泛型最主要的应?是在JDK 5中的新集合类框架中。
泛型最?的好处是可以提?代码的复?性。 以List接?为例,我们可以将String、 Integer等类型放?List中, 如不?泛型, 存放String类型要写?个List接口, 存放Integer要写另外?个List接口, 泛型可以很好的解决这个问题。
泛型中K T V E ? object等的含义
其实这些全都属于java泛型的通配符,实际上这几个其实没啥区别,只不过是一个约定好的字母标识,不要害怕。其实也可以 使用大写字母A,B,C,D......X,Y,Z定义的,就都是泛型,把T换成A也一样,这里T只是名字上的意义而已。
E
E - Element (在集合中使用,因为集合中存放的是元素),E是对各方法中的泛型类型进行限制,以保证同一个对象调用不同的方法时,操作的类型必定是相同的,E可以用其它任意字母代替。
T
T - Type(Java 类),T代表在调用时的指定类型,会进行类型推断。
K
K - Key(键)
V
V - Value(值)
N
N - Number(数值类型)
?
?- 表示不确定的java类型,是类型通配符,代表所有类型。?不会进行类型推断
上下界限定符extends 和 super
extends T>和 super T>是Java泛型中的“通配符(Wildcards)”和“边界(Bounds)”的概念。
extends T>:是指 “上界通配符(Upper Bounds Wildcards)”,即泛型中的类必须为当前类的子类或当前类。
super T>:是指 “下界通配符(Lower Bounds Wildcards)”,即泛型中的类必须为当前类或者其父类。
先看一个列子:
publicclass Food {}publicclass Fruit extends Food {}publicclass Apple extends Fruit {}publicclass Banana extends Fruit{}publicclass 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,而List 其实是任意类型的List。你可以把List, List赋值给List>,却不能把List赋值给 List。