一、概述
二、编译器如何处理泛型?
三、 什么是类型擦除?
- interface
Comparable { -
public int compareTo( A that); - }
- final
class NumericValue implements Comparable { -
priva te byte value; -
public NumericValue (byte value) { this.value = value; } -
public byte getValue() { return value; } -
public int compareTo( NumericValue t hat) { return this.value - that.value; } - }
- -----------------
- class
Collections { -
public static extends Comparable>A max(Collection xs) { -
Iterator xi = xs.iterator(); -
A w = xi.next(); -
while (xi.hasNext()) { -
A x = xi.next(); -
if (w.compareTo(x) < 0) w = x; -
} -
return w; -
} - }
- final
class Test { -
public static void main (String[ ] args) { -
LinkedList numberList = new LinkedList (); -
numberList .add(new NumericValue((byte)0)); -
numberList .add(new NumericValue((byte)1)); -
NumericValue y = Collections.max( numberList ); -
} - }
经过类型擦除后的类型为
- interface
Comparable { -
public int compareTo( Object that); - }
- final
class NumericValue implements Comparable { -
priva te byte value; -
public NumericValue (byte value) { this.value = value; } -
public byte getValue() { return value; } -
public int compareTo( NumericValue t hat) { return this.value - that.value; } -
public int compareTo(Object that) { return this.compareTo((NumericValue)that); } - }
- -------------
- class
Collections { -
public static Comparable max(Collection xs) { -
Iterator xi = xs.iterator(); -
Comparable w = (Comparable) xi.next(); -
while (xi.hasNext()) { -
Comparable x = (Comparable) xi.next(); -
if (w.compareTo(x) < 0) w = x; -
} -
return w; -
} - }
- final
class Test { -
public static void main (String[ ] args) { -
LinkedList numberList = new LinkedList(); -
numberList .add(new NumericValue((byte)0)); , -
numberList .add(new NumericValue((byte)1)); -
NumericValue y = (NumericValue) Collections.max( numberList ); -
} - }
第一个泛型类Comparable 擦除后
第二个示例中限定了类型参数的边界 >A,A必须为Comparable 的子类,按照类型擦除的过程,先讲所有的类型参 数
四、类型擦除带来的问题
- import
java.util.*; -
-
public class Erasure{ -
-
public void test(List ls){ -
System.out.println("Sting"); -
} -
public void test(List li){ -
System.out.println("Integer"); -
} -
}
编译该类,
参数类型明明不一样啊,一个List,一个是List,但是,偷偷的说,type erasure之后,它就都是List了⋯⋯
Q2.
同理,如果定义了一个泛型一场类GenericException,千万别同时catch GenericException和GenericException,因为他们是一样一样滴⋯⋯
Q3.泛型类的静态变量是共享的?——Yes!
猜猜这段代码的输出是什么?
- import
java.util.*; -
- public
class StaticTest{ -
public static void main(String[] args){ -
GT gti = new GT(); -
gti.var=1; -
GT gts = new GT(); -
gts.var=2; -
System.out.println(gti.var); -
} - }
- class
GT{ -
public static int var=0; -
public void nothing(T x){} - }
答案是——2!由于经过类型擦除,所有的泛型类实例都关联到同一份字节码上,泛型类的所有静态变量是共享的。
五、Just remember
1.虚拟机中没有泛型,只有普通类和普通方法
2.所有泛型类的类型参数在编译时都会被擦除
3.创建泛型对象时请指明类型,让编译器尽早的做参数检查(Effective Java,第23条:请不要在新代码中使用原生态类型)
4.不要忽略编译器的警告信息,那意味着潜在的ClassCastException等着你。
泛型(generics)是JDK 5中引入的一个新特性,允许在定义类和接口的时候使用类型参数(type parameter)。声明的类型参数在使用时用具体的类型来替换。泛型最主要的应用是在JDK 5中的新 集合类框架 中。对于泛型概念的引入,开发社区的观点是 褒贬不一 。 从好的方面来说,泛型的引入可以解决之前的集合类框架在使用过程中通常会出现的运行时刻类型错误,因为编译器可以在编译时刻就发现很多明显的错误。而从不 好的地方来说,为了保证与旧有版本的兼容性,Java泛型的实现上存在着一些不够优雅的地方。当然这也是任何有历史的编程语言所需要承担的历史包袱。后续 的版本更新会为早期的设计缺陷所累。
开发人员在使用泛型的时候,很容易根据自己的直觉而犯一些错误。比如一个方法如果接收List作为形式参数,那么如果 尝试将一个List的对象作为实际参数传进去,却发现无法通过编译。虽然从直觉上来说,Object是String的父类, 这种类型转换应该是合理的。但是实际上这会产生隐含的类型转换问题,因此编译器直接就禁止这样的行为。本文试图对Java泛型做一个概括性的说明。
类型擦除
正确理解泛型概念的首要前提是理解类型擦除(type erasure)。 Java中的泛型基本上都是在编译器这个层次来实现的。在生成的Java字节代码中是不包含泛型中的类型信息的。使用泛型的时候加上的类型参数,会被编译 器在编译的时候去掉。这个过程就称为类型擦除。如在代码中定义的List和List等类型,在 编译之后都会变成List。JVM看到的只是List,而由泛型附加的类型信息对JVM来说是不可见的。Java编译器会在编译时尽可能的发现可能出错的 地方,但是仍然无法避免在运行时刻出现类型转换异常的情况。类型擦除也是Java的泛型实现方式与C++模板机制实现方式之间的重要区别。
很多泛型的奇怪特性都与这个类型擦除的存在有关,包括:
- 泛型类并没有自己独有的Class类对象。比如并不存在List.class或是List.class,而只有List.class。
- 静态变量是被泛型类的所有实例所共享的。对于声明为MyClass的类,访问其中的静态变量的方法仍然是 MyClass.myStaticVar。不管是通过new MyClass还是new MyClass创建的对象,都是共享一个静态变量。
- 泛型的类型参数不能用在Java异常处理的catch语句中。因为异常处理是由JVM在运行时刻来进行的。由于类型信息被擦除,JVM是 无法区分两个异常类型MyException和MyException的。对于JVM来说, 它们都是 MyException类型的。也就无法执行与异常对应的catch语句。
类型擦除的基本过程也比较简单,首先是找到用来替换类型参数的具体类。这个具体类一般是Object。如果指定了类型参数的上界的话,则使用这个上 界。把代码中的类型参数都替换成具体的类。同时去掉出现的类型声明,即去掉<>的内容。比如T get()方法声明就变成了Object get();List就变成了List。接下来就可能需要生成一些桥接方法(bridge method)。这是由于擦除了类型之后的类可能缺少某些必须的方法。比如考虑下面的代码:
class MyString implements Comparable { public int compareTo(String str) { return 0; } }
当类型信息被擦除之后,上述类的声明变成了class MyString implements Comparable。但是这样的话,类MyString就会有编译错误,因为没有实现接口Comparable声明的int compareTo(Object)方法。这个时候就由编译器来动态生成这个方法。
实例分析
了解了类型擦除机制之后,就会明白编译器承担了全部的类型检查工作。编译器禁止某些泛型的使用方式,正是为了确保类型的安全性。以上面提到的List和List为例来具体分析:
public void inspect(Listlist) { for (Object obj : list) { System.out.println(obj); } list.add(1); //这个操作在当前方法的上下文是合法的。 } public void test() { List strs = new ArrayList(); inspect(strs); //编译错误 }
这段代码中,inspect方法接受List作为参数,当在test方法中试图传入 List的时候,会出现编译错误。假设这样的做法是允许的,那么在inspect方法就可以通过list.add(1)来向 集合中添加一个数字。这样在test方法看来,其声明为List的集合中却被添加了一个Integer类型的对象。这显然是 违反类型安全的原则的,在某个时候肯定会抛出ClassCastException。因此,编译器禁止这样的行为。编译器会尽可能的检查可能存在的类型安全问题。对于确定是违反相关原则的地方,会给出编译错误。当编译器无法判断类型的使用是否正确的时候,会给出警告信息。
通配符与上下界
在使用泛型类的时候,既可以指定一个具体的类型,如List就声明了具体的类型是String;也可以用通配符?来表 示未知类型,如List