java中泛型小结

一、什么是泛型？
泛型（Generic type
或者 generics）是对 Java 语言的类型系统的一种扩展，以支持创建可以按类型进行参数化的类。可以把类型参数看作是使用参数化类型时指定的类型的一个占位符，就像方法的形式参数是运行时传递的值的占位符一样。
可以在集合框架（Collection framework）中看到泛型的动机。例如，Map 类允许您向一个 Map 添加任意类的对象，即使最常见的情况是在给定映射（map）中保存某个特定类型（比如 String）的对象。
因为 Map.get()
被定义为返回 Object，所以一般必须将 Map.get() 的结果强制类型转换为期望的类型，如下面的代码所示：
Map m = new HashMap();

m.put("key", "blarg");

String s = (String) m.get("key");
要让程序通过编译，必须将 get()
的结果强制类型转换为String，并且希望结果真的是一个 String。但是有可能某人已经在该映射中保存了不是 String 的东西，这样的话，上面的代码将会抛出 ClassCastException。
理想情况下，您可能会得出这样一个观点，即 m
是一个 Map，它将 String 键映射到 String 值。这可以让您消除代码中的强制类型转换，同时获得一个附加的类型检查层，该检查层可以防止有人将错误类型的键或值保存在集合中。这就是泛型所做的工作。

二、泛型的好处
1.类型安全。 泛型的主要目标是提高 Java 程序的类型安全。通过知道使用泛型定义的变量的类型限制，编译器可以在一个高得多的程度上验证类型假设。没有泛型，这些假设就只存在于程序员的头脑中（或者如果幸运的话，还存在于代码注释中）。
2.消除强制类型转换。 泛型的一个附带好处是，消除源代码中的许多强制类型转换。这使得代码更加可读，并且减少了出错机会。
尽管减少强制类型转换可以降低使用泛型类的代码的罗嗦程度，但是声明泛型变量会带来相应的罗嗦。比较下面两个代码例子。
该代码不使用泛型：
List li = new ArrayList();

li.put(new Integer(3));

Integer i = (Integer) li.get(0);

该代码使用泛型：
List<Integer> li = new ArrayList<Integer>();

li.put(new Integer(3));

Integer i = li.get(0);

三 泛型基础
1.类型参数
在定义泛型类或声明泛型类的变量时，使用尖括号来指定形式类型参数。形式类型参数与实际类型参数之间的关系类似于形式方法参数与实际方法参数之间的关系，只是类型参数表示类型，而不是表示值。
泛型类中的类型参数几乎可以用于任何可以使用类名的地方。例如，下面是 java.util.Map
接口的定义的摘录：
public interface Map<K, V> {

public void put(K key, V value);

public V get(K key);

}
Map
接口是由两个类型参数化的，这两个类型是键类型 K 和值类型 V。（不使用泛型）将会接受或返回 Object 的方法现在在它们的方法签名中使用 K 或 V，指示附加的类型约束位于Map 的规格说明之下。
当声明或者实例化一个泛型的对象时，必须指定类型参数的值：
Map<String, String> map = new HashMap<String,String>();
注意，在本例中，必须指定两次类型参数。一次是在声明变量 map
的类型时，另一次是在选择 HashMap 类的参数化以便可以实例化正确类型的一个实例时。
编译器在遇到一个 Map<String, String>
类型的变量时，知道 K 和 V 现在被绑定为 String，因此它知道在这样的变量上调用 Map.get() 将会得到 String 类型。
除了异常类型、枚举或匿名内部类以外，任何类都可以具有类型参数。

2.命名类型参数
推荐的命名约定是使用大写的单个字母名称作为类型参数。这与 C++
约定有所不同（参阅 附录 A：与 C++ 模板的比较），并反映了大多数泛型类将具有少量类型参数的假定。对于常见的泛型模式，推荐的名称是：
K
—— 键，比如映射的键。

V —— 值，比如 List 和Set 的内容，或者 Map 中的值。

E —— 异常类。

T —— 泛型。

3.类型通配符
假设您具有该方法：
void printList(List l) {

for (Object o : l)

System.out.println(o);

}
上面的代码在 JDK 5.0
上编译通过，但是如果试图用List<Integer> 调用它，则会得到警告。出现警告是因为，您将泛型（List<Integer>）传递给一个只承诺将它当作 List（所谓的原始类型）的方法，这将破坏使用泛型的类型安全。
如果试图编写像下面这样的方法，那么将会怎么样？
void printList(List<Object> l) {

for (Object o : l)

System.out.println(o);

}
它仍然不会通过编译，因为一个 List<Integer>
不是 一个 List<Object>（正如前一屏 泛型不是协变的 中所学的）。这才真正烦人 —— 现在您的泛型版本还没有普通的非泛型版本有用！
解决方案是使用类型通配符：
void printList(List<?> l) {

for (Object o : l)

System.out.println(o);

}
上面代码中的问号是一个类型通配符。它读作“问号”。List<?>
是任何泛型 List 的父类型，所以您完全可以将 List<Object>、List<Integer> 或 List<List<List<Flutzpah>>> 传递给 printList()。

4.泛型方法
（在 类型参数 一节中）您已经看到，通过在类的定义中添加一个形式类型参数列表，可以将类泛型化。方法也可以被泛型化，不管它们定义在其中的类是不是泛型化的。
泛型类在多个方法签名间实施类型约束。在 List<V>
中，类型参数 V 出现在 get()、add()、contains() 等方法的签名中。当创建一个 Map<K, V> 类型的变量时，您就在方法之间宣称一个类型约束。您传递给 add() 的值将与 get() 返回的值的类型相同。
类似地，之所以声明泛型方法，一般是因为您想要在该方法的多个参数之间宣称一个类型约束。例如，下面代码中的 ifThenElse()
方法，根据它的第一个参数的布尔值，它将返回第二个或第三个参数：
public <T> T ifThenElse(boolean b, T first, Tsecond) {

return b ? first : second;

}

5.有限制类型
在前一屏 泛型方法 的例子中，类型参数 V
是无约束的或无限制的 类型。有时在还没有完全指定类型参数时，需要对类型参数指定附加的约束。
考虑例子 Matrix
类，它使用类型参数 V，该参数由 Number 类来限制：
public class Matrix<V extends Number> { ... }
编译器允许您创建 Matrix<Integer>
或Matrix<Float> 类型的变量，但是如果您试图定义Matrix<String> 类型的变量，则会出现错误。类型参数 V 被判断为由 Number 限制 。在没有类型限制时，假设类型参数由 Object 限制。这就是为什么前一屏 泛型方法 中的例子，允许 List.get()
在List<?> 上调用时返回 Object，即使编译器不知道类型参数 V 的类型。

四、 一个简单的泛型类
1.编写基本的容器类
此时，您可以开始编写简单的泛型类了。到目前为止，泛型类最常见的用例是容器类（比如集合框架）或者值持有者类（比如 WeakReference
或 ThreadLocal）。我们来编写一个类，它类似于 List，充当一个容器。其中，我们使用泛型来表示这样一个约束，即 Lhist 的所有元素将具有相同类型。为了实现起来简单，Lhist 使用一个固定大小的数组来保存值，并且不接受 null 值。
Lhist
类将具有一个类型参数 V（该参数是 Lhist 中的值的类型），并将具有以下方法：
public class Lhist<V> {

public Lhist(int capacity) { ... }

public int size() { ... }

public void add(V value) { ... }

public void remove(V value) { ... }

public V get(int index) { ... }

}
要实例化 Lhist，只要在声明时指定类型参数和想要的容量：
Lhist<String> stringList = newLhist<String>(10);

2.实现构造函数
在实现 Lhist
类时，您将会遇到的第一个拦路石是实现构造函数。您可能会像下面这样实现它：
public class Lhist<V> {

private V[] array;

public Lhist(int capacity) {

array = new V[capacity]; // illegal

}

}
这似乎是分配后备数组最自然的一种方式，但是不幸的是，您不能这样做。具体原因很复杂，当学习到 底层细节 一节中的“擦除”主题时，您就会明白。分配后备数组的实现方式很古怪且违反直觉。下面是构造函数的一种可能的实现（该实现使用集合类所采用的方法）：
public class Lhist<V> {

private V[] array;

public Lhist(int capacity) {

array = (V[]) new Object[capacity];

}

}

另外，也可以使用反射来实例化数组。但是这样做需要给构造函数传递一个附加的参数—— 一个类常量，比如 Foo.class。后面在Class<T> 一节中将讨论类常量。

3.实现方法
实现 Lhist
的方法要容易得多。下面是 Lhist 类的完整实现：
public class Lhist<V> {

private V[] array;

private int size;
public Lhist(int capacity) {

array = (V[]) new Object[capacity];

}
public void add(V value) {

if (size == array.length)

throw newIndexOutOfBoundsException(Integer.toString(size));

else if (value == null)

throw new NullPointerException();

array[size++] = value;

}
public void remove(V value) {

int removalCount = 0;

for (int i=0; i<size; i++) {

if (array[i].equals(value))

++removalCount;

else if (removalCount > 0) {

array[i-removalCount] = array[i];

array[i] = null;

}

}

size -= removalCount;

}
public int size() { return size; }
public V get(int i) {

if (i >= size)

throw newIndexOutOfBoundsException(Integer.toString(i));

return array[i];

}

}
注意，您在将会接受或返回 V
的方法中使用了形式类型参数 V，但是您一点也不知道 V 具有什么样的方法或域，因为这些对泛型代码是不可知的。

使用 Lhist 类
使用 Lhist
类很容易。要定义一个整数 Lhist，只需要在声明和构造函数中为类型参数提供一个实际值即可：
Lhist<Integer> li = new Lhist<Integer>(30);
编译器知道，li.get()
返回的任何值都将是 Integer 类型，并且它还强制传递给 li.add() 或 li.remove() 的任何东西都是 Integer。除了实现构造函数的方式很古怪之外，您不需要做任何十分特殊的事情以使Lhist 是一个泛型类。