kotlin 协变、逆变 - 猫和鱼的故事(1)
? super来使泛型支持逆变。修饰的泛型集合只能修改不能读取,这里说的不能读取是指不能按照泛型类型读取,你如果按照Object读出来再强转当然也是可以的。
以动物举例,看代码。
abstract class Animal {
void eat() {
System.out.println(“我是” + myName() + “, 我最喜欢吃” + myFavoriteFood());
}
abstract String myName();
abstract String myFavoriteFood();
}
class Fish extends Animal {
@Override
String myName() {
return “鱼”;
}
@Override
String myFavoriteFood() {
return “虾米”;
}
}
class Cat extends Animal {
@Override
String myName() {
return “猫”;
}
@Override
String myFavoriteFood() {
return “小鱼干”;
}
}
public static void extendsFun() {
List fishList = new ArrayList<>();
fishList.add(new Fish());
List catList = new ArrayList<>();
catList.add(new Cat());
List<? extends Animal> animals1 = fishList;
List<? extends Animal> animals2 = catList;
animals2.add(new Fish()); // 报错
Animal animal1 = animals1.get(0);
Animal animal2 = animals2.get(0);
animal1.eat();
animal2.eat();
}
//输出结果:
我是鱼, 我最喜欢吃虾米
我是猫, 我最喜欢吃小鱼干
协变就好比有多个集合,每个集合存储的是某中特定动物(extends Animal),但是不告诉你那个集合里存储的是鱼,哪个是猫。所以你虽然可以从任意一个集合中读取一个动物信息,没有问题,但是你没办法将一条鱼的信息存储到鱼的集合里,因为仅从变量 animals1、animals2 的类型声明上来看你不知道哪个集合里存储的是鱼,哪个集合里是猫。 假如报错的代码不报错了,那不就说明把一条鱼塞进了一堆猫里,这属于给猫加菜啊,所以肯定是不行的。? extends 类型通配符所表达的协变就是这个意思。
那逆变是什么意思呢?还是以上面的动物举例:
public static void superFun() {
List fishList = new ArrayList<>();
fishList.add(new Fish());
List animalList = new ArrayList<>();
animalList.add(new Cat());
animalList.add(new Fish());
List<? super Fish> fish1 = fishList;
List<? super Fish> fish2 = animalList;
fish1.add(new Fish());
Fish fish = fish2.get(0); //报错
}
从变量 fish1、fish2 的类型声明上只能知道里面存储的都是鱼的父类,如果这里也不报错的话可就从 fish2 的集合里拿出一只猫赋值给一条鱼了,这属于谋杀亲鱼。所以肯定也是不行。? super 类型通配符所表达的逆变就是这个意思。
kotlin 中对于协变和逆变也提供了两个修饰符:
-
out:声明协变; -
in:声明逆变。
它们有两种使用方式:
-
第一种:和
java一样在使用处声明; -
第二种:在类或接口的定义处声明。
当和 java 一样在使用处声明时,将上面 java 示例转换为 kotlin:
fun extendsFun() {
val fishList: MutableList = ArrayList()
fishList.add(Fish())
val catList: MutableList = ArrayList()
catList.add(Cat())
val animals1: MutableList = fishList
val animals2: MutableList = catList
animals2.add(Fish()) // 报错
val animal1 = animals1[0]
val animal2 = animals2[0]
animal1.eat()
animal2.eat()
}
fun superFun() {
val fishList: MutableList = ArrayList()
fishList.add(Fish())
val animalList: MutableList = ArrayList()
animalList.add(Cat())
animalList.add(Fish())
val fish1: MutableList = fishList
val fish2: MutableList = animalList
fish1.add(Fish())
val fish: Fish = fish2[0] //报错
}
可以看到在 kotlin 代码中除了将 ? extends 替换为了 out,将 ? super 替换为了 in,其他地方并没有发生变化,而产生的结果是一样的。那在类或接口的定义处声明 in、out 的作用是什么呢。
假设有一个泛型接口 Source<T>,该接口中不存在任何以 T 作为参数的方法,只是方法返回 T 类型值:
// Java
interface Source {
自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。
深知大多数初中级Android工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则近万的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!
因此收集整理了一份《2024年Android移动开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。





既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Android开发知识点,真正体系化!
由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!
如果你觉得这些内容对你有帮助,可以扫码获取!!(备注:Android)
如何做好面试突击,规划学习方向?
面试题集可以帮助你查漏补缺,有方向有针对性的学习,为之后进大厂做准备。但是如果你仅仅是看一遍,而不去学习和深究。那么这份面试题对你的帮助会很有限。最终还是要靠资深技术水平说话。
网上学习 Android的资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。建议先制定学习计划,根据学习计划把知识点关联起来,形成一个系统化的知识体系。
学习方向很容易规划,但是如果只通过碎片化的学习,对自己的提升是很慢的。
同时我还搜集整理2020年字节跳动,以及腾讯,阿里,华为,小米等公司的面试题,把面试的要求和技术点梳理成一份大而全的“ Android架构师”面试 Xmind(实际上比预期多花了不少精力),包含知识脉络 + 分支细节。

在搭建这些技术框架的时候,还整理了系统的高级进阶教程,会比自己碎片化学习效果强太多。

网上学习 Android的资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。希望这份系统化的技术体系对大家有一个方向参考。
《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》,点击传送门即可获取!
5-1712284574193)]
在搭建这些技术框架的时候,还整理了系统的高级进阶教程,会比自己碎片化学习效果强太多。
[外链图片转存中…(img-cVJWeSLg-1712284574193)]
网上学习 Android的资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。希望这份系统化的技术体系对大家有一个方向参考。
《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》,点击传送门即可获取!
更多推荐



所有评论(0)