在前面的例子我们看到类型为Element的变量可以保存ArrayElement类型的对象，这种现象称为“多态”。也就是基类类型的变量可以保存其子类类型的对象，到目前为止我们定义了两个Element的子类，ArrayElement和LineElement。你还可以定义其它子类，比如：
class UniformElement (ch :Char,
override val width:Int,
override val height:Int
) extends Element{
private val line=ch.toString * width
def contents = Array.fill(height)(line)
}结合前面定义的类定义，我们就有了如下图所示的类层次关系：
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)若你检查继承层次关系，你会发现这四个val定义的每一个表达式，等号右侧表达式的类型都在将被初始化的等号左侧的val类型的层次之下。
另一方面，如果调用变量（对象）的方法或成员变量，这个过程是一个动态绑定的过程，也就是说调用哪个类型的方法取决于运行时变量当前的类型，而不是定义变量的类型。
为了显示这种行为，我们在Element中添加一个demo方法，定义如下：
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如果你使用交互式Scala解释器来测试，你可以定义如下的方法：
def invokeDemo(e: Element) {
e.demo()
}下面我们分别使用ArrayElement, LineElement和UniformElement来调用这个方法：
scala> invokeDemo(new ArrayElement) ArrayElement's implementation invoked scala> invokeDemo(new LineElement) LineElement's implementation invoked scala> invokeDemo(new UniformElement) Element's implementation invoked
可以看到由于ArrayElement和LineElement重载了Element的demo方法，因此调用invokeDemo时由于“动态绑定”因此会调用这些子类的demo方法，而由于UniformElement没有重载Element的demo方法，动态绑定时也会调用UniformElement的demo方法（但此时实际为基类的demo方法）
感觉本站内容不错，读后有收获？小额赞助,鼓励网站分享出更好的教程
上一篇：Scala 组合和继承–使用override修饰符
下一篇：python 实战
^