一、Scala的类继承
在面向对象编程里,为了节省代码量,也为了反映实际各种类之间的联系,通常采取两种策略:包含和继承。包含代表了一种has-a的关系,也就是一个类包括了另一个类的实例。例如,午餐的菜单含有水果,那么就可以先编写一个水果类,然后再编写一个午餐类,并在午餐类里包含水果类的对象,但这两者没有必然联系。继承代表了一种is-a的关系,也就是从一个宽泛的类可以派生出更加具体的类。例如,编写的水果类包含了一些常见水果的公有属性,然后要编写一个更具体的苹果类。考虑到现实世界中,苹果就是(is-a,更准确来说应该是is-a-kind-of)一种特殊的水果,那么苹果类完全可以把水果类里定义的属性都继承过来,而且这两者有必然联系。
本章介绍的内容就是关于类继承的Scala语法,以及一些特性。
通过在类的参数列表后面加上关键字“extends”和被继承类的类名,就完成了一个继承的过程。被继承的类称为“超类”或者“父类”,而派生出来的类称为“子类”。如果继承层次较深,最顶层的类通常也叫“基类”。继承关系只有“超类”和“子类”的概念,即超类的超类也叫超类,子类的子类还叫子类。例如:
scala> class A {
| val a = "Class A"
| }
defined class Ascala> class B extends A {
| val b = "Class B inherits from A"
| }
defined class Bscala> val x = new B
x: B = B@5922cff3scala> x.a
res0: String = Class Ascala> x.b
res1: String = Class B inherits from A
以上代码纯粹是为了演示Scala的语法,没有什么实际意义。
二、调用超类的构造方法
大多数类都有参数列表,用于接收参数,传递给构造方法并初始化字段。像前面的例子比较特殊,类A没有参数。假如类A有参数,那么类B该怎么处理呢?在构造某个类的对象时,如果这个类继承自另外一个类,那么应该先构造超类对象的组件,再来构造子类的其他组件。也就是说,类B需要调用类A的构造方法。子类调用超类的构造方法的语法是:
class 子类(子类对外接收的参数) extends 超类(子类给超类的参数)
像上个例子中,其实是类A的构造方法没有参数,所以“extends A”也就不需要参数。第五章说过,Scala只允许主构造方法调用超类的构造方法,而这种写法就是子类的主构造方法在调用超类的构造方法。例如:
scala> class A(val a: Int)
defined class Ascala> class B(giveA: Int, val b: Int) extends A(giveA)
defined class Bscala> val x = new B(10, 20)
x: B = B@5f81507ascala> x.a
res0: Int = 10scala> x.b
res1: Int = 20
三、重写超类的成员
Ⅰ、不被继承的成员
通常,超类的成员都会被子类继承,除了两种成员:一是超类中用“private”修饰的私有成员,二是被子类重写的成员。私有成员无需过多解释。重写的意思是,超类中的某个属性,在子类中可能并不一定符合,而是需要一个新的符合子类行为的版本。例如,几乎所有的金属在室温下都是固态,唯独汞是液态