这篇博客介绍了Scala中的型变概念，包括类型边界（类型上界和下界），协变（使得类型A的子类型能够作为类型B的子类型使用），逆变（类型B的子类型能够作为类型A的子类型使用），以及不变（默认的泛型类行为）。这些特性在泛型编程中起到关键作用，帮助实现更灵活的类型约束。
一、类型边界
在Scala中，类型参数可以有一个类型边界约束
- 类型上界：将类型限制为另一种类型的子类
T<:A 表示类型变量T应该是类型A的子类
A是具体类型，T是泛型 - 类型下界：将类型声明为另一种类型的超类
T>:A 表示类型变量T应该是类型A的超类
A是具体类型，T是泛型
二、协变
class Covariant[+T]{ }
对于两种类型 A 和 B，如果 A 是 B 的子类型，那么 Covariant[A] 就是 Covariant[B] 的子类型
三、逆变
class Inversion[-T]{ }
对于两种类型 A 和 B，如果 A 是 B 的子类型，那么 Inversion[B] 就是 Inversionr[A] 的子类型
四、不变
class Invariant[T]{ }
默认情况下，Scala中的泛型类是不变的
object CovariantAndContravariant {
//协变点和逆变点,不变 (invariant)
class Animal{
def eat(): Unit ={
println("动物要吃食物")
最低0.47元/天 解锁文章
178
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
