本篇內(nèi)容主要講解“Scala程序中怎么實(shí)現(xiàn)多態(tài)和動(dòng)態(tài)綁定”，感興趣的朋友不妨來(lái)看看。本文介紹的方法操作簡(jiǎn)單快捷，實(shí)用性強(qiáng)。下面就讓小編來(lái)帶大家學(xué)習(xí)“Scala程序中怎么實(shí)現(xiàn)多態(tài)和動(dòng)態(tài)綁定”吧!

成都創(chuàng)新互聯(lián)堅(jiān)持“要么做到，要么別承諾”的工作理念，服務(wù)領(lǐng)域包括：網(wǎng)站建設(shè)、網(wǎng)站制作、企業(yè)官網(wǎng)、英文網(wǎng)站、手機(jī)端網(wǎng)站、網(wǎng)站推廣等服務(wù)，滿(mǎn)足客戶(hù)于互聯(lián)網(wǎng)時(shí)代的鹿邑網(wǎng)站設(shè)計(jì)、移動(dòng)媒體設(shè)計(jì)的需求，幫助企業(yè)找到有效的互聯(lián)網(wǎng)解決方案。努力成為您成熟可靠的網(wǎng)絡(luò)建設(shè)合作伙伴！

在10.4節(jié)中你看到了類(lèi)型Element的變量可以指向類(lèi)型ArrayElement的對(duì)象。這種現(xiàn)象的名字叫多態(tài)：polymorphism，是指“許多形狀”或“許多形式”的意思。這種情況下，Element對(duì)象可以有許多形式。這種類(lèi)型的多態(tài)被稱(chēng)為子類(lèi)型化多態(tài)：subtyping polymorphism。Scala里另一種類(lèi)型的多態(tài)，稱(chēng)為統(tǒng)一多態(tài)：universal polymorphism，將在第19章討論。目前為止，你已經(jīng)看到了兩種形式：ArrayElement和LineElement。你可以通過(guò)定義新的Element子類(lèi)創(chuàng)造Element的更多形式。例如，下面定義了擁有給定長(zhǎng)度和高度并被指定字符充滿(mǎn)的新的Element形式：

class UniformElement(   ch: Char,   override val width: Int,   override val height: Int  ) extends Element {   private val line = ch.toString * width   def contents = Array.make(height, line)  }

圖釋 10.3 布局元素的類(lèi)層級(jí)

51CTO編輯推薦：Scala編程語(yǔ)言專(zhuān)題

類(lèi)Element的繼承層級(jí)現(xiàn)在看上去如圖釋10.3展示的樣子。結(jié)果，Scala將接受所有的下列賦值，因?yàn)橘x值表達(dá)式的類(lèi)型符合定義的變量類(lèi)型：

val e1: Element = new ArrayElement(Array("hello", "world"))  val ae: ArrayElement = new LineElement("hello")  val e2: Element = ae  val e3: Element = new UniformElement('x', 2, 3)

若你檢查繼承層級(jí)，你會(huì)發(fā)現(xiàn)這四個(gè)val定義的每一個(gè)里，等號(hào)右側(cè)表達(dá)式的類(lèi)型都在將被初始化的等號(hào)左側(cè)的val類(lèi)型之下。

然而，另一半的故事是，變量和表達(dá)式上的方法調(diào)用是動(dòng)態(tài)綁定：dynamically bound的。這意味著被調(diào)用的實(shí)際方法實(shí)現(xiàn)取決于運(yùn)行期對(duì)象基于的類(lèi)，而不是變量或表達(dá)式的類(lèi)型。為了演示這種行為，我們會(huì)從我們的Element類(lèi)中臨時(shí)移除所有存在的成員并添加一個(gè)名為demo的方法。我們會(huì)在ArrayElement和LineElement中重載demo，但UniformElement除外：

abstract class Element {   def demo() {    println("Element's implementation invoked")   }  }  class ArrayElement extends Element {   override def demo() {    println("ArrayElement's implementation invoked")   }  }  class LineElement extends ArrayElement {   override def demo() {    println("LineElement's implementation invoked")   }  }  // UniformElement inherits Element’s demo  class UniformElement extends Element

如果你把這些代碼輸入到了解釋器中，那么你就能定義這個(gè)帶了一個(gè)Element并調(diào)用demo的方法：

def invokeDemo(e: Element) {   e.demo()  }

如果你傳給invokeDemo一個(gè)ArrayElement，你會(huì)看到一條消息指明ArrayElement的demo實(shí)現(xiàn)被調(diào)用，盡管被調(diào)用demo的變量e的類(lèi)型是Element：

scala> invokeDemo(new ArrayElement)  ArrayElement's implementation invoked

相同的，如果你傳遞LineElement給invokeDemo，你會(huì)看到一條指明LineElement的demo實(shí)現(xiàn)被調(diào)用的消息：

scala> invokeDemo(new LineElement)  LineElement's implementation invoked

傳遞UniformElement時(shí)的行為一眼看上去會(huì)有些可以，但是正確：

scala> invokeDemo(new UniformElement)  Element's implementation invoked

因?yàn)閁niformElement沒(méi)有重載demo，它從它的超類(lèi)Element繼承了demo的實(shí)現(xiàn)。因此，當(dāng)對(duì)象的類(lèi)是UniformElement時(shí)，Element的實(shí)現(xiàn)就是要調(diào)用的demo的正確實(shí)現(xiàn)。

到此，相信大家對(duì)“Scala程序中怎么實(shí)現(xiàn)多態(tài)和動(dòng)態(tài)綁定”有了更深的了解，不妨來(lái)實(shí)際操作一番吧！這里是創(chuàng)新互聯(lián)網(wǎng)站，更多相關(guān)內(nèi)容可以進(jìn)入相關(guān)頻道進(jìn)行查詢(xún)，關(guān)注我們，繼續(xù)學(xué)習(xí)！