Java入门(二)——泛型

如果你写过前端，可能会经常写一下关于变量类型的判断，比如：typeof fn === 'function'之类的代码。因为JavaScript作为一门弱类型语言，类型的判断往往需要开发人员自己去检查。

Java作为一门强类型语言，它的强就强在类型的约束比较严格，大多都是在编译器（IDEA、eclipse...）里就做了检查，也就是说你刚敲完一个字符，如果有类型错误，下一秒就能提示你哪错了。这也避免了运行时的错误，让你的代码更加的严谨。下面就来了解一下为类型约束做出卓越贡献的人物——泛型。

Java泛型为何而生

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

我知道，上面那些干巴巴的概念对于初学者看了也是一头雾水。下面让我们穿越回到JDK 1.5之前的时代，当初还没有泛型的存在，我们是怎么生活的呢？

泛型解决了哪些痛点

ArrayList可以看做“可变长度”的数组，用起来比数组方便。实际上，ArrayList内部就是一个Object[]数组，配合存储一个当前分配的长度，就可以充当“可变数组”：

public class ArrayList {
    private Object[] array;
    private int size;
    public void add(Object e) {...}
    public void remove(int index) {...}
    public Object get(int index) {...}
}

如果有上面的ArrayList存储String类型，会有这么几个缺点：

• 需求强制手动转型
• 不方便，易出错

例如，代码必须这么写：

ArrayList list = new ArrayList();
list.add("Hello");
// 获取到Object，必须强制转型为String:
String first = (String) list.get(0);

很容易出现ClassCastException，因为容易“误转型”：

list.add(new Integer(123));
// ERROR: ClassCastException:
String second = (String) list.get(1);

要解决上面的问题，我们可以为String单独编写一种ArrayList：

public class StringArrayList {
    private String[] array;
    private int size;
    public void add(String e) {...}
    public void remove(int index) {...}
    public String get(int index) {...} // 注意这个特意做了处理
}

这样一来，存入的必须是String，取出的也一定是String，不需要强制转型，因为编译器会强制检查放入的类型：

StringArrayList list = new StringArrayList();
list.add("Hello");
String first = list.get(0);
// 编译错误: 不允许放入非String类型:
list.add(new Integer(123));

好了，虽然没有用泛型，但是借助劳动人民的智慧结晶，我们也能把这个问题解决掉