Kotlin协变和逆变概念及解析_kotlin 斜变-优快云博客

本文链接：https://blog.youkuaiyun.com/yb941693493/article/details/127788399

本文介绍了Kotlin的协变与逆变概念，包括它们在泛型中的应用。协变允许泛型类型作为返回值，而逆变则允许泛型作为参数。文章通过示例解释了协变可能导致的问题，并指出Kotlin通过out和in关键字来限制协变和逆变的位置，以避免类型转换异常。最后，总结了out和in的使用规则。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

协变和逆变

概念：

Kotlin 的协变与逆变统称为 Kotlin 的变型。变型是指泛型的基础类型与它的参数类型是如何关联的。对于普通类型来说，我们可以使用子类代替父类，因为子类包含了父类的全部内容。但是对于泛型来说，如果泛型的基础类型相同，其中一个参数类型是另外一个参数类型的子类，泛型类也不存在这种继承关系，无法直接替换使用。要解除这些限制，就需要用到协变与逆变。

先声明两个泛型接口

//未加 out
interface Production<T>{
    fun product():T
}
//未加 in
interface Consumer<T>{
    fun consume(item:T)
}

在声明三个类，继承关系：Burger—extend—>FastFood—extend—>Food

open class Food {}
open class FastFood :Food(){}
class Burger:FastFood(){}

接着声明食品工厂

class FoodShop : Production<Food>{
    override fun product(): Food {
        return Food()
    }
}
class FastFoodShop : Production<FastFood>{
    override fun product(): FastFood {
        return FastFood()
    }
}

协变( OUT )

main函数创建这两个食品工厂

fun main() {
//协变
    var foodshop:Production<Food> = FoodShop()//正常编译
    var fastfoodshop:Production<Food> = FastFoodShop() //报错
}