建站
咨詢(xún)
售后
建站咨詢(xún)
新聞中心
在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í)
編輯推薦：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)。
【相關(guān)閱讀】
- Scala學(xué)習(xí)：調(diào)用超類(lèi)構(gòu)造器和override修飾符的使用
- Scala：重載方法和字段及定義參數(shù)化字段
- Scala程序中的擴(kuò)展類(lèi)
- 在Scala中定義無(wú)參數(shù)方法
- 學(xué)習(xí)Scala的二維布局庫(kù)和抽象類(lèi)
本文題目：Scala程序中如何實(shí)現(xiàn)多態(tài)和動(dòng)態(tài)綁定
標(biāo)題URL：http://www.5511xx.com/article/cdcosoo.html
