这一章节我们继续类型擦除的话题，我们将通过对照数组与泛型容器，观察类型擦除给泛型容器带来什么问题？

1.数组

package com.ray.ch13;public class Test {	public static void main(String[] args) {		Fruit[] fruits = new Apple[5];		fruits[0] = new Apple();		fruits[1] = new Fuji();		fruits[2] = new Fruit();	}}class Fruit {}class Apple extends Fruit {}class Fuji extends Apple {}

观察上面的代码，我们能够看到。尽管定义仅仅是Fruit 的数组。可是它能够放进去Apple、Fuji等子类型的对象，由于数组是持有对象的引用，并且能够在执行时向上转型。

2.泛型容器

一般使用方法：

package com.ray.ch13;import java.util.ArrayList;public class Test {	public static void main(String[] args) {		ArrayList
     
       fruits = new ArrayList
      
       ();		fruits.add(new Fruit());		fruits.add(new Apple());		fruits.add(new Fuji());	}}class Fruit {}class Apple extends Fruit {}class Fuji extends Apple {}
      
     

上面是我们的经常使用使用方法。定义一个List容器。泛型里面填写的是同一个类型。

可是，我们以下将依据向上转型的特性，看看能不能像数组一样？

样例：

package com.ray.ch13;import java.util.ArrayList;public class Test {	public static void main(String[] args) {		// ArrayList
     
       fruits = new ArrayList
      
       ();//error		ArrayList
        fruits = new ArrayList
       
        ();                // fruits.add(new Apple());//error		// fruits.add(new Fruit());//error		fruits.add(null);// 这里仅仅能是null，没有其它选择	}}class Fruit {}class Apple extends Fruit {}class Fuji extends Apple {}
       
      
     

观察上面的代码，本来我们想跟数组一样，在创建list的时候仅仅是把泛型定义为Fruit的子类，可是。编译器抛异常。

这是由于泛型不是全然定义，它仅仅是在编译器检查类型安全。在执行期就没有泛型的概念了。而当我们定义的时候是通过通配符“？”来定义，也就是说我能够放进去Fruit的本身或者子类，编译器能够知道，可是在执行期。jvm仅仅是知道放进来Object。而在创建的时候是定义了Apple子类。尽管编译器知道。可是在执行期。jvm也仅仅是知道放进来Object，这个时候在执行期就会引起类型安全的问题。因此，当我们放进去什么对象都会引起类型安全的时候，编译器仅仅能给出null这个选项，不然就必定会出现类型安全的风险。

总的来说，由于数组是全然定义，在编译器和执行期都会进行类型检測，或者说数组本身就是持有对象，而泛型容器仅仅是在编译器检查类型安全。而在执行期全是Object，仅仅是半定义。或者说泛型容器不持有对象，才导致上面所展示的问题。

总结：这一章节我们主要对照数组与泛型容器，观察类型擦除给泛型容器带来什么问题。

这一章节就到这里。谢谢。

-----------------------------------