//<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就会报错。

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

List<? extends Number> list = new ArrayList();

list.add(new Integer(1)) //报错

这里我们会有疑问：为什么Number可以被Integer实例化，但是ArrayList< Number>却不能被ArrayList< Integer>实例化，即使使用了 通配符也不行。

为了解决这个问题，我们需要了解Java中的逆变和协变及泛型中通配符的用法。

协变的意义是 List< ?> => List< ? extends Number>

List<? extends Number> list1 = new ArrayList();

List<? extends Number> list2 = new ArrayList();

//编译

list1.add(null); //编译ok

list2.add(null); //编译OK

list1.add(new Integer(1)) //编译错误

list2.add(new Float(1f)) //编译错误

List< Integer>、List< Float>等都是List<? extends Number>的子类型。

现在问题来了，如果能将Float的子类添加到List<? extends Number>中，也能将Integer的子类添加到List<? extends Number>中，那么List<? extends Number>中就会持有各种Number子类型的对象。而这个时候，当我们再使用这个List的时候，元素的类型就会非常混乱。我们不知道哪个元素是Integer。或者Float。

Java为了保护其类型一致性，禁止向List<? extends Number>添加任意Number子类型的对象。不过可以添加空对象null。

3.2 逆变

我们先用一段代码举例子：

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

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

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

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

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

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

最后的最后

对于程序员来说，要学习的知识内容、技术有太多太多，要想不被环境淘汰就只有不断提升自己，从来都是我们去适应环境，而不是环境来适应我们！

当你有了学习线路，学习哪些内容，也知道以后的路怎么走了，理论看多了总要实践的

最后，互联网不存在所谓的寒冬，只是你没有努力罢了！

《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取！

024/03/13/H4lCoPEF.jpg" />

最后的最后

对于程序员来说，要学习的知识内容、技术有太多太多，要想不被环境淘汰就只有不断提升自己，从来都是我们去适应环境，而不是环境来适应我们！

当你有了学习线路，学习哪些内容，也知道以后的路怎么走了，理论看多了总要实践的

[外链图片转存中…(img-8EV3JKqd-1712779544680)]

最后，互联网不存在所谓的寒冬，只是你没有努力罢了！

《互联网大厂面试真题解析、进阶开发核心学习笔记、全套讲解视频、实战项目源码讲义》点击传送门即可获取！