我们继续看一种 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 声明处协变和逆变的场景。
由于 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)
}
如果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 泛型星投影的诠释。
自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。
深知大多数初中级Android工程师，想要提升技能，往往是自己摸索成长或者是报班学习，但对于培训机构动则近万的学费，着实压力不小。自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！
因此收集整理了一份《2024年Android移动开发全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。
既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上Android开发知识点，真正体系化！
由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！
如果你觉得这些内容对你有帮助，可以扫码获取！！（备注：Android）
尾声
最后，我再重复一次，如果你想成为一个优秀的 Android 开发人员，请集中精力，对基础和重要的事情做深度研究。
对于很多初中级Android工程师而言，想要提升技能，往往是自己摸索成长，不成体系的学习效果低效漫长且无助。 整理的这些架构技术希望对Android开发的朋友们有所参考以及少走弯路，本文的重点是你有没有收获与成长，其余的都不重要，希望读者们能谨记这一点。
最后想要拿高薪实现技术提升薪水得到质的飞跃。最快捷的方式，就是有人可以带着你一起分析，这样学习起来最为高效，所以为了大家能够顺利进阶中高级、架构师，我特地为大家准备了一套高手学习的源码和框架视频等精品Android架构师教程，保证你学了以后保证薪资上升一个台阶。
当你有了学习线路，学习哪些内容，也知道以后的路怎么走了，理论看多了总要实践的。
进阶学习视频
附上：我们之前因为秋招收集的二十套一二线互联网公司Android面试真题 （含BAT、小米、华为、美团、滴滴）和我自己整理Android复习笔记（包含Android基础知识点、Android扩展知识点、Android源码解析、设计模式汇总、Gradle知识点、常见算法题汇总。）
《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取！
得到质的飞跃。最快捷的方式，就是有人可以带着你一起分析，这样学习起来最为高效，所以为了大家能够顺利进阶中高级、架构师，我特地为大家准备了一套高手学习的源码和框架视频等精品Android架构师教程，保证你学了以后保证薪资上升一个台阶。
当你有了学习线路，学习哪些内容，也知道以后的路怎么走了，理论看多了总要实践的。
进阶学习视频
[外链图片转存中…(img-REltls8Y-1713386670395)]
附上：我们之前因为秋招收集的二十套一二线互联网公司Android面试真题 （含BAT、小米、华为、美团、滴滴）和我自己整理Android复习笔记（包含Android基础知识点、Android扩展知识点、Android源码解析、设计模式汇总、Gradle知识点、常见算法题汇总。）
[外链图片转存中…(img-U9Y4MyVG-1713386670396)]
《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取！
264
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
