JAVA泛型的学习(3)
1.消除泛型
泛型是使用一种成为类型消除的方法实现的。编译器使用泛型类型信息来编译代码,但是随后会消除它。因此泛型信息在运行时是不可用的。
泛型存在于编译时,一旦编译器确认泛型类型是安全使用的,就会将它转换为原始类型。下面是一个具体的例子:
ArrayList<String> list = new ArrayList<>();
list.add("fsd");
String a = list.get(0);
编译器在检查上述代码正确使用后,会将它翻译成如下代码:
ArrayList list = new ArrayList();
list.add("fsd");
String a = (String)(list.get(0));
要注意的是,不管实际的具体类型是什么,泛型类是被它的所有实例所共享。假如按照以下方式创建list1和list2:
ArrayList<String> list1 = new ArrayList<>();
ArrayList<Integer> list2 = new ArrayList<>();
尽管编译时 ArrayList<String>和ArrayList<Integer>是两种类型,但在运行时只有一个ArrayList类会被加载到JVM中,所以表达式list1 instance ArrayList是正确的,而list1 instance ArrayList<String>是错误的,由于运作时ArrayList<String>并没有在JVM中存储为单独一个类,所以运行时使用它是无意义的。
2.使用泛型的一些限制
由于泛型类型在运行时被消除,所以其存在一些限制
1.不能使用new E(),如E O = new E();是错误的
2.E[] O = new E[size];是错误的
3.在静态上下文中不允许类的参数是泛型类型(如下)
public class Test<E> {
public static void m(E p) { //error
}
public static E P1; //error
static {
E p; //error
}
}
4.异常类不能是泛型,泛型类不能扩展java.lang.Throwable
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)