Java 简单泛型

泛型，即“参数化类型”，顾名思义，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

在Java中有许多原因促成泛型的出现，其中有一个原因，就是为了创造容器类。容器，就是存放要使用的对象的地方，比如数组，不过与简单的数组相比，容器类更加灵活，具备更多不同的功能。事实上，所有的程序，在运行时都要求有一大堆对象，所以，容器类最具有重用性的类库之一。

下面是一个只能持有单个对象的类。这个类可以明确指定其特有的对象的类型：

public class Demo1 {
	private AutoDemo a;
	public Demo1(AutoDemo a) {
		this.a = a;
	}
	AutoDemo get() {
		return a;
	}
}
class AutoDemo{}

不过，这个类的重要性不怎么样，它无法持有其他类型的对象，有很多人不想为碰到的每个类型都编写一个新的类，当然，我们可以让这个类直接持有Object类型的对象：

public class Demo2 {
	private Object a;
	public Demo2(Object a) {
		this.a =a;
	}	
	public Object Get() {
		return a;
	}
	public void Set(Object a) {
		this.a =a;
	}
	public static void main(String[] args) {
		Demo2 d2 = new Demo2(new AutoDemo());
		AutoDemo a = (AutoDemo)d2.Get();
		d2.Set("AutoDemo");
		String s = (String)d2.Get();
		d2.Set(1);
		Integer i = (Integer)d2.Get();
	}
}

这样,Demo2可以存储任何类型的对象，在这个例子中，只用了一个Demo2对象，却先后三次存储了三种不同类型的对象。

有些时候，大多数人都希望容器能够同时持有多种类型的对象，但是，一般情况下，只会使用容器来存储一种类型的对象。泛型的主要目的之一就是用来指定容器要持有什么类型的对象，而且编译来保证类型的正确性。

所以，与其使用Object，更喜欢暂时不指定类型，而是稍后再决定具体使用什么类型。要达到这个目的，需要使用参数类型，用尖括号括住，放在类名后面，然后在使用这个类的时候，再用实际的类型替换此类型参数，如：

public class Demo3<T> {
	private T a;
	public Demo3(T a) {
		this.a = a;
	}
	public T Get() {
		return a;
	}
	public void Set(T a) {
		this.a = a;
	}
	public static void main(String[] args) {
		Demo3<AutoDemo> d3 = new Demo3<AutoDemo>(new AutoDemo());
		AutoDemo a = d3.Get();
	}
}

其中，T就是类型参数，当创建Demo3对象时，必须指明想持有什么类型的对象，将其置于尖括号里面，就像main()中那样，然后，就只能在Demo3中存放该类型或其子类的对象了，因为多态与泛型不冲突，并且，从Demo3中取出它持有的对象时，自动地就是正确的类型。这种就是泛型类，泛型类的声明和非泛型类的声明类似，除了在类名后面添加了类型参数声明部分。

和泛型方法一样，泛型类的类型参数声明部分也包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数，这些类被称为参数化的类或参数化的类型。

 

定义泛型方法的规则：

1、所有泛型方法声明都有一个类型参数声明部分（由尖括号分隔），该类型参数声明部分在方法返回类型之前（在下面例子中的<E>）。

2、每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。

3、类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。

4、泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型，不能是原始类型（像int,double,char的等）。