Kotlin协变和逆变概念及解析

协变和逆变

概念：

        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() //报错
}

此时第4行代码相当于 Production<Food>类型引用指向