Question

我注意到有几个关于如何在抽象类和特征之间进行选择的讨论，但似乎没有一个关注于以下几点。让我使用抽象类的一个原因是，它们可以有构造函数参数，而特征却不能。但为什么不是以下

trait X {
  def haha: Int
}
class Y(val haha: Int) extends X

早期定义甚至不需要让一切正常工作（我担心）。

是抽象类的版本

abstract class X(haha: Int)
class Y(val haha: Int) extends X(haha)

并且我不喜欢抽象类版本，因为当你多次扩展时，这些构造函数参数会出现在各处（也许有人告诉我如何避免这种情况？）。

我知道抽象类可以更好地插入Java，并且更符合“is-a”概念。尽管如此，我是否有理由在某处使用抽象类？谢谢！

Answer 1

class参数不必是成员（field或def）。

abstract class X(haha: Int) {
  val hoho = 2 * haha  // compile-time constant
}

类似地，特征初始化顺序取决于线性化（混合顺序），这就是特征成员应该是defs而不是vals的原因。（并且你总是可以用val覆盖def。）使用抽象类，你知道你的超级用户是谁，并且你正在为子类定义扩展点。

但请注意，您的抽象类的val位置错误：

abstract class X(val haha: Int)
class Y(haha: Int) extends X(haha)

也就是说，你会期望X决定param是否是val（而且不一定是）。在X或Y中使用参数可以将其转换为字段。

你对类的值参数的观察也适用于类型参数：在层次结构中传递Foo [A]是多么麻烦。所以在Scala中，我们可以有一个成员类型A，它可以保持抽象，直到在叶子中定义。但这实际上并不取决于是否要定义特征或类别。

但特征参数正在向Scala发展。（有关早期定义的Scala错误，由于这个原因，它们是低优先级的。）