Android 协变和逆变

Android 协变和逆变

  • Dog 是 Animal 的子类
  • 型变分为:Invariant 抗变(不变)、Covariance 协变和 Contravariance 逆变
  • 抗变:List<Dog>List<Animal> 没有任何继承关系,直接赋值会编译报错,所以抗变严重制约了程序的灵活性
  • 协变:List<Dog>List<Animal> 的子类型,即子类型可以赋值给父类型
  • 逆变: List<Animal>List<Dog> 的子类型,即父类型可以赋值给子类型

协变

  • 适用于 Producer 生产者角色的泛型类或接口,只能读取数据,不能写入
  • 类中不能有接受该类型参数作为方法参数的成员,只能返回该类型
  • Java 的 List<? extends Animal> 对应 Kotlin 的 List<out Animal>
java 复制代码
public void getOutAnimal(List<? extends Animal> list) {
    for (Animal animal : list) { 
        //读取数据
    }
}
kotlin 复制代码
//Producer<String> 可以赋值给 Producer<Any>
interface Producer<out T> {
    fun produce(): T  //只能返回 T,不能接受 T 作为参数
}

逆变

  • 适用于 Consumer 消费者角色的泛型类或接口,只能写入数据,不能读取
  • 类中不能有返回该类型参数的成员,只能接受该类型作为参数
  • Java 的 List<? super Dog> 对应 Kotlin 的 List<in Dog>
java 复制代码
public void putAnimalIn(List<? super Dog> list) {
    //写入数据
    list.add(new Dog()); //可以安全写入 Dog 或其子类
}
kotlin 复制代码
//Consumer<String> 可以赋值给 Consumer<Any>
interface Consumer<in T> {
    fun consume(value: T)  //只能接受 T,不能返回 T
}

总结

  • 协变:在 Java 中使用 ? extends E 表示,在 Kotlin 中使用 out E 表示,表示上界为 E
  • 逆变:在 Java 中使用 ? super E 表示,而在 Kotlin 中使用 in E 表示,表示下界为 E
  • PECS 原则:Producer-Extends,Consumer-Super
  • Producer -> output -> out
  • Consumer -> input -> in
相关推荐
哲科软件6 小时前
跨平台开发的抉择:Flutter vs 原生安卓(Kotlin)的优劣对比与选型建议
android·flutter·kotlin
jyan_敬言12 小时前
【C++】string类(二)相关接口介绍及其使用
android·开发语言·c++·青少年编程·visual studio
程序员老刘12 小时前
Android 16开发者全解读
android·flutter·客户端
福柯柯13 小时前
Android ContentProvider的使用
android·contenprovider
不想迷路的小男孩13 小时前
Android Studio 中Palette跟Component Tree面板消失怎么恢复正常
android·ide·android studio
餐桌上的王子13 小时前
Android 构建可管理生命周期的应用(一)
android
菠萝加点糖13 小时前
Android Camera2 + OpenGL离屏渲染示例
android·opengl·camera
用户20187928316713 小时前
🌟 童话:四大Context徽章诞生记
android
yzpyzp13 小时前
Android studio在点击运行按钮时执行过程中输出的compileDebugKotlin 这个任务是由gradle执行的吗
android·gradle·android studio
aningxiaoxixi13 小时前
安卓之service
android