目录

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

2018年03月23日 11:21 | 213次浏览

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



感觉本站内容不错,读后有收获?小额赞助,鼓励网站分享出更好的教程