在Scala中扩展匿名类型的目的是什么？

Question

我想更好地了解斯卡拉，而我似乎无法找到类似于下面的代码有效的用例：

class C extends { def m() { /* ... */ } } 

什么是允许这样的构造的原理是什么？

谢谢！

Answer 1

我想这里的唯一理由是“如果可能，避免特殊情况”。你可以扩展任何类，一个匿名类是一个类，所以你可以扩展一个匿名类。

Answer 2

事实上，这不是一个匿名类！它是一个早期的初始化器，它作为超类之前构造函数的一部分运行。 从another stackoverflow question引述出色答卷：

abstract class X { 
    val name: String 
    val size = name.size 
} 

class Y extends { 
    val name = "class Y" 
} with X 

如果代码是不是写为

class Z extends X { 
    val name = "class Z" 
} 

然后当Z得到初始化将发生一个空指针异常，因为大小在正常名前初始化初始化的排序（上课之前的超类）。

Answer 3

它叫做Early definitions它们处理超类初始化顺序问题。