JAVA 泛型（generic）

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关键词同时适用于类和接口