溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
本篇內容主要講解“scala的類型上下界是什么”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實用性強。下面就讓小編來帶大家學習“scala的類型上下界是什么”吧!
類型上界
在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的子類。
類型下界
trait Node[+B] {def prepend(elem: B): Node[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 = hdef tail: Node[B] = t}case class Nil[+B]() extends Node[B] {def prepend(elem: B): ListNode[B] = ListNode(elem, this)}
trait Node[+B] {def prepend[U >: B](elem: U): Node[U]}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 = hdef tail: Node[B] = t}case class Nil[+B]() extends Node[B] {def prepend[U >: B](elem: U): ListNode[U] = ListNode(elem, this)}
trait Bird case class AfricanSwallow() extends Bird case class EuropeanSwallow() extends Bird val africanSwallowList= ListNode[AfricanSwallow](AfricanSwallow(), Nil()) val birdList: Node[Bird] = africanSwallowList birdList.prepend(EuropeanSwallow())
到此，相信大家對“scala的類型上下界是什么”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
