SFC2020
SFC2020 管理员

554枚
铜币

689点
威望

0个
银元

scala的类型上下界

2020-06-01 13:41

3310

类型上界
在Scala中,类型参数和抽象类型都可以有一个类型边界约束。这种类型边界在限制类型变量实际取值的同时还能展露类型成员的更多信息。比如像T <: A这样声明的类型上界表示类型变量T应该是类型A的子类。下面的例子展示了类PetContainer的一个类型参数的类型上界。

图片:1.png



图片:2.png



类PetContainer接受一个必须是Pet子类的类型参数P。因为Dog和Cat都是Pet的子类,所以可以构造PetContainer[Dog]和PetContainer[Cat]。但在尝试构造PetContainer[Lion]的时候会得到下面的错误信息:

type arguments [Lion] do not conform to class PetContainer's type parameter bounds [P <: Pet]

这是因为Lion并不是Pet的子类。

类型下界
类型上界 将类型限制为另一种类型的子类型,而 类型下界 将类型声明为另一种类型的超类型。术语 B >: A 表示类型参数 B 或抽象类型 B 是类型 A 的超类型。在大多数情况下,A 将是类的类型参数,而 B 将是方法的类型参数。

下面看一个适合用类型下界的例子:

图片:3.png



该程序实现了一个单链表。Nil 表示空元素(即空列表)。class ListNode 是一个节点,它包含一个类型为 B (head) 的元素和一个对列表其余部分的引用 (tail)。class Node 及其子类型是协变的,因为我们定义了 +B。

但是,这个程序 不能 编译,因为方法 prepend 中的参数 elem 是协变的 B 类型。这会出错,因为函数的参数类型是逆变的,而返回类型是协变的。

要解决这个问题,我们需要将方法 prepend 的参数 elem 的型变翻转。我们通过引入一个新的类型参数 U 来实现这一点,该参数具有 B 作为类型下界。

图片:4.png



现在我们像下面这么做:

图片:5.png



可以为 Node[Bird] 赋值 africanSwallowList,然后再加入一个 EuropeanSwallow。

本文源自浪勺子 大数据群英萃,转载目的在于传递更多信息,版权归原作者所有。


返回顶部