在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方法

51CTO编辑推荐：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 {  



ˆ