Kotlin 泛型：协变、逆变

1、Why？为什么需要泛型？

根本目的是在保证泛型类 类型安全的基础上，提高API的灵活性

2、How？如何保证类型安全？

Java处理型变的问题在于：把一切都推给了使用处，增加了不明所以的通配符，代码可读性变差。

Kotlin 使用in/out关键字，告诉编译器，我们定义的类是协变的还是逆变的，或者两者都不是（即不型变的）。这样就可以在声明处定义型变，使用处不需要额外的处理直接使用

3、Show？me the code

fun kotlinGeneric() {

    // 协变

    // Kotlin 中，默认方法签名为：List，类似 Java 中的 ？ extends MySubString
    // 相当于，向编译器保障：out代表泛型类中，类型参数 T 只能存在于方法的返回值中，即是作为输出，
    // 因此，泛型类是生产者/协变的
    var data0:List = ArrayList() // 错误
    var data1:List = ArrayList()
    var data2:List = ArrayList()

    // java 要达到上述目的，要这么写
//        List consumerSuper2 = new ArrayList();
//        List consumerSuper3 = new ArrayList();


    // 逆变
    // Kotlin 中，默认方法签名为：Comparable，类似 Java 中的 ？ super MySubString
    var code0: Comparable = object : Comparable {

        override fun compareTo(other: MyString): Int {
            return 1
        }
    }

    code0.compareTo(MyString()) // 错误
    code0.compareTo(MySubString())
    code0.compareTo(MySubsubString())

    // java 要达到上述目的，要这么写
//        List producerExtend0 = new ArrayList