Scala 组合和继承–多态和动态绑定

组合和继承–多态和动态绑定

在前面的例子我们看到类型为 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 组合和继承–多态和动态绑定

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中文手册

组合和继承–多态和动态绑定