在Scala中定義final成員
作者：Martin Odersky等
本文節(jié)選自Martin Odersky，Lex Spoon和Bill Venners所著，Regular翻譯的《Programming in Scala》的第十章。Scala是一種針對 JVM 將函數(shù)和面向?qū)ο蠹夹g(shù)組合在一起的編程語言。
設(shè)計一個繼承層級的某些時候，你想要確保成員不被子類重載。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方法，將編譯不過：
你或許還多次想確保整個類都沒有子類。要做到這點只要簡單地通過在類的聲明上添加final修飾符把整個類聲明為final即可。如，代碼10.8展示了如何聲明ArrayElement為final：
- elem.scala:18: error: error overriding method demo
- in class ArrayElement of type ()Unit;
- method demo cannot override final member
- override def demo() {
- ˆ
代碼 10.8 聲明final類
- final class ArrayElement extends Element {
- override def demo() {
- println("ArrayElement's implementation invoked")
- }
- }
有了這個版本的ArrayElement，任何定義子類的嘗試都將失敗：
- elem.scala: 18: error: illegal inheritance from final class
- ArrayElement
- class LineElement extends ArrayElement {
- ˆ
我們現(xiàn)在將去掉final修飾符和demo方法，并回到早先實現(xiàn)的Element家族。我們將把我們本章剩余部分的注意力集中在完成布局庫的工作版本上。
【相關(guān)閱讀】
責任編輯：book05
來源：
Artima
