一篇文章教你搞清楚——Kotlin-进阶---不变型，跟我一起手写EventBus吧

最新推荐文章于 2024-11-04 17:57:04 发布

2401_84141304

最新推荐文章于 2024-11-04 17:57:04 发布

阅读量654

点赞数 11

分类专栏： 2024年程序员学习文章标签： kotlin windows 开发语言

本文链接：https://blog.csdn.net/2401_84141304/article/details/137628366

版权

2024年程序员学习专栏收录该内容

62 篇文章 0 订阅

订阅专栏

List定义如下：

// List带泛型的定义
public interface List extends Collection {
boolean add(E e);
E get(int index);
}

// List定义如下:
public interface List extends Collection {
boolean add(String e);
String get(int index);
}

// List定义如下:
public interface List extends Collection {
boolean add(CharSequence e);
CharSequence get(int index);
}

虽然String get(int index);返回值的范围比CharSequence get(int index);小，满足了第二个条件。

但boolean add(String e);接收参数的范围明显比boolean add(CharSequence e);要小，不满足第一个条件。

所以List中不是List的子类型。换句话说，把程序中的List都替换成List是不安全的，因为可能会存在这样的代码:

val spannable = Spannable()
val list: List = mutableListOf()
list.add(spannable)

如果把这里的List换成List，编译器就会报错。因为boolean add(String e);只会处理String类型的实参，Spannable超出了这个范围。

不变型

把上面的例子表达成更抽象的定义如下：

假设泛型类A 包含类型参数T，即class A，而Type1是Type2的子类，如果A和A不存在父子关系，则称类A 在类型参数上是不变型的。

Kotlin 和 Java 中的类都是不变型的。

这样会造成一些限制，辛辛苦苦抽象了一个方法，它接收一个List作为参数：handle(chars: List)，想当然地把List传递进入时，编译器会报错。。。难道需要为List重新定义一个相同的方法吗？

协变

不变型描述的是泛型类之间没有子类型关系，泛型类之间还有一种子类型关系叫协变。

协变的意思是：类与其类型参数的抽象程度具有相同的变化方向。

(试图总结某个抽象概念时，总会说出一些让人听不懂话。。。)

换句话说：当类型参数变得更具体时，类也变得更具体。当类型参数变得更抽象时，类也变得更抽象。

比如，从List到List，类型参数从String变为更抽象的CharSequence，如果List到List的变化方向也是更抽象（前者是后者的子类），就称List在类型参数T上是协变的。（显然这个例子不是协变的而是不变型的）

如果一个泛型类是协变的，就意味着它在类的层面保留了类型参数的子类型关系

Kotlin 中，声明类在类型参数上是协变的，需要添加out保留字：

class MyList{ … }

虽然将泛型类声明为协变可以让其子类型化关系更符合直觉，但这需要付出代价：

class MyList {
fun set(item: T) {}//报错: Type parameter is declare as “out” but occur at “in” position in type T
fun get(): T {…}
}

若T出现在方法的参数位，称set(item: T)消费类型为T的值。
若T出现在返回值位时，称get(): T生产类型为T的值。

当T被out修饰后，它只能出现在返回值位，即它只能被泛型类生产而不能被消费。
所以out会产生两个效果：

1.它保留了泛型类的子类型化。
2.它限制了类型参数只能出现在返回值位。

这两点是相辅相成的：正因为它限制了类型参数不能出现在参数位，所以子类型化得以保留。正因为它保留了子类型化，所以类型参数只能出现在返回值位。

假设类型参数出现在了参数位，就会出现在这样的情况：

class MyList {
fun set(itme: String)
fun get(): String
}

class MyList {
fun set(itme: CharSequence)
fun get(): CharSequence
}
复制代码
因为fun set(itme: String)可以接收的参数范围比fun set(itme: CharSequence)小，不符合第一条退推论，所以MyList不是MyList的子类型。
而添加了out之后，相当于告诉编译器把出错的方法删掉以保留子类型化：
class MyList {
fun get(): T {…}
}

class MyList {
fun get(): String
}

class MyList {
fun get(): CharSequence
}

此时fun get(): String返回值的范围比fun get(): CharSequence小，符合第二条推论，所以MyList是MyList的子类型。

逆变

除了不变型、协变，泛型类之间还有一种子类型关系：逆变。

逆变的意思是：类与其类型参数的抽象程度具有相反的变化方向。

换句话说：当类型参数变得更具体时，类却变得更抽象。当类型参数变得更抽象时，类却变得更具体。
逆变有一点反直觉，它想实现的效果是：List成为List是的子类型。

如果一个泛型类是逆变的，就意味着它在类的层面反转了类型参数的子类型关系

Kotlin 中，声明类在类型参数上是逆变的，需要添加in保留字：

class MyList{ … }

同样地，这需要付出代价：

class MyList {
fun set(item: T) {}
fun get(): T {…}//报错: Type parameter is declare as “in” but occur at “out” position in type T
}

当T被in修饰后，它只能出现在参数位，即它只能被泛型类消费而不能被生产。
由此可见：

out和int不仅限定了参数可以出现的位置，还限定了什么类可以成为子类型。

类型投影

生活中的投影，是把一个三维物体变成二维物体，投影看上去还是那个物体只是降了一维。
程序中的类型投影也是类似的意思：

将类型投影意味着保留该类型的有些能力，去掉另一些能力。通过类型投影可以动态地改变泛型类的子类型关系。

类型投影通常应用于将不变型的泛型类动态地转换成逆变或协变。
比如，MutableList就是不变型的：

public interface MutableList : List, MutableCollection {
// 类型参数出现在 out 位置
public fun removeAt(index: Int): E
// 类型参数出现在 in 位置
public fun add(index: Int, element: E): Unit
…
}

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

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

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