kotlin 实战之泛型与逆变协变总结(1)

---

关于泛型协变与逆变概念其实来自 java，在我们深入搞懂 kotlin 的泛型之前，我们有必要先巩固下 java 的泛型协变与逆变。以 java 代码为例子：

//【工匠若水 加微信 yanbo373131686 联系我，关注微信公众号：码农每日一题 未经允许严禁转载 https://blog.csdn.net/yanbober】

//java 代码

//表示可以往这个泛型集合放置任何类型对象

List

//表示可以往这个泛型集合只能放置String对象

List

//在 java 中不能把 List 类型变量赋值给 List，因为他们不是父子类关系

List list1 = new ArrayList();

//假设如果这么做被允许，则我们做如下代码，list2.add(new Date()); String str = list.get(0); 这会导致类型转换异常。

List list2 = list1; //编译失败

我们知道，在 java 中为了解决上面赋值问题，其提供了类型通配符的概念。如下是一个 java 样例：

//java 代码

//表示我们可以给这个变量里面 add Object 类型成员或者 Object 子类类型成员。

List<? extends Object> list;

我们继续看一种 java 场景：

//【工匠若水 加微信 yanbo373131686 联系我，关注微信公众号：码农每日一题 未经允许严禁转载 https://blog.csdn.net/yanbober】

//java 代码

interface Collection {

void addAll(Collection items);

}

void addAll(Collection to, Collection from) {

//理论上我们觉得 String 可以赋值给 Object，但是普通泛型中他们没有直接关系。

//无法编译通过，因为尝试赋值和接收的不是一个类型也不是父子类型关系。

to.addAll(from);

}

通过 java 对上面案例的改进写法如下 java 案例：

//java 代码

interface Collection {

void addAll(Collection<? extends E> items);

}

void addAll(Collection to, Collection from) {

//通配符保证了编译通过，也可以安全的从 to 中读取元素，然后当作 Object 类型来使用。

to.addAll(from);

}

通过上面例子可以发现，java 中Collection<String>是Collection<? extends Object>的子类型，但不是Collection<Object>的子类型。? extends用来限定类型的上界，也就是常说的协变，我们只能把它当作 extends 后面的 E 类型来读取，且读取是安全的类型转换，但是不能写入，写入会导致编译错误，因为写入可能是不安全的类型转换。反之，? super用来限定类型的下界，也就是常说的逆变，逆变是用来保证写入安全的，但是不能读取，有可能类型是不安全的转换。

我们如果只从中读取数据而不写入内容则称为协变，如果只向里面写入数据而不读取数据则称为逆变。

有了上面 java 泛型协变逆变的概念，现在我们再来看看 kotlin 的泛型。如下 kotlin 案例：

//【工匠若水 加微信 yanbo373131686 联系我，关注微信公众号：码农每日一题 未经允许严禁转载 https://blog.csdn.net/yanbober】

class Generics(t: T) {

private var tmp: T = t

fun get(): T = this.tmp

}

/**

运行结果：

test

*/

fun testRun() {

val t1 = Generics(“test”)

val t2: Generics = t1

println(t2.get())

//编译报错 Type mismatch. Required: Generics Found: Generics

//val t3: Generics = t2

}

上面代码如果 t3 想编译通过需要修改代码为如下：

//kotlin 协变用 out 表示只能读取不能写入

class Generics(t: T) {

private var tmp: T = t

fun get(): T = this.tmp

//编译错误 参数 t 爆红 Type parameter T is declared as ‘out’ but occurs in ‘in’ position in type T

//fun set(t: T) = this.tmp = t

}

/**

运行结果：

test

test

*/

fun testRun() {

val t1 = Generics(“test”)

val t2: Generics = t1

println(t2.get())

val t3: Generics = t2

println(t3.get())

}

如上就能保证 t3 类型安全读取，但是可以看到 Generics 中的 set 方法是无法编译通过的，因为 T 是 out 的，只能读取不能当参数写入，所以要想写入得对上面代码改为如下：

//【工匠若水 加微信 yanbo373131686 联系我，关注微信公众号：码农每日一题 未经允许严禁转载 https://blog.csdn.net/yanbober】

//kotlin 协变用 out 表示只能读取不能写入

//kotlin 逆变用 in 表示只能写入不能读取

class Generics<out T, in M>(t: T, m: M) {

private var tmp: T = t

private var mm: M = m

fun get(): T = this.tmp

fun set(arg: M) {

this.mm = arg

}

}

fun testRun() {

val t1 = Generics<String, Number>(“test”, 12)

val t2: Generics<String, Number> = t1

t2.get()

t2.set(12)

val t3: Generics<Any, Int> = t2

t3.get()

t3.set(12)

}

如上代码体现的都是 kotlin 声明处协变和逆变的场景。

kotlin 泛型类型投影

---

由于 koltin 声明处协变逆变导致类型只能被读或者只能被写，不能读写操作。要想能同时读写就需要用到使用处协变逆变，也就是kotlin 类型投影。我们先看一个又想读也想写的例子，这个例子使用了 kotlin 的 Array 泛型，所以先看下其源码：

//kotlin 中的 Array.kt 源码

//由于 T 即被读也被写，所以如果按照 koltin 声明处协变规则来说，这里即不能加 in 也不能加 out

public class Array {

//对T的读取

public operator fun get(index: Int): T

//对T的写入

public operator fun set(index: Int, value: T): Unit

}

接着我们使用它来一步步做到既能读也能写的能力，如下：

//【工匠若水 加微信 yanbo373131686 联系我，关注微信公众号：码农每日一题 未经允许严禁转载 https://blog.csdn.net/yanbober】

fun copy(from: Array, to: Array) {

assertEquals(from.size, to.size)

for (index in from.indices) {

to[index] = from[index]

}

}

/**

输出结果：

hello0

hello1

*/

fun testRun() {

val from: Array = arrayOf(1, 2)

val to: Array = Array(2) { it -> “hello$it” }

to.forEach { println(it) }

//编译报错 Type mismatch. Required: Array Found: Array

//copy(from, to)

}

上面例子如果想要编译及运行通过就需要使用 kotlin 提供的类型投影机制，如下案例：

//这个 out 没在声明处，是在定义方法的地方

fun copy(from: Array, to: Array) {

assertEquals(from.size, to.size)

for (index in from.indices) {

to[index] = from[index]

//编译报错，只能从 from 读，不能写入

//form[index] = 1

}

}

/**

输出结果：

hello0

hello1

*/

fun testRun() {

val from: Array = arrayOf(1, 2)

val to: Array = Array(2) { it -> “hello$it” }

to.forEach { println(it) }

copy(from, to)

}

kotlin 泛型星投影

---

如果Base<out T>里面 T 的上界是 TUpper，那么Base<*>就相当于Base<out T>，这表示当 T 的类型未知时，你可以安全的从Base<*>中读取TUpper类型的值。

如果Base<in T>里面 T 的下界是 TUpper，那么Base<*>就相当于Base<in Nothing>，Nothing 在 kotlin 中表示什么都不存在，所以无法向Base<*>中写入任何类型的值。

如果Base<T>里面 T 的上界是 TUpper，那么Base<*>就相当于读取时的Base<out TUpper>以及写入时的Base<in Nothing>。

如下是上面说法的验证实例：

//【工匠若水 加微信 yanbo373131686 联系我，关注微信公众号：码农每日一题 未经允许严禁转载 https://blog.csdn.net/yanbober】

class Base

class Base2 {

fun set(t: T) {

}

}

class Base3 (var t: T) {

fun set(t: T) {

this.t = t

}

fun get(): T = this.t

最后为了帮助大家深刻理解Android相关知识点的原理以及面试相关知识，这里放上相关的我搜集整理的24套腾讯、字节跳动、阿里、百度2020-2021面试真题解析，我把技术点整理成了视频和PDF（实际上比预期多花了不少精力），包知识脉络 + 诸多细节。

还有 高级架构技术进阶脑图、Android开发面试专题资料 帮助大家学习提升进阶，也节省大家在网上搜索资料的时间来学习，也可以分享给身边好友一起学习。

网上学习 Android的资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。希望这份系统化的技术体系对大家有一个方向参考。
《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》，点击传送门，即可获取！
关的我搜集整理的24套腾讯、字节跳动、阿里、百度2020-2021面试真题解析，我把技术点整理成了视频和PDF（实际上比预期多花了不少精力），包知识脉络 + 诸多细节。

还有 高级架构技术进阶脑图、Android开发面试专题资料 帮助大家学习提升进阶，也节省大家在网上搜索资料的时间来学习，也可以分享给身边好友一起学习。

[外链图片转存中…(img-VMT6XR3z-1715784718998)]

[外链图片转存中…(img-KwfhI9O9-1715784719002)]

[外链图片转存中…(img-hm8FfoDb-1715784719003)]

网上学习 Android的资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。希望这份系统化的技术体系对大家有一个方向参考。
《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》，点击传送门，即可获取！