变形泛型-Kotlin 中的 out 和 in关键字理解

首先有两个概念，协变和逆变

协变就是T所在位置可以由T的子类替代。就是
逆变是就是T所在位置都可以由T的父类替代。

这个东西很绕，他们都是变形（variance）的一种表现形式，编程语言都需要考虑这个性质，可以看下百度百科

先记住上面两句总结，再看一些例子就会加深一定的理解了。

我们先定义一个类，里面有一个函数

class Collection1<E> {
    fun <out T> addAll(items: Collection1<E>) {
		
    }
}

这里编译报错了，提示变形（variance）只能是类或者接口的参数类型。所以这里是函数的类型报错了，可见这东西只能用来定义接口和类的type。

我们再次定义一个函数，想法是仿写一个使用率极高的Collection类的addAll方法。我们第一次很可能是这样定义的。

class Collection1<E> {
    fun addAll(items: Collection1<E>) {
		//具体实现。。。
    }
}

乍一看好像没什么，泛型支持我们传入各种类型，然后addAll就可以相加了，但我们测试一下

fun test(c1: Collection1<Any>, c2: Collection1<Int>) {
    c1.addAll(c2)//编译报错
}

结果返现编译报错了&#x