15.10通配符

1.数组不能向上转型

package com.package15;
class Fruit{}
class Apple extends Fruit{}
class Jonathan extends Apple{}
class Orange extends Fruit{}
public class CovarianArrays {
    public static void main(String[] args) {
        //创建了一个apple类型的数组，并把他指向Fruit的引用
        Fruit[] fruits=new Apple[10];
        fruits[0]=new Apple();//可以存放Apple和其子列
        fruits[1]=new Jonathan();
        try {
            fruits[0] = new Fruit();//宿主无法向上转换
        }catch (Exception e){
            System.out.println("数组无法向上型");
        }
        try {
            fruits[2]=new Orange();
        }catch (Exception e){
            System.out.println("不能存放Apple继承关系外的对象");
        }
        }
}

 我们创建了一个Apple类型的数组，并把他指向了Fruit的引用，所以只能忘这个数组中存放Apple及其子类。虽然我们可以在编译阶段放入Fruit 和Orange类型的对象，但在运行时候会抛出异常的<br />    这是我们可以使用泛型，将这种错误在编译阶段显示出来

// ArrayList<Fruit> objects = new ArrayList<Apple>();//error

在这里 Aplle的list不是Fruit的list.两者在类型上是不等价的。所以说在泛型中正在的问题是我们在谈论容器持有的类型而不是容器的类型。一个容器的持有类型是Apple另一个是Fruit所以两者在类型上根本是不想等的<br />    验证：

        List<Apple> apples = new ArrayList<>();
      //1行2行等同 ArrayList<Fruit> objects = new ArrayList<Apple>();
        List<Fruit> fruits1 = new ArrayList<>();
         apples=fruits1;//错误的
        List<Apple> apples1 = new ArrayList<>();
        apples=apples1
    }

2.通配符
2.1<? extends ClassType>
特性：
使用此通配饰符的集合无法添加内容。只能去添加null或者调用参数为Object类型的方法.get方法必须在集合已经初始化时才可以调用。

package com.package15;
import java.util.ArrayList;
import java.util.List;
class Fruit{}
class Apple extends Fruit{}
class Jonathan extends Apple{}
class Orange extends Fruit{}
public class ExtendDemo {
    public static void main(String[] args) {
        List<? extends Fruit> fruits = new ArrayList<Apple>();
        fruits.add(new Apple());
        fruits.add(new Fruit());
        fruits.add(new Orange());
        fruits.add(null);
        fruits.contains(new Apple());
        fruits.indexOf(new Apple());
    }
}

 我们可以将List<? extends Fruit> 读作任何从Fruit继承的类型列表。一个类的子类可以是无数个，所以此时谁也不知道List<? extends Fruit> 要表示的是那个具体的类型。虽然我们在后面指定类型为Apple，但是却不知道将Apple向上转型为谁？所以编译器会为我们报错。<br />2.2<? super ClassType>超类通配符，由某个特定类的基类来确定的<br />    在集合中使用次通配符就可以写入元素了。<br />        

package com.package15;
import java.util.ArrayList;
import java.util.List;
class Fruit{}
class Apple extends Fruit{}
class Jonathan extends Apple{}
class Orange extends Fruit{}
public class ExtendDemo {
    public static void main(String[] args) {
        List<? super Apple> fruits = new ArrayList<>();
        fruits.add(new Apple());
        fruits.add(new Jonathan());
        fruits.add(new Fruit());//报错
        fruits.add(new Orange());//报错
        fruits.add(null);
    }
}

  <? super Apple>中，以Apple来当做元素存放的下届，任何继承此列或此类的类型对象都可以存放到集合中，当想集合中添加Fruit和Orange时候，由于Orange没有继承Apple ，Fruit又是Apple的父类。所以当存放的时候碰到了Apple这个下限。不能将他们添加到元素中。