java协变逆变,PECS

    public static void main(String[] args) {
        // Object <- Fruit <- Apple <- RedApple
        System.out.println(Apple.class.isAssignableFrom(Fruit.class));
        System.out.println(Fruit.class.isAssignableFrom(Fruit.class));
        System.out.println(Fruit.class.isAssignableFrom(Apple.class));  // apple 是 Fruit子类

        // 协变
        List<Apple> apples = new ArrayList<Apple>();
        List<? extends Fruit> listfruits = apples;
//        listfruits.add(new Apple());
//        listfruits.add(new RedApple());
//        listfruits.add(new Fruit());  // ERROR: 不能够往一个使用了? extends的数据结构里写入任何的值。
        Fruit f = listfruits.get(0);

        // 逆变
        List<Fruit> fruits = new ArrayList<Fruit>();
        List<? super Apple> list2 = fruits;
//        list2.add(new Fruit());   //ERROR
        list2.add(new Apple());
        list2.add(new RedApple());
//        Fruit f = list2.get(0);   //ERROR

        /*
        存取原则和PECS法则
        总结 ? extends 和 the ? super 通配符的特征，我们可以得出以下结论：

        如果你想从一个数据类型里获取数据，使用 ? extends 通配符
        如果你想把对象写入一个数据结构里，使用 ? super 通配符
        如果你既想存，又想取，那就别用通配符。
        这就是Maurice Naftalin在他的《Java Generics and Collections》这本书中所说的存取原则，
        以及Joshua Bloch在他的《Effective Java》这本书中所说的PECS法则。
        Bloch提醒说，这PECS是指”Producer Extends, Consumer Super”，这个更容易记忆和运用。
        * */
    }