初识泛型

问题1：
什么是泛型？
答：
在网上百度了一段标准解释。

java 泛型（generics）是 JDK 5 中引入的一个新特性,
泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。
泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。

我结合Head first java书中讲到的话来互相参考理解。

泛型提供了一种可以检察出类型安全性的方法。也就是可以避免把猫放进老鼠集合这种不合理的情况。而且在我们遇到泛型的大部分程序都会和处理集合有关。

关于泛型要知道的三个事情：

• 创建泛型化类的实例
  必须指定它所容许的内容

new ArrayList<Song>();//Song必须指定

• 声明与指定泛型类型的变量

List<Song> songList = new ArrayList<Song>();

• 调用泛型类型的方法

 void foo(List<Song> list)
 x.foo(songList);

问题2：
泛型怎么用？

1. 使用泛型的类

public class Arraylist<E> extends AbstractList<E> implements List<E>{
	public boolean add(E o){  //E代表集合的元素类型
	//更多代码
	}
}

2. 使用定义在类声明的类型参数

public class ArrayList<E> extends AbtractList<E>...{
	public boolean add(E o)//只能使用E
}

4. 使用未定义在类声明的类型参数

 public <T extends Animal> void takeThing(ArrayList<T> list)
 //<T extends Animal> 是方法声明的一部分，表示动物或者动物的子类的ArrayList是合法的

注：以泛型的观点看，extends 代表extends或implement