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
相关推荐
消失的旧时光-19431 小时前
Android网络框架封装 ---> Retrofit + OkHttp + 协程 + LiveData + 断点续传 + 多线程下载 + 进度框交互
android·网络·retrofit
zcychong1 小时前
Handler(二):Java层源码分析
android
Chef_Chen3 小时前
从0开始学习R语言--Day58--竞争风险模型
android·开发语言·kotlin
用户2018792831674 小时前
演员的智能衣橱系统之Selector选择器
android
CYRUS_STUDIO4 小时前
OLLVM 混淆 + VMP 壳照样破!绕过加壳 SDK 的核心检测逻辑
android·逆向·汇编语言
Kapaseker4 小时前
憋了一周了,12000字深入浅出Android的Context机制
android
betazhou4 小时前
MySQL ROUTER安装部署
android·数据库·mysql·adb·mgr·mysql router
用户2018792831674 小时前
🧙‍♂️ 故事:像素王国的“贴纸工厂”与“圣殿徽章工坊”
android
用户2018792831674 小时前
浅谈Android资源国王的故事
android