为什么要使用泛型程序
泛型程序设计, 意味着编写的代码可以被很多不同类型的对象所重用. 例如, 我们并不希望为聚集String和File对象分别设计不同的类,
实际上，也不需要这样做, 因为一个ArrayList类可以聚集任何类型的对象, 这是一个泛型程序设计的实例. 没有泛型以前,
ArrayList维护的时一个object类型的数组, 这样当获取一个值时, 必须使用强制类型转换. (并非类型判断, 而是强制的类型转换)
简单的泛型类定义
public class Pair<T> {
public Pair() { first = null, second = null; }
public Pair(T first, Tsecond) {this.first = first; this.second = second;}
public T getFirst() { return first;}
public T getSecond() { return second;}
public void setFirst( T newvalue) {fisrt = newvalue;};
public void setSecond(T newvalue) {second = newvalue};
private T first;
private T second;
}
注意, 这种泛型类, 泛型与类是一体的, 例如在函数中, 返回一个这样的实例变量的话, 就要使用 Pair<T> 作为类型, 例如:
public static Pair<String> minmax(String[] args), 这种方法叫做泛型方法. <>
内放入具体的类型
泛型方法可以定义在普通类和泛型类中.
对泛型类型的限制, <T extends Comparable>, 这里的extends并不是继承的意思, Comparable本身是个接口,
这里的含义是, 抽象出来是 <T extends Bounding Type>, Bounding Type 表示绑定类型, 而 T
应该是绑定类型的子类型, T 和 绑定类型可以是类也可以是接口. 选择关键字 extends 更接近子类的概念, 并不是传统意义的继承. 并且可以有多个限制,
比如 <T extends Comparable & Serializable>, 例如:
public static <T extends Comparable> Pair<T> minmax(T[] a) //
这里的返回类型就是 受到限制的子类型, Pair<T>还是那句话, 是一个整体, 就当做是一个名称就可以了.
约束和局限性
1) 不能用基本类型实例化类型参数, 例如 Pair<double>不行, 但是可以有 Pair<Double>
2) 运行时类型检查时, 只能使用基本类型, 例如, if (a instanceof Pair<String>) // ok的， if (a
instanceof Pair<T>) // NG
3) 不能抛出也不能捕获泛型实例, 例如: try {} catch (T e) {}; // 这里的 T e 无法捕获
4) 参数化数组类型不合法, 例如: Pair<String>[] table = new
Pair<String>[0]; 即泛型类不能被用作定义数组变量
5) 不能实例化类型变量, 例如 new T()
泛型这个东西, 看来使用系统的泛型应该就够了对于 web 开发.