Qual è il punto di dichiarare un oggetto come "finale"?

Question

Ho appena notato che è possibile dichiarare gli oggetti come final a Scala:

final object O 

Qual è il punto di farlo? Non si può comunque ereditare dagli oggetti:

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

Answer 1

Non che qualcuno fa questo, ma:

$ 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 } 
                     ^

Forse a volte la gente vuole farlo.()

Answer 2

Non fa differenza; le definizioni degli oggetti sono sempre definitive. Il language specification menzioni esplicitamente questo 5.4 Modificatori:

final è ridondante per le definizioni degli oggetti.