Kotlin语言泛型的形变是什么？

Kotlin语言泛型的形变一共分为三个区域：不变，协变，逆变

不变

不变指的是：这个泛型，可以是生产者，也可以是消费者，此泛型没有任何泛型继承相关的概念，可以理解是完全独立出来的泛型

例如：下面案例中，此泛型既可以是生产者，也可以是消费者

// 不变
class StudentSetGets {
private var item : IO? = null
// 消费者
fun set(value : IO) {
println("你传递进来的内容是:$value")
item = value
}
// 生产者
fun get() = item
}

协变

协变指的是，这个泛型，只能是生产者，此泛型有泛型继承相关的概念存在，可以理解此泛型，可以接收此泛型类型的子类型

例如：下面案例中，此泛型只能是生产者，说白了，只能给用户端，读取泛型，却不能修改泛型

class MyStudentGet(_item : T) {
private val item = _item
fun get() : T = item
}

逆变

逆变指的是，这个泛型，只能是消费者，此泛型有泛型父类转子类的强转相关的概念存在，可理解此泛型，可以接收此泛型类型的父类型

例如：下面案例中，此泛型只能是消费者，说白了，只能给用户端，修改泛型，却不能读取泛型

class MyStudentSet() {
fun set(value: T) = println("你传递进来的内容是:$value")
}

结论：

为什么协变只能读取泛型，不能修改泛型？

答：因为 例如 = 泛型接收端是 Object ，而泛型具体端是 String ，由于具体端有很多很多 Object 的子类，而泛型会被泛型擦除，所以无法明确你到底要修改那个子类啊

为什么逆变只能修改泛型，不能读取泛型？

答：因为 例如 = 泛型接收端是 String ，而泛型具体端是 Object ，由于接收端是 String ，而读取时，

会读取到 String 的父类，但是接收端是 String ，你却读取到 String 的父类，这个本来就是不合理的