标签：Node ListNode scala 19 elem 下界 类型 class def
类型上界
在Scala中，类型参数和抽象类型都可以有一个类型边界约束。这种类型边界在限制类型变量实际取值的同时还能展露类型成员的更多信息。比如像T <: A这样声明的类型上界表示类型变量T应该是类型A的子类。下面的例子展示了类PetContainer的一个类型参数的类型上界。
abstract class Animal { def name: String}
abstract class Pet extends Animal {}
class Cat extends Pet { override def name: String = "Cat"}
class Dog extends Pet { override def name: String = "Dog"}
class Lion extends Animal { override def name: String = "Lion"}
class PetContainer[P <: Pet](p: P) { def pet: P = p}
val dogContainer = new PetContainer[Dog](new Dog)val catContainer = new PetContainer[Cat](new Cat)
// this would not compileval lionContainer = new PetContainer[Lion](new Lion)
类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 将是方法的类型参数。下面看一个适合用类型下界的例子：case class ListNode[+B](h: B, t: Node[B]) extends Node[B] { def prepend(elem: B): ListNode[B] = ListNode(elem, this) def head: B = h def tail: Node[B] = t}
case class Nil[+B]() extends Node[B] { def prepend(elem: B): ListNode[B] = ListNode(elem, this)}该程序实现了一个单链表。Nil 表示空元素（即空列表）。class ListNode 是一个节点，它包含一个类型为 B (head) 的元素和一个对列表其余部分的引用 (tail)。class Node 及其子类型是协变的，因为我们定义了 +B。但是，这个程序 不能 编译，因为方法 prepend 中的参数 elem 是协变的 B 类型。这会出错，因为函数的参数类型是逆变的，而返回类型是协变的。要解决这个问题，我们需要将方法 prepend 的参数 elem 的型变翻转。我们通过引入一个新的类型参数 U 来实现这一点，该参数具有 B 作为类型下界。
case class ListNode[+B](h: B, t: Node[B]) extends Node[B] { def prepend[U >: B](elem: U): ListNode[U] = ListNode(elem, this) def head: B = h def tail: Node[B] = t}
case class Nil[+B]() extends Node[B] { def prepend[U >: B](elem: U): ListNode[U] = ListNode(elem, this)}现在我们像下面这么做：
val africanSwallowList= ListNode[AfricanSwallow](AfricanSwallow(), Nil())val birdList: Node[Bird] = africanSwallowListbirdList.prepend(EuropeanSwallow())可以为 Node[Bird] 赋值 africanSwallowList，然后再加入一个 EuropeanSwallow。
标签：Node,ListNode,scala,19,elem,下界,类型,class,def 来源： https://blog.51cto.com/u_15259710/2993739
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。