先检查，再编译以及编译的对应和引用传递问题
这里我们可能会有一个疑问，既然说类型变量会在编译的时候擦除掉，那为什么上面的ArrayList中添加String类型的时候就报错了呢，因为String编译时候也会变成Object啊？
A：因为JAVA编译器是通过先检查代码中泛型的类型，然后再进行类型擦除，再进行编译的。那么这个检查到底是针对谁的，我们需要再明确下
A2：如我们上面代码是：
ArrayList list = new ArrayList();
现在我们写成：
ArrayList list = new ArrayList();
此时如果我们与之前的代码兼容，各种引用传值之间，必然会出现下面情况：
ArrayList list1 = new ArrayList(); //第一种 情况
ArrayList list2 = new ArrayList(); //第二种 情况
这样没错，但是会有个编译时警告，不过在第一种情况下，可以实现与完全使用泛型参数一样的效果，但是第二种没有效果。
因为类型检查是编译时完成的，new ArrayList()只是在内存中开辟一个存储空间，可以存储任何类型的对象，而真正涉及类型检查的是“它的引用”，即list1的方法调用，如add方法，所以list1引用能够完成泛型类型检查(前面声明了String)，但是list2(后面声明的只是开辟内存空间，不涉及)由于前面的声明没有添加泛型，所以不行。
所以这里我们也大概知道了，所谓的类型(泛型)检查，是针对引用的。谁是一个引用，用这个引用调用泛型方法，就会对这个引用所调用的方法进行类型检查，而无关它真正引用的对象
