在Scala中定义final成员

设计一个继承层级的某些时候，你想要确保成员不被子类重载。Scala里和Java里一样，通过添加final修饰符给成员来做到。例如，你可以在ArrayElement的demo方法前放一个final修饰符，如代码10.7中展示的那样。

 
 
 

  
  
  
class ArrayElement extends Element {  
  
  
  
 final override def demo() {  
  
  
  
  println("ArrayElement's implementation invoked")  
  
  
  
 }  
  
  
  
}  
 
 
 

代码 10.7 声明final方法

编辑推荐：Scala编程语言专题

有了这个版本的ArrayElement，尝试在它的子类，LineElement，重载demo方法，将编译不过：

 
 
 

  
  
  
elem.scala:18: error: error overriding method demo  
  
  
  
in class ArrayElement of type ()Unit;  
  
  
  
method demo cannot override final member  
  
  
  
override def demo() {  
  
  
  
ˆ  
 
 
 

你或许还多次想确保整个类都没有子类。要做到这点只要简单地通过在类的声明上添加final修饰符把整个类声明为final即可。如，代码10.8展示了如何声明ArrayElement为final：

 
 
 

  
  
  
final class ArrayElement extends Element {  
  
  
  
 override def demo() {  
  
  
  
  println("ArrayElement's implementation invoked")  
  
  
  
 }  
  
  
  
}  
 
 
 

代码 10.8 声明final类

有了这个版本的ArrayElement，任何定义子类的尝试都将失败：

 
 
 

  
  
  
elem.scala: 18: error: illegal inheritance from final class 
  
  
  
ArrayElement  
  
  
  
class LineElement extends ArrayElement {  
  
  
  
ˆ  
 
 
 

我们现在将去掉final修饰符和demo方法，并回到早先实现的Element家族。我们将把我们本章剩余部分的注意力集中在完成布局库的工作版本上。

【相关阅读】

1. Scala程序中如何实现多态和动态绑定
2. Scala学习：调用超类构造器和override修饰符的使用
3. Scala：重载方法和字段及定义参数化字段
4. Scala程序中的扩展类
5. 在Scala中定义无参数方法