真实的国产乱ⅩXXX66竹夫人,五月香六月婷婷激情综合,亚洲日本VA一区二区三区,亚洲精品一区二区三区麻豆

成都創(chuàng)新互聯(lián)網(wǎng)站制作重慶分公司

scala的類型上下界是什么

本篇內(nèi)容主要講解“scala的類型上下界是什么”,感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷,實用性強。下面就讓小編來帶大家學習“scala的類型上下界是什么”吧!

創(chuàng)新互聯(lián)-專業(yè)網(wǎng)站定制、快速模板網(wǎng)站建設、高性價比莒縣網(wǎng)站開發(fā)、企業(yè)建站全套包干低至880元,成熟完善的模板庫,直接使用。一站式莒縣網(wǎng)站制作公司更省心,省錢,快速模板網(wǎng)站建設找我們,業(yè)務覆蓋莒縣地區(qū)。費用合理售后完善,十載實體公司更值得信賴。

類型上界

在Scala中,類型參數(shù)和抽象類型都可以有一個類型邊界約束。這種類型邊界在限制類型變量實際取值的同時還能展露類型成員的更多信息。比如像T <: A這樣聲明的類型上界表示類型變量T應該是類型A的子類。下面的例子展示了類PetContainer的一個類型參數(shù)的類型上界。

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子類的類型參數(shù)P。因為Dog和Cat都是Pet的子類,所以可以構(gòu)造PetContainer[Dog]和PetContainer[Cat]。但在嘗試構(gòu)造PetContainer[Lion]的時候會得到下面的錯誤信息:

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

這是因為Lion并不是Pet的子類。

類型下界

類型上界 將類型限制為另一種類型的子類型,而 類型下界 將類型聲明為另一種類型的超類型。術(shù)語 B >: A 表示類型參數(shù) B 或抽象類型 B 是類型 A 的超類型。在大多數(shù)情況下,A 將是類的類型參數(shù),而 B 將是方法的類型參數(shù)。
下面看一個適合用類型下界的例子:
   
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 = h                def tail: Node[B] = t              }              case class Nil[+B]() extends Node[B] {                def prepend(elem: B): ListNode[B] = ListNode(elem, this)              }  
該程序?qū)崿F(xiàn)了一個單鏈表。Nil 表示空元素(即空列表)。class ListNode 是一個節(jié)點,它包含一個類型為 B (head) 的元素和一個對列表其余部分的引用 (tail)。class Node 及其子類型是協(xié)變的,因為我們定義了 +B。
但是,這個程序 不能 編譯,因為方法 prepend 中的參數(shù) elem 是協(xié)變的 B 類型。這會出錯,因為函數(shù)的參數(shù)類型是逆變的,而返回類型是協(xié)變的。
要解決這個問題,我們需要將方法 prepend 的參數(shù) elem 的型變翻轉(zhuǎn)。我們通過引入一個新的類型參數(shù) U 來實現(xiàn)這一點,該參數(shù)具有 B 作為類型下界。
   
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 = h                def tail: Node[B] = t              }                  case class Nil[+B]() extends Node[B] {                def prepend[U >: B](elem: U): ListNode[U] = ListNode(elem, this)              }
現(xiàn)在我們像下面這么做:  
   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())
可以為 Node[Bird] 賦值 africanSwallowList,然后再加入一個 EuropeanSwallow。

到此,相信大家對“scala的類型上下界是什么”有了更深的了解,不妨來實際操作一番吧!這里是創(chuàng)新互聯(lián)網(wǎng)站,更多相關(guān)內(nèi)容可以進入相關(guān)頻道進行查詢,關(guān)注我們,繼續(xù)學習!


網(wǎng)頁名稱:scala的類型上下界是什么
標題URL:http://weahome.cn/article/pjeses.html

其他資訊

在線咨詢

微信咨詢

電話咨詢

028-86922220(工作日)

18980820575(7×24)

提交需求

返回頂部