本文主要是介绍Kotlin语言泛型的形变是什么？，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
Kotlin语言泛型的形变一共分为三个区域：不变，协变，逆变
不变
不变指的是：这个泛型，可以是生产者，也可以是消费者，此泛型没有任何泛型继承相关的概念，可以理解是完全独立出来的泛型
例如：下面案例中，此泛型既可以是生产者，也可以是消费者
// 不变
class StudentSetGets<IO> {
private var item : IO? = null
// 消费者
fun set(value : IO) {
println("你传递进来的内容是:$value")
item = value
}
// 生产者
fun get() = item
}协变
协变指的是，这个泛型，只能是生产者，此泛型有泛型继承相关的概念存在，可以理解此泛型，可以接收此泛型类型的子类型
例如：下面案例中，此泛型只能是生产者，说白了，只能给用户端，读取泛型，却不能修改泛型
class MyStudentGet<out T>(_item : T) {
private val item = _item
fun get() : T = item
}逆变
逆变指的是，这个泛型，只能是消费者，此泛型有泛型父类转子类的强转相关的概念存在，可理解此泛型，可以接收此泛型类型的父类型
例如：下面案例中，此泛型只能是消费者，说白了，只能给用户端，修改泛型，却不能读取泛型
class MyStudentSet<in T>() {
fun set(value: T) = println("你传递进来的内容是:$value")
}结论：
为什么协变只能读取泛型，不能修改泛型？
答：因为 例如 = 泛型接收端是 Object ，而泛型具体端是 String ，由于具体端有很多很多 Object 的子类，而泛型会被泛型擦除，所以无法明确你到底要修改那个子类啊
为什么逆变只能修改泛型，不能读取泛型？
答：因为 例如 = 泛型接收端是 String ，而泛型具体端是 Object ，由于接收端是 String ，而读取时，
会读取到 String 的父类，但是接收端是 String ，你却读取到 String 的父类，这个本来就是不合理的
这篇关于Kotlin语言泛型的形变是什么？的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
