由于JVM泛型的擦除机制，在运行时JVM是不知道泛型信息的，所以可以给oa[1]赋上一个ArrayList<Integer>而不会出现ArrayStoreException，但是在取出数据的时候却要做一次
类型转换，所以就会出现ClassCastException，如果可以进行泛型
数组的声明，上面说的这种情况在编译期将不会出现任何的警告和错误，只有在运行时才会出错。而对泛型数组的声明进行限制，对于这样的情况，可以在编译期提示代码有类型安全问题，比没有任何提示要强很多。泛型。规定了此集合中元素的类型。例如：\x0d\x0a\x0d\x0aArrayList arr = new ArrayList ()\x0d\x0a\x0d\x0a这样就创建了一个包含整数的 ArrayList 对象。\x0d\x0a如果要自己定义泛型类，就用如下形式：\x0d\x0a\x0d\x0aclass MyCollection {...}\x0d\x0a\x0d\x0a尖括号中的类型可以有限制，例如你需要让 MyCollection 中的类型都具有可比性，可以用如下格式：\x0d\x0a\x0d\x0aclass MyCollection {...}\x0d\x0a\x0d\x0a此外，要注意泛型的一些特性：\x0d\x0a\x0d\x0a1. 不能直接创建泛型数组。如 new ArrayList[5] 之类的是错的。只能用如下方法：new ArrayList[5] 或者 (ArrayList[])new ArrayList[5]\x0d\x0a\x0d\x0a2. 静态方法中需要小心，因为 E 一般是非静态类型，如果你这样写：\x0d\x0a class MyCollection {\x0d\x0a public static MyCollection abc() {\x0d\x0a ......\x0d\x0a }\x0d\x0a }\x0d\x0a 是错的。你只能把 去掉。首先由于Java泛型的实现，不可以使用如下的代码：public class GenSet<E>{private E a[] public GenSet() {a = new E[INITIAL_ARRAY_LENGTH]// error: generic array creation}}那么我们如何在保持类型安全的同时实现这一点？我在Java论坛上看到了这样的解决方案：import java.lang.reflect.Arrayclass Stack<T>{public Stack(Class<T>clazz, int capacity) {array = (T[])Array.newInstance(clazz, capacity) }private final T[] array}在这里，我们需要讨论"checked" and "unchecked"。Checked：strong typing。GenSet明确知道它包含的对象类型（即它的构造函数是使用Class <E>
参数显式调用的，当方法传递非类型E的参数时，方法将抛出异常。请参阅Collections.checkedCollection。在这种情况，我们需要这样写：public class GenSet<E>{private E[] a public GenSet(Class<E>c, int s) {// Use Array native method to create array// of a type only known at run time@SuppressWarnings("unchecked")final E[] a = (E[]) Array.newInstance(c, s) this.a = a }E get(int i) {return a[i] }}Unchecked: weak typing。实际上没有对作为参数传递的任何对象进行类型检查。在这种情况，我们需要这样写：public class GenSet<E>{private Object[] a public GenSet(int s) {a = new Object[s] }E get(int i) {@SuppressWarnings("unchecked")final E e = (E) a[i] return e }}请注意，数组的组件类型应该是类型参数的擦除：public class GenSet<E extends Foo>{ // E has an upper bound of Fooprivate Foo[] a// E erases to Foo, so use Foo[]public GenSet(int s) {a = new Foo[s] }...}所有的这些都源于Java中泛型一个的特性但也是一个weakness：它是使用擦除实现的，因此除非实施一些显式机制（type-checking），否则“泛型”类不知道它们在运行时创建的类型参数，故无法提供 type-safety。
