Scala程序中的扩展类
我们仍然需要能够创建新的元素对象。你已经看到了因为类Element是抽象的，所以“new Element”不能被用来做这件事。因此，为了实例化一个元素，我们需要创建扩展了Element并实现抽象的contents方法的子类。代码10.3展示了一种可能的方式：
class ArrayElement(conts: Array[String]) extends Element {
def contents: Array[String] = conts
} 代码 10.3 定义ArrayElement为Element的子类
51CTO编辑推荐：Scala编程语言专题
类ArrayElement定义为扩展了类Element。就好象Java里，你在类名之后使用extends子句那样：
... extends Element ...这种extends子句有两个效果：使类ArrayElement从类Element继承所有非私有的成员，并且使ArrayElement成为Element的子类型。由于ArrayElement扩展了Element，类ArrayElement被称为类Element的子类。反过来，Element是ArrayElement的超类。
如果你省略extends子句，Scala编译器隐式地假设你的类扩展自scala.AnyRef，在Java平台上与java.lang.Object一致。因此，类Element隐式地扩展了类AnyRef。你可以在图释10.1上看到这些继承关系。
图释 10.1 ArrayElement的类关系图
继承：inheritance表示超类的所有成员也是子类的成员，除了以下两点。首先，超类的私有成员不被子类继承。其次，在子类中实现的与超类中的成员具有相同名称和参数的将不被继承到子类中。这种情况我们说子类的成员重载：override了超类的成员。如果子类中的成员是具体的而超类中的是抽象的，我们还可以说具体的成员实现：implement了抽象的。
例如，ArrayElement的contents方法重载（或者可说成：实现）了类Element的抽象方法contents。这个设计的一个漏洞是因为返回数组是可变的，所以客户端能改变它。本书中我们希望事情尽量简化，但当ArrayElement是真实项目中的部分时，你应当考虑代之以返回一个数组的防御性拷贝。另一个问题是我们现在并不确信contents数组所有的String元素具有同样的长度。这可以通过在主构造器中检查前提条件，并且一旦违反则抛出异常的方式来解决。相对的，类ArrayElement从类Element继承了width和height方法。例如，给定ArrayElement的一个对象ae，你可以使用ae.width查询其长度，就好象width是定义在类ArrayElement中一样：
scala> val ae = new ArrayElement(Array("hello", "world"))
ae: ArrayElement = ArrayElement@d94e60
scala> ae.width
res1: Int = 5 子类型化：subtyping是指子类的值可以被用在需要其超类的值的任何地方。例如：