Scala开发教程(37): 组合和继承–多态和动态绑定

在前面的例子我们看到类型为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方法）