scala - 将对象声明为 "final"有什么意义？

Question

我刚刚注意到可以在 Scala 中将对象声明为 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.)