在10.4节中你看到了类型Element的变量可以指向类型ArrayElement的对象。这种现象的名字叫多态：polymorphism，是指“许多形状”或“许多形式”的意思。这种情况下，Element对象可以有许多形式。这种类型的多态被称为子类型化多态：subtyping polymorphism。Scala里另一种类型的多态，称为统一多态：universal polymorphism，将在第19章讨论。目前为止，你已经看到了两种形式：ArrayElement和LineElement。你可以通过定义新的Element子类创造Element的更多形式。例如，下面定义了拥有给定长度和高度并被指定字符充满的新的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)
}
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
图释 10.3 布局元素的类层级
51CTO编辑推荐：Scala编程语言专题
类Element的继承层级现在看上去如图释10.3展示的样子。结果，Scala将接受所有的下列赋值，因为赋值表达式的类型符合定义的变量类型：
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)
- 1.
- 2.
- 3.
- 4.
然而，另一半的故事是，变量和表达式上的方法调用是动态绑定：dynamically bound的。这意味着被调用的实际方法实现取决于运行期对象基于的类，而不是变量或表达式的类型。为了演示这种行为，我们会从我们的Element类中临时移除所有存在的成员并添加一个名为demo的方法。我们会在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
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
def invokeDemo(e: Element) {
e.demo()
}
- 1.
- 2.
- 3.
scala> invokeDemo(new ArrayElement)
ArrayElement's implementation invoked
- 1.
- 2.
scala> invokeDemo(new LineElement)
LineElement's implementation invoked
- 1.
- 2.
scala> invokeDemo(new UniformElement)
Element's implementation invoked
- 1.
- 2.
因为UniformElement没有重载demo，它从它的超类Element继承了demo的实现。因此，当对象的类是UniformElement时，Element的实现就是要调用的demo的正确实现。
【相关阅读】
