JAVA泛型的学习（3）

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