为什么在特征中定义这个构造函数是不可能的？

Question

我在马丁·奥德斯基( Martin )的书中读到，“特性扩展了一个超类AnyRef”。对我来说就像一堂课。我知道我不能在类中通常使用的特征中使用默认构造函数。

class B(s: String)

同时，我可以看出这样做是不可能的

trait A {
  def this(s: String) {
    super()  
  }
}

编译器说：

Error:(14, 7) 'this' expected but 'super' found.
  super()
  ^

为什么是这样？

Answer 1

直接从Scala语言规范

一个特征是一个类，它意味着作为一个混合体添加到其他类中。与普通类不同，特性不能具有构造函数参数。此外，没有构造函数参数传递给特征的超类。这并不是必要的，因为在初始化超类之后才初始化特征。

归根结底是：

1. 这些特性归结为没有参数的java接口，这对于java-interop来说很好。
2. 虽然理论上允许特征具有构造函数参数是可能的，但它使语言比它所需要的更复杂。几乎可以肯定有一种方法可以完成相同的功能，而不需要特征构造器参数。