Java范型浅析收藏.docVIP

Java范型浅析收藏 新一篇: 枚举入门 | 旧一篇: 几个著名java开源缓存系统的介绍 从jdk1.5开始，Java中开始支持范型了。范型是一个很有用的编程工具，给我们带来了极大的灵活性。在看了《java核心编程》之后，我小有收获，写出来与大家分享。 所谓范型，我的感觉就是，不用考虑对象的具体类型，就可以对对象进行一定的操作，对任何对象都能进行同样的操作。这就是灵活性之所在。但是，正是因为没有考虑对象的具体类型，因此一般情况下不可以使用对象自带的接口函数，因为不同的对象所携带的接口函数不一样，你使用了对象A的接口函数，万一别人将一个对象B传给范型，那么程序就会出现错误，这就是范型的局限性。 所以说，范型的最佳用途，就是用于实现容器类，实现一个通用的容器。该容器可以存储对象，也可以取出对象，而不用考虑对象的具体类型。因此，在学习范型的时候，一定要了解这一点，你不能指望范型是万能的，要充分考虑到范型的局限性。下面我们来探讨一下范型的原理以及高级应用。首先给出一个范型类： public class PairT {  public Pair() { first = null; second = null; }  public Pair(T first, T second) { this.first = first; this.second = second; }  public T getFirst() { return first; }  public T getSecond() { return second; }  public void setFirst(T newValue) { first = newValue; }  public void setSecond(T newValue) { second = newValue; }   private T first;  private T second; }  我们看到，上述Pair类是一个容器类（我会多次强调，范型天生就是为了容器类的方便实现），容纳了2个数据，但这2个数据类型是不确定的，用范型T来表示。关于范型类如何使用，那是最基本的内容，在此就不讨论了。 下面我们来讨论一下Java中范型类的实现原理。在java中，范型是在编译器中实现的，而不是在虚拟机中实现的，虚拟机对范型一无所知。因此，编译器一定要把范型类修改为普通类，才能够在虚拟机中执行。在java中，这种技术称之为“擦除”，也就是用Object类型替换范型。上述代码经过擦除后就变成如下形式： Comparable来替换所有范型），当需要用到其他约束中定义的方法的时候，通过插入强制转化代码来实现。在此就不给出具体的例子了。 下面我们来看看最后一个知识点，定义一个函数，该函数接受一个范型类作为参数。首先让我们来看一个最简单的情况，参数是一个实例化的范型类： l.get(0)是合法的，因为参数是整型而不是范型；l.add(x)就不合法，因为add函数的参数是范型。但是定义一个范型方法还是有一定灵活性的，如果传入的数据也是范型，编译器还是认可的，因为范型对范型，类型安全是可以保证的。 从上述代码可以看出，定义一个范型方法要比Wildcard稍微灵活一些，可以往链表中添加T类型的对象，而Wildcard中是不允许往链表中添加任何类型的对象的。那么我们还要Wildcard干什么呢？Wildcard还是有他存在的意义的，那就是，Wildcard支持另外一个关键字super，而范型方法不支持super关键字。换句话说，如果你要实现这样的功能：“传入的参数应该是指定类的父类”，范型方法就无能为力了，只能依靠Wildcard来实现。代码如下： l.add((Integer)x);），编译器不就不报错了吗？确实，经过强制转化后，编译器确实没意见了。不过这种强制转化有可能带来运行时错误。因为你传入的实参，其元素类型是Integer的父类，比如是Number。那么，存储在该链表中的第一个数据，很有可能是Double或其他类型的，这是合法的。那么你取出的第一个元素x也会是Double类型。那么你把一个Double类型强制转化为Integer类型，显然是一个运行时错误。 难道“把取出的元素再插入到链表中”这样一个功能就实现不了吗？当然可以，不过不能直接实现，要借助范型函数的帮忙，因为在范型函数中，刚刚取出的元素再存回去是不成问题的。定义这样一个范型函数，我们称之为帮助函数。代码如下： public class Pair {  publ