Kotlin学习（8）泛型

报错

//因为Kotlin中有类型推断的功能，有些类型参数可以直接不写，所以mutableMapOf后面的参数类型可以不写

val map = mutableMapOf(1 to “a”, 2 to “b”, 3 to “c”)

1.2 泛型类

我们直接声明一个带参数类型的Container类，代码如下：

class Container<K, V>(var key: K, var value: V)

测试代码如下：

//<K, V>被具体化为<Int, String>

val container = Container<Int, String>(1, “A”)

println(container) //输出： container = Container(key = 1, value = A)

1.3 泛型函数

在泛型接口和泛型类中，我们都在类名和接口名后声明了泛型参数。

而实际上也可以直接在类或接口中的函数中声明泛型参数或者在包级函数中直接声明泛型参数。

就是在方法名前面加一个<T>,参数中带个<T>

class GenericClass{

fun console(t: T) { //类中的泛型函数

println(t)

}

}

interface GenericInterface {

fun console(t: T) //接口中的泛型函数

}

fun <T : Comparable> gt(x: T, y: T): Boolean{ //包中的泛型函数

return x > y

}

2. 类型上界

---

fun <T : Comparable> gt(x: T, y: T): Boolean //T的类型上界是Comparable

这里的T:Comparable，表示Comparable是类型T的上界。

也就是告诉编译器，类型参数T代表的都是实现了Comparable的接口的类。

在Java中就是 <T extend Comparable>

如果没有声明上界的话，就必须保证 函数中使用的操作符是可以用的：

fun gt(x: T, y:T): Boolean{

return x > y //编译不通过

}

3. 协变与逆变

---

我们先来看一个问题场景。首先下面存在父子关系的模型：

open class Food

open class Fruit : Food() //Fruit继承Food

class Apple : Fruit() //Apple继承Fruit

class Banana : Fruit() //Banana继承Fruit

class Grape : Fruit() //Grape继承Fruit

//两个函数

object GenericTypeDemo {

fun addFruit(fruit: MutableList){}

fun getFruit(fruit: MutableList<Fruit){}

}

这个时候可以这样调用上面的两个函数：

val fruits： MutableList = mutableListOf(Fruit(), Fruit(), Fruit())

GenericTypeDemo.addFruit(fruits)

GenericTypeDemo.getFruit(fruits)

现在又有一个存放Apple的List：

val aples: MutableList = mutableListOf(Apple(), Apple(), Apple())

由于Kotlin中的泛型和Java一样是非协变的。所以下面的调用是编译不通过的：

GenericTypeDemo.addFruit(apples)

GenericTypeDemo.getFruit(apples)

如果没有协变，我们不得不在GenericTypeDemp中在添加两行代码：

fun addApple(apple: MutableList)

fun getApple(apple: MutableList)

这样重复的代码是不可取的。

在Java中我们使用 <? extend T>确定上界， 使用 <? super T>确定下界。

这里的？是类型通配符，相当于对抽象的类型定义做了一个范围界定。

Number类型（简记为F）是Integer类型（简记为C）的父类型，我们把这中关系简称为 C=>F(C继承F)，而List< Number>,List< Integer>代表的泛型类型分别简记为f(F),f©

那么我们可以这样描述协变和逆变：

• 当C=>F，如果有f© => f(F)，那么f叫做协变

• 当C=>F，如果有f(F) => f©，那么f叫做逆变。

如果上面两种关系都不成立，则叫做不变。

3.1 协变

Java中的数组是协变的。下面的代码是可以正常运行的：

Integer[] ints = new Integer[3];

ints[0] = 0;

ints[1] = 1;

Number[] numbers = new Number[3];

numbers = ints; //数组是协变的，所以可以正确赋值

在java中，Integer是Number的子类，数组Integer[]也是Number[]的子类，因此在任何需要 Numbers[]值的地方都可以提供一个 Integer[]值。

但是Java中的泛型是非协变的。所以Java中的 数组的协变和 泛型的非协变就如下图所示：

上面的代码中把数组换成list就会报错。

就算我们使用通配符这样写也会报错：

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

深知大多数初中级Android工程师，想要提升技能，往往是自己摸索成长或者是报班学习，但对于培训机构动则近万的学费，着实压力不小。自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

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

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上Android开发知识点，真正体系化！

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！

如果你觉得这些内容对你有帮助，可以扫码获取！！（备注：Android）

关于面试的充分准备

一些基础知识和理论肯定是要背的，要理解的背，用自己的语言总结一下背下来。

虽然 Android 没有前几年火热了，已经过去了会四大组件就能找到高薪职位的时代了。这只能说明 Android 中级以下的岗位饱和了，现在高级工程师还是比较缺少的，我能明显感觉到国庆后多了很多高级职位，所以努力让自己成为高级工程师才是最重要的。

好了，希望对大家有所帮助。

接下来是整理的一些Android学习资料，有兴趣的朋友们可以关注下我免费领取方式。

①Android开发核心知识点笔记

②对标“阿里 P7” 40W+年薪企业资深架构师成长学习路线图

③面试精品集锦汇总

④全套体系化高级架构视频

**Android精讲视频领取学习后更加是如虎添翼！**进军BATJ大厂等（备战）！现在都说互联网寒冬，其实无非就是你上错了车，且穿的少（技能），要是你上对车，自身技术能力够强，公司换掉的代价大，怎么可能会被裁掉，都是淘汰末端的业务Curd而已！现如今市场上初级程序员泛滥，这套教程针对Android开发工程师1-6年的人员、正处于瓶颈期，想要年后突破自己涨薪的，进阶Android中高级、架构师对你更是如鱼得水！

《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》，点击传送门即可获取！

**Android精讲视频领取学习后更加是如虎添翼！**进军BATJ大厂等（备战）！现在都说互联网寒冬，其实无非就是你上错了车，且穿的少（技能），要是你上对车，自身技术能力够强，公司换掉的代价大，怎么可能会被裁掉，都是淘汰末端的业务Curd而已！现如今市场上初级程序员泛滥，这套教程针对Android开发工程师1-6年的人员、正处于瓶颈期，想要年后突破自己涨薪的，进阶Android中高级、架构师对你更是如鱼得水！

[外链图片转存中…(img-dBuc09Jl-1711865470188)]

《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》，点击传送门即可获取！