溫馨提示×

您好，登錄后才能下訂單哦！

密碼登錄×
登錄注冊(cè)×
其他方式登錄
點(diǎn)擊 登錄注冊(cè) 即表示同意《億速云用戶服務(wù)條款》

scala的類型上下界是什么

發(fā)布時(shí)間：2021-12-08 15:02:01 來源：億速云 閱讀：147 作者：iii 欄目：大數(shù)據(jù)

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

類型上界

在Scala中，類型參數(shù)和抽象類型都可以有一個(gè)類型邊界約束。這種類型邊界在限制類型變量實(shí)際取值的同時(shí)還能展露類型成員的更多信息。比如像T <: A這樣聲明的類型上界表示類型變量T應(yīng)該是類型A的子類。下面的例子展示了類PetContainer的一個(gè)類型參數(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接受一個(gè)必須是Pet子類的類型參數(shù)P。因?yàn)镈og和Cat都是Pet的子類，所以可以構(gòu)造PetContainer[Dog]和PetContainer[Cat]。但在嘗試構(gòu)造PetContainer[Lion]的時(shí)候會(huì)得到下面的錯(cuò)誤信息：

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

這是因?yàn)長(zhǎng)ion并不是Pet的子類。

類型下界

類型上界 將類型限制為另一種類型的子類型，而 類型下界 將類型聲明為另一種類型的超類型。術(shù)語 B >: A 表示類型參數(shù) B 或抽象類型 B 是類型 A 的超類型。在大多數(shù)情況下，A 將是類的類型參數(shù)，而 B 將是方法的類型參數(shù)。
下面看一個(gè)適合用類型下界的例子：
   
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)了一個(gè)單鏈表。Nil 表示空元素（即空列表）。class ListNode 是一個(gè)節(jié)點(diǎn)，它包含一個(gè)類型為 B (head) 的元素和一個(gè)對(duì)列表其余部分的引用 (tail)。class Node 及其子類型是協(xié)變的，因?yàn)槲覀兌x了 +B。
但是，這個(gè)程序 不能 編譯，因?yàn)榉椒?prepend 中的參數(shù) elem 是協(xié)變的 B 類型。這會(huì)出錯(cuò)，因?yàn)楹瘮?shù)的參數(shù)類型是逆變的，而返回類型是協(xié)變的。
要解決這個(gè)問題，我們需要將方法 prepend 的參數(shù) elem 的型變翻轉(zhuǎn)。我們通過引入一個(gè)新的類型參數(shù) U 來實(shí)現(xiàn)這一點(diǎ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，然后再加入一個(gè) EuropeanSwallow。

到此，相信大家對(duì)“scala的類型上下界是什么”有了更深的了解，不妨來實(shí)際操作一番吧！這里是億速云網(wǎng)站，更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢，關(guān)注我們，繼續(xù)學(xué)習(xí)！

向AI問一下細(xì)節(jié)

免責(zé)聲明：本站發(fā)布的內(nèi)容（圖片、視頻和文字）以原創(chuàng)、轉(zhuǎn)載和分享為主，文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如果涉及侵權(quán)請(qǐng)聯(lián)系站長(zhǎng)郵箱：is@yisu.com進(jìn)行舉報(bào)，并提供相關(guān)證據(jù)，一經(jīng)查實(shí)，將立刻刪除涉嫌侵權(quán)內(nèi)容。

AI
助
手