30、Scala 中类和特质成员的覆盖机制详解

Scala 中类和特质成员的覆盖机制详解

1. 不可继承的类型

在 Scala 库中，部分类型是 final 类型，这意味着它们不能被继承。像 JDK 中的 String 类，以及所有从 AnyVal 派生的“值”类型都属于这种情况。例如下面的代码会产生编译错误：

class Changeable1 extends Fixed     // COMPILATION ERROR

2. 覆盖抽象和具体方法

对于非 final 的声明，我们先来探讨方法覆盖的规则和行为。

2.1 扩展 Widget 特质

我们扩展之前介绍过的 Widget 特质，添加一个抽象方法 draw ，用于支持将小部件“渲染”到显示器、网页等。同时，我们使用一种临时格式重写 toString() 方法，这是 Java 程序员熟悉的具体方法。

// src/main/scala/progscala2/objectsystem/ui/Widget.scala
package progscala2.objectsystem.ui
abstract class Widget {
  def draw(): Unit
  override def toString(