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