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

最新推荐文章于 2024-10-17 16:44:42 发布

莫晓前端资料

最新推荐文章于 2024-10-17 16:44:42 发布

阅读量249

点赞数 5

分类专栏： Android程序员文章标签： kotlin 开发语言 android

本文链接：https://blog.csdn.net/m0_60226911/article/details/136851281

版权

Android程序员专栏收录该内容

13 篇文章 0 订阅

订阅专栏

如上就能保证 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

}

/**

测试使用

fun testRun() {

val base1: Base = Base()

val base1a: Base<*> = base1

val base2: Base2 = Base2()

base2.set(1)

val base2a: Base2<*> = base2

//编译报错 Out-projected type ‘Base2<*>’ prohibits the use of ‘public final fun set(t: T): Unit defined in cn.yan.test.Base2’

//base2a.set(3)

val base3: Base3 = Base3(12)

base3.set(1)

base3.get()

val base3a: Base3<*> = base3

base3a.get()

//编译报错 Out-projected type ‘Base3<*>’ prohibits the use of ‘public final fun set(t: T): Unit defined in cn.yan.test.Base3’

//base3a.set(12)

}

上面案例就是 kotlin 泛型星投影的诠释。

kotlin 泛型擦除

在 jvm 平台下的 kotlin 与 java 类似，由于遵守 jvm 规范，所以对于泛型也存在擦除特性，所以 kotlin 语法层面的泛型检查有些时候是可以绕过的，因为本质到字节码层面都被擦除了。如下案例：

class Base (private var t: T) {

fun get(): T = this.t

//无法编译通过，因为 T 是 out 的，只能读不能写

//fun set(t: T) { this.t = t }

//kotlin 允许 @UnsafeVariance 注解来保证编译通过及能使用，但是安全不保证

fun set(t: @UnsafeVariance T) {

this.t = t

}

/**

输出结果：

xxxxx

fun testRun() {

自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数初中级安卓工程师，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《2024年最新Android移动开发全套学习资料》送给大家，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频
如果你觉得这些内容对你有帮助，可以添加下面V无偿领取！（备注Android）

架构师筑基包括哪些内容

我花了将近半个月时间将：深入 Java 泛型.、注解深入浅出、并发编程.、数据传输与序列化、Java 虚拟机原理、反射与类加载、高效 IO、Kotlin项目实战等等Android架构师筑基必备技能整合成了一套系统知识笔记PDF，相信看完这份文档，你将会对这些Android架构师筑基必备技能有着更深入、更系统的理解。