將對象聲明爲「final」有什麼意義？

Question

我只注意到它可能在斯卡拉申報對象爲final：

final object O 

什麼是這樣做的意義何在？無論如何都不能繼承對象：

object A 
object B extends A // not found: type A 

Answer 1

不是說有人這樣做，但：

$ scala -Yoverride-objects 
Welcome to Scala version 2.11.2 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_11). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> trait A { object O } ; trait B extends A { override object O } 
defined trait A 
defined trait B 

scala> trait A { final object O } ; trait B extends A { override object O } 
<console>:8: error: overriding object O in trait A; 
object O cannot override final member 
     trait A { final object O } ; trait B extends A { override object O } 
                     ^

可能有時人們想這樣做。 （For instance.）

Answer 2

它沒有區別;對象定義總是最終的。該language specification明確提到這5.4修飾符：

final是多餘的對象定義。