使用斯卡拉的私人最終修飾符？

Question

什麼可以在Scala中使用private final修飾符？

考慮下面的代碼：

1| class A { def callFoo = foo; private final def foo = "bar of A" } 
2| class B extends A { private final def foo = "bar of B"} 
3| println((new A()).callFoo) 
4| println((new B()).callFoo) 

3號線和4打印：

1| bar of A 
2| bar of A 

爲什麼2號線不打印bar of B，因爲實際上有兩個foo定義，而後者是可以理解的在B中不會覆蓋A中的前者，否則Scala將需要override - 而不是final修飾符。

那麼爲什麼斯卡拉不是簡單地禁止修飾符private final的組合？

Answer 1

好的，這很棘手。你的問題：「那麼爲什麼Scala不會簡單地禁止修改器的私有組合？」基於這種組合沒有用處的假設。

假設你是對的（除了一個小細節外，你將會在後面提到）。我不是一個編譯器的人，但從我的角度來看，「簡單地禁止」可能不是那麼簡單（至少在這種情況下）。爲什麼有人會試圖做到這一點？什麼是取捨？只是因爲某些東西沒有用，並不一定意味着它會造成任何傷害。只是不要使用它...

現在來看看你忽略的細節。 private修飾符是一個可見性修飾符，這意味着class B不知道它的存在。但是，斯卡拉的可見性修飾符比Java說的要複雜一些。我們假設無論出於何種原因，您需要在以下代碼片段中顯示代碼，編譯器將不會允許它。

package scope 

class A { 
    def callFoo = foo; 
    private[scope] final def foo = "bar of A" 
} 
class B extends A { 
    private[scope] final def foo = "bar of B" 
} 

object Main extends App { 
    println((new A()).callFoo) 
    println((new B()).callFoo) 
} 

這是由編譯器所提供的錯誤之一：「方法foo不能覆蓋最終構件」。

所以，你在這裏。斯卡拉簡單地禁止這個組合;）

Answer 2

我最初以爲是防止嵌套類壓倒一切的私有方法，但顯然不是：

class A { 
    private final def foo = 0 

    class B extends A { 
    override def foo = 1 
    } 
} 

error: method foo overrides nothing 
      override def foo = 1 
         ^

也許這只是簡化重構？所以如果你有一個final的方法，試着把它做成private，並且覺得你需要的不是private畢竟你不會在這個過程中失去final？

Answer 3

解決更廣泛的問題，

那麼，爲什麼斯卡拉不是簡單地禁止修飾符 私人最終的組合？

這是一個新的規則，並且，在那個，一個新的例外。它使語言更加複雜，並且絕對沒有收穫。爲什麼沒有很好的理由讓事情變得更復雜？

這就是Odersky不喜歡的很多東西。要使語言變得更復雜，就必須有一些收益。