逆变，协变

作者: sankemao | 来源:发表于2019-04-01 20:15 被阅读0次

	协变	逆变
kotlin	out	in
java	extends	super

//kotlin版本
interface Consumer<in T> {
        fun comsume(item : T)
}

//java版本
interface Consumer<? super T>{
        void consume(T item)
}

逆变用于消费场景，consume函数接收类型为T，Consumer能消费产品T以及T的父类

//kotlin版本
interface Producer<out T> {
        fun produce(): T
}

//java版本
interface Producer<? extends T>{
        T produce()
}

协变用于生产场景，produce函数返回类型是T，这样我们就能安全的读取Producer产生的产品：T或T的子类

消费者的T类型范围要大于生产者，消费者范围尽可能大，用super，生产者范围要尽可能小，用extends，这样才安全。

Flow中对逆变和协变的处理
协变逆变不变的解释协变：f(Employee) extend f(Person) 逆变：f(Person) ...
Kotlin 泛型协变与逆变的理解
协变与逆变定义逆变与协变用来描述类型转换后的继承关系协变：如果 A 是 B 的子类型，并且Generic 也...
JAVA泛型与类型安全
1. 基础泛型 2. 协变与逆变与不变协变简单来说即： Java中的数组是协变的逆变与协变相对，逆转了类型关...
Scala 通俗易懂 ---- 协变、逆变、不变
协变、逆变、不变 Scala 语言中协变、逆变、不变是指拥有泛型的类型，在声明和赋值时的对应关系协变：声明时泛型...
kotlin 泛型
1.协变逆变不变
kotlin 泛型之协变（out）和逆变（in）
一、协变（out）和逆变（in）
Java协变和逆变
泛型的协变与逆变协变与逆变用来描述类型转换(type transformation)后的继承关系，其定义如下:如...
Scala 类型系统（1）
协变逆变引入原因协变和逆变主要是用来解决参数化类型的泛化问题。我的理解是解决Scala高阶函数参数引入。定义协...
协变和逆变
Java的泛型只有通配符?和extends、super，没有语法上的协变和逆变。什么是协变和逆变？在混合OO和...
Java中的桥接方法与泛型的逆变和协变
泛型的协变和逆变是什么？对应于Java当中，协变对应的就是，而逆变对应的就是