7.1.5 型变 (Variance: 协变, 逆变, 不变)

文档摘要

7.1.5 型变 (Variance: 协变, 逆变, 不变) Kotlin 泛型中的型变（Variance）什么是型变？在Kotlin中，泛型是一种非常强大的工具，它允许我们定义能够接受不同类型参数的类或函数。然而，当涉及到泛型时，我们需要处理类型之间的关系和约束，这就是型变的概念。型变（Variance）描述了如何根据父类和子类的关系来推导出泛型类型的兼容性。型变的基本概念型变主要分为三种：协变、逆变和不变。协变（Covariant）：允许子类型替代父类型。逆变（Contravariant）：允许父类型替代子类型。不变（Invariant）：不允许任何替换。通过控制型变，我们可以更灵活地使用泛型，同时保持类型安全。