Java 泛型通配符详解

package com.wenhui.arithmetic.pecs;

/**
 * Created by wenhui.yu on 2019/4/18.
 */
public class Problem {
    static class Fruit {
    }

    static class Apple extends Fruit {
    }

    static class Banana extends Fruit {
    }

    static class GreenApple extends Apple{
    }

    public static void main(String[] args) {
//        shouldRight();
        shouldDo();
    }

    /**
     * 逻辑上应该是这样玩的
     */
    public static void shouldRight() {
        Apple apple = new Apple();
        /**
         * 定义一个果盘，逻辑上果盘内是可以放苹果的，看似操作没有问题
         *
         * 编译器报错
         * 不兼容的类型:
         * com.wenhui.arithmetic.pecs.Plate<com.wenhui.arithmetic.pecs.Apple>无法转换为
         *      com.wenhui.arithmetic.pecs.Plate<com.wenhui.arithmetic.pecs.Fruit>
         *
         * 原因：
         *   泛型不符合里氏替换原则，或者说不是协变的
         * 编译器认为：
         *  苹果 is a 水果
         *  装苹果的盘子 not is a 装水果的盘子
         */
        Plate<Fruit> fruitPlate = new Plate<Apple>(apple);

        /**
         * 非泛型(如数组)是支持合里氏替换原则，或者说协变的
         *
         * 支持插入子类的子类
         */
        Fruit[] fruits = new Apple[]{apple, new GreenApple()};

    }

    /**
     * 实际上是要这样玩的
     */
    public static void shouldDo() {
        /**
         * 一个能放水果及其子类的盘子
         *
         * 副作用：
         *  set方法失效
         */
        Plate<? extends Fruit> fruitPlate1 = new Plate<Apple>(new Apple());
//        放子类的子类（苹果的子类青苹果）同样支持
        Plate<? extends Fruit> fruitPlate2 = new Plate<Apple>(new GreenApple());

        /**
         * 编译器报错：
         *  Error:(30, 35) java: 不兼容的类型: com.wenhui.arithmetic.pecs.Plate<com.wenhui.arithmetic.pecs.Apple>无法转换为
         *      com.wenhui.arithmetic.pecs.Plate<com.wenhui.arithmetic.pecs.Fruit>
         *  Error:(54, 29) java: 不兼容的类型:
         *      com.wenhui.arithmetic.pecs.Apple无法转换为capture#1, 共 ? extends com.wenhui.arithmetic.pecs.Fruit
         *  解析：
         *  原因是编译器只知道容器内是Fruit或者它的派生类，但具体是什么类型不知道。
         *  可能是Fruit？可能是Apple？也可能是Banana，GreenApple或者其他
         *  编译器在看到后面用new Plate赋值以后，盘子里没有被标上Apple，而是标上一个占位符（capture#1），来表示捕获Fruit类或其子类
         *  所以无论是想插入Apple或者其他，编译器都不知道能不能和capture#1匹配
         *  为了类型安全，所以阻止想其中加入任何子类
         */
        fruitPlate1.setItem(new Apple());
//        get方法正常
        Fruit item = fruitPlate1.getItem();

        /**
         * 一个能放苹果及其父类的盘子
         *
         * 副作用：
         *  get方法失效
         */
        Plate<? super Apple> fruitPlate3 = new Plate<Fruit>(new Fruit());
//        set 方法正常
        fruitPlate3.setItem(new Apple());
        /**
         * 同理：
         *  因为允许放苹果及其所有父类，所以get 的时候，不能确认到底是那个父类，所以只有Object对象能接收
         */
        Object item1 = fruitPlate3.getItem();
        System.out.println(item1);

        /**
         * 总结：
         *  1: 如果要从集合中读取类型T的数据，并且不能写入，可以使用 ? extends T；(Producer Extends)
         *  2: 如果要从集合中写入类型T的数据，并且不需要读取，可以使用 ? super T；(Consumer Super)
         *  3： 没事不要用泛型通配符
         */
    }
}

容器类（Plate）

package com.wenhui.arithmetic.pecs;

/**
 * 盘子
 * @param T 盘子中放的物品
 * Created by wenhui.yu on 2019/4/18.
 */
public class Plate<T> {
    private T item;

    public T getItem() {
        return item;
    }

    public void setItem(T item) {
        this.item = item;
    }

    public Plate(T item) {
        this.item = item;
    }
}