图解java泛型的协变和逆变

参考文献：https://www.jianshu.com/p/2bf15c5265c5

https://www.jianshu.com/p/da1127c51c90

---

今天刚开始看kotlin的泛型语法和概念，觉得之前java中学过泛型，可能这个也差不多吧。。。。。嗯，确实差不多，想着跟之前一样用类比java的方式继续理解kotlin泛型，结果看了两篇java的泛型之后。。。。。。发现java泛型之前没怎么学懂

之前在学java泛型时候没有接触到的两个概念：协变和逆变。下面提到的可能大家都知道，只是我已自己的理解将协变和逆变的概念表述出来：

---

一、协变逆变概念

逆变与协变用来描述类型转换（type transformation）后的继承关系：A、B表示类型，f(·)表示类型转换，A<=B表示A为B的子类，那么则存在：

• f(·)是协变的：当A<=B   ,f(A)<=f(B)成立
• f(·)是逆变的：当A<=B   ,f(A)>=f(B)成立
• f(·)是不变的：当A<=B   ,f(A) 和f(B)不存在继承关系

看的有点懵逼？先别着急，等会儿回过头来再看这个。。这里介绍了协变和逆变的概念，对于java中数组是协变的，如下所示：

    public static void main(String[] args) {
        String[] strings = new String[5];
        Object[] objects = strings;
    }

实例中创建了一个字符串数组对象，但是用Object数组同样可以引用。

实例中String类<=Object类，对应的String[]<=Object[]，所以可以得出数组是协变类型。

现在问题来了：

现在将string类型的数组引用赋值给了object类型的数组引用，在操作时候是不是可以赋值除了string意外的类型呢？

    public static void main(String[] args) {
        String[] strings = new String[5];
        Object[] objects = strings;
        try {
            objects[0] = 1;
            System.out.println(strings[0]);
        } catch (Exception e) {
            System.out.println("出错了吧。。。。。");
            e.printStackTrace();
        }
    }

给objects第一个元素设置一个int类型的1，结果如下：

java.lang.ArrayStoreException: java.lang.Integer
出错了吧。。。。。
	at as.a.Str.main(Str.java:12)

看来数组以协变方式允许类型向上转型，但是会有写入安全的问题，如上异常

 

现在我们看下在集合中使用会是怎么样的：

    public static void main(String[] args) {
        String[] strings = new String[5];
        Object[] objects = strings;
        try {
            objects[0] = 1;
            System.out.println(strings[0]);
        } catch (Exception e) {
            System.out.println("出错了吧。。。。。");
            e.printStackTrace();
        }


        List strList = new ArrayList<>();
        List