java SE 1.5的新特性
几乎所有会以泛型写的程序都与处理集合有关
泛型意味着更好的类型安全性
泛型举例 :ArrayList<String> ,指示放进ArrayList内的类只能是String 类型的对象
<>内部代表类型
泛型类的定义(ArrayList为例)
public class ArrayList<E> extends AbstractList<E> implements List<E>...{
public boolean add(E o){
//E是类型参数
//E可以用来指示可以加入的ArrayList元素类型(当然除了E可以是其他字母,一般用E,代表element)
//more code
}
//more code
}
泛型方法的定义:(如果类没有声明类型参数T,可以在
方法的返回值之前声明类型参数)
e.g.
//任何一种Animal(必须是Animal的子类或实现Animal接口)
(实际上,上面的语句等同于
public void takeThing(ArrayList<? extends Animal> list) 不同之处在于,T一旦声明了extends某类,便可以重复使用)
//以上不同于public void takeThing(ArrayList<Animal> list),前者(有extends的那个)表示Animal子类的ArrayList都可以是合法的,后者只能表示只有Animal的ArrayList是合法的
即如果传入的参数规定是ArrayList<Pig>类型,而class RuZhu extends Pig ,那么传入ArrayLIst<RuZhu> r 是不合法的
注:对于泛型来说
extends关键词同时适用于类和接口