为什么 Scala 特征不允许构造函数参数？

Question

我是 Scala 的新手，来自 Java，我只是在阅读 traits。 经常提到的一件事是特征没有（不能？不会？）具有构造函数参数。 我很想知道这是否有原因。

来自很久以前的数学/计算机科学背景，我想知道这是否是由于某些语言设计决定而不可避免的结果，或者这是否是避免某些继承/混合问题或其他问题的有意识决定？

希望有人知道，因为感觉背后可能有一些有趣的东西。

Answer 1

其他答案描述了语言； 我怀疑您的问题可能真的是“为什么要这样设计”。

我相信它源于扩展多个特征时会出现的笨拙和冗长，特别是使用覆盖和类型以及各种混合策略。

蛋糕模式通常会导致各种特征以一种在混合类中完全不可见的方式相互提供缺失的位 - 按照设计 - 。 混合可以是双向的，使用self 类型。 因此，从特征构造类对于编译器来说可能是一件非常麻烦的事情。 Scala 经常用编译器设计和实现的简单性来换取语言使用和代码缩减的简单性，这当然是一个很好的例子。

因此，虽然可能存在简单的、分层的情况，其中构造函数可能有用且足够，但对于更困难的、非分层的场景，它几乎肯定必须是其他机制的冗余。

Answer 2

Scala 3 将允许特征参数。 这是文档中的示例

trait Greeting(val name: String) {
  def msg = s"How are you, $name"
}

class C extends Greeting("Bob") {
  println(msg)
}

Answer 3

答案是：这就是 Scala 现在的样子。

但在未来可能不是这样：特征参数可以取代早期的初始化器。 （请参阅 Martin Odersky 最近的Scala Days演讲第 34 页） Scala：它从何而来，将向何处去

Answer 4

特征没有构造函数参数，因为特征不能被构造。 给定任何特征T都不可能实例化任何类型为T对象。 你可以用 vals 覆盖 trait defs，所以

trait Foo {
  def bar: String
}
class Baz(override val bar: String) extends Foo

您不能直接构造它们，因为new MyTrait {}实际上是new Object with MyTrait {}的匿名new Object with MyTrait {}类的糖

Answer 5

Scala 3 允许带有参数的特征，就像类有参数一样。

Answer 6

Trait 是 Java Interface 的模拟。 主要区别在于 trait 可以为它们的方法默认实现。

所以 Java 接口不能有构造函数，Scala 特征也是如此