重要声明：本文章仅仅代表了作者个人对此观点的理解和表述。读者请查阅时持自己的意见进行讨论。

本文更新不及时，请到原地址查看原文。
原地址：【Java】泛型。

一、泛型简介

泛型听名知意，它是和Java中数据类型有点关系的东西，它本什么并不是某个类型。为了更好的使用它，必须弄明白它具体的设计理念。不妨做一个生活中的比喻来解释这样的设计理念：

1. 果盘
   我们家里大厅茶几上基本上都会有一个果盘，每当来客人的时候，我们就会将各种水果放在果盘里。因为它是果盘，我们将水果放在里面这很正常，我们总不会把臭袜子放在里面，对吧！

2. 钱包
   大多数情况下，我们钱包都是拿来装钱的，只要是个人，一看到钱包，就肯定想到它里面应该有钱。总不会把家庭作业塞钱包里嘛。

3. 茶杯
   喝茶是常用的就是茶杯，茶杯里装的是茶水。虽然你可以把今晚炖的龙骨汤倒进去喝，但谁没事儿闲着会干这样的事情嘛，对吧！

可见泛型在生活中处处可见，它的出现就是为了让我们知道某一个东西是用来处理某类事物的，这就是泛型。我们在编写程序的时候常常出现一个工具方法返回了一个对象，但我们设计之初的时候此方法可能返回多种不同类型，而在泛型出现之前，我们就必须小心又小心去处理这些不同的类型。现在有了泛型，在我们编写代码的时候就完成了对返回类型直观说明，这就极大的避免了许多可能出现的隐藏bug。官方说法就是： Generics add stability to your code by making more of your bugs detectable at compile time. 翻译成中文(百度翻译)就是：泛型通过在编译时检测更多的错误来增加代码的稳定性。

二、代码说明

果盘，假设我们是用ArrayList来当果盘，在泛型出现以前，我们的果盘是这样的：

ArrayList fruits = new ArrayList();
fruits.add("苹果");
fruits.add("桃子");String fr = (String)fruits.get(0);

很明显，我们虽然有了果盘，但是我们不知道果盘里到底是不是水果，我们只有在拿到一个水果之后试图将其强制认为是一个水果。如果代码穿插很多，代码量大，不知道这个位置拿到的是不是真的水鬼，这样强制处理难免会在某一个时刻出现错误。

庆幸现在我们有了泛型，有了泛型就相当于告诉了程序，我们的果盘里只能装水果，别的你不能装，这不就保证了获取的数据就一定是水果了嘛：

ArrayList<String> fruits = new ArrayList<>();
fruits.add("苹果");
fruits.add("桃子");String fr = fruits.get(0);

通过在定义果盘的时候指定果盘能处理的数据类型<String>来指定我们的果盘只能容纳String类型的水果，当我们再次进行获取操作时，甚至都不需要再强制转换，受泛型限定，我们获取到的一定就是水果，不可能是其他的。

三、自己写支持泛型的类

上面我们提到的ArrayList是Java内置已经实现好了支持泛型用法。那么我们自己要写一个能够使用泛型技术的类又该如何实现呢。

现在不如我们来实现一个钱包，这个钱包你想要它装钱，它就只能装钱你想让它装别的也可以，满满的代码里都是注释，绝对看到高潮：

// Wallet.java// 普通类定义名称后面，多写一个尖括号，里面写这个类要处理的数据的类型，
// 当然了，这个类型只是一个类型替代符号，那么在这个类里面的所有要用到这个类型
// 的地方，都使用这个符号就可以了。
// 如果有多个，你可以通过英文逗号分隔开。
// 现在我们就用大写字母T表示我们这个钱包支持一个数据类型，这个类型具体是什么类型，
// 在其它地方使用钱包时只需要指定其类型就可以了。
public class Wallet<T> {// 定义一个数组，放入的钱都在这个数组里面。这里就当我们的钱包只能放10张钱，// 为什么要定义成Object类型的数组？// 因为 Object 是所有类型的超类，而且我们这里的T是不能直接通过它进行 new T[10] 这样是错误的。private Object[] ts = new Object[10];// 通过put方法允许外界将钱放入钱包。// 而放入的参数类型，就正好使用我们类上面写的 T，// 这样一来，钱包被定义成放什么类型，就只能往put方法里// 传递什么类型的参数。public void put(T t) {// 内部实现就简单了，循环找一个空位子把钱放进去。for (int i = 0; i < ts.length; i++) {if (ts[i] == null) {ts[i] = t;return;}}// 如果运行到这里，肯定钱包被装满了。不管了。}// 从钱包里取出一张钱，可以看到方法返回类型被定义为了 T，// 这样一来就保证了别的地方使用这个方法的时候，返回值就// 直接使希望的类型，不用再进行强制转换了。public T get() {// 内部实现就简单的从数组后面往前面找，发现一张钱就立即返回。for (int i = ts.length - 1; i >= 0; i--) {if (ts[i] != null) {// 这里我们将返回类型强制转换为了我们定义的 T 类型，// 因为我们数组定义的时候是定义为了 Object 的，// 而put 方法保证了每次放入的一定是相同的 T 类型，// 所以我们取出的时候，将其强制转换为 T 类型是不会出问题的。return (T)ts[i];}}// 如果运行到这里，说明钱包里没有钱，直接返回null。return null;}}

现在，不防试一试我们自己的钱包类Wallet:

public class Test {// 钱。static class Money {private int num;public Money(int num) {this.num = num;}}public static void main(String[] args) {// 创建一个钱包，并且只允许这个钱包防止 Money 类型的数据。Wallet<Money> wallet = new Wallet<>();// 放入2张钱。wallet.put(new Money(10));wallet.put(new Money(50));// 获取一张钱// 获取的这张钱都不用强制转换，就可以直接使用。// 通过泛型，这样就进一步减少了可能出现的程序错误。// 并且代码更加简洁清晰。Money money = wallet.get();}
}

四、类型限定

在我们声明泛型时，加入我们希望这个类型只能是某个类以及这个类的子类的类型，这时候我们可以这样来声明我们的类：

// 限定 类型 T 只能是 Money 类以及其子类。
class Wallet<T extends Money> {// ...
}

五、泛型方法

如果我们类上没有指定类型，仅在方法上也是可以写泛型方法的：

// 方法 make 定义个了一个类型 A ，并且方法返回参数被设定为 A
// 这样的方法可以被任何类型引用接收，将会自动将返回值转换为引用的类型
// (实际上就是里面某处进行了转换到A指定的处理)。
// 如果返回的值不能被转换为对应的引用类型，将会爆转换异常错误。
// 这种写法了解就好。
public static <A> A make() {return (A)new Money(100);
}

举例使用这个方法：

public static void main(String[] args) {Object o = make(); // Object 是所有类的超类，转换为 Object 没有问题。Money m = make(); // 我们方法里面返回的就是Money，这里用Money接收没问题。Test t = make(); // 编译时没有问题，当运行时就会出现转换错误，我们不能把返回的Money转为Test类型噻。
}