使用抽象类而不是特征有什么好处？

Question

使用抽象类而不是特征有什么优点（除了性能之外）？在大多数情况下，抽象类似乎可以被特征代替。

Answer 1

我可以想到两个区别：

1. 抽象类可以有构造函数参数和类型参数。特征只能有类型参数。有人讨论说，将来甚至特征也可以有构造函数参数，
2. 抽象类可以与 Java 完全互操作。您可以从 Java 代码中调用它们，无需任何包装器。仅当特征不包含任何实现代码时，它们才完全可互操作

Answer 2

《Scala 编程》中有一节名为 “要特质，还是不要特质？” 这解决了这个问题。由于第一版可以在线获取，我希望可以在这里引用整个内容。 （任何认真的 Scala 程序员都应该购买这本书）：

每当您实现可重用的行为集合时，您都会
必须决定是否要使用特征或抽象类。
没有明确的规则，但本节包含一些指导原则
考虑一下。

如果该行为不会被重用，则将其设为具体类。它
毕竟这不是可重用的行为。

如果它可能在多个不相关的类中重用，请将其设为特征。
只有特征可以混合到类层次结构的不同部分中。

如果您想在 Java 代码中继承它，请使用抽象类。
由于带有代码的特征没有紧密的 Java 类似物，因此它往往是
从 Java 类中的特征继承是很困难的。继承自
与此同时，Scala 类与继承 Java 类完全相同。
作为一个例外，只有抽象成员的 Scala 特征会转换为
直接到Java接口，所以你应该随意定义这样的
特征，即使您希望 Java 代码继承它。参见第 29 章
了解有关 Java 和 Scala 一起使用的更多信息。

如果您打算以编译的形式分发它，并且您期望在外部
组来编写继承自它的类，您可能会倾向于
使用抽象类。问题是当一个特质获得或失去时
一个成员，任何从它继承的类都必须重新编译，即使
他们没有改变。如果外部客户仅拨打
行为，而不是继承它，那么使用特征就可以了。

如果效率非常重要，则倾向于使用类。大多数爪哇
运行时使类成员的虚拟方法调用更快
操作而不是接口方法调用。特征被编译为
接口，因此可能会付出轻微的性能开销。
然而，只有当你知道这个特质时，你才应该做出这个选择。
有问题构成性能瓶颈并有证据
使用类实际上可以解决问题。

如果您仍然不知道，考虑完上述内容后，请从
使其成为一种特质。您以后可以随时更改它，一般来说
使用特征可以保留更多选择。

正如 @Mushtaq Ahmed 提到的，特征不能将任何参数传递给类的主构造函数。

另一个区别是对 super 的处理。

类和特征之间的另一个区别是，在类中，super 调用是静态绑定的，而在特征中，它们是动态绑定的。如果您在类中编写 super.toString ，您就可以确切地知道将调用哪个方法实现。然而，当您在特征中编写相同的内容时，在定义特征时，为超级调用调用的方法实现是未定义的。

有关更多详细信息，请参阅第 12 章的其余部分。

编辑 1 (2013)：

与特征相比，抽象类的行为方式存在细微差别。线性化规则之一是它保留了类的继承层次结构，这往往会将抽象类推到链的后面，而特征可以愉快地混合在一起。在某些情况下，实际上最好处于类线性化的后面位置，因此可以使用抽象类来实现这一点。请参阅在 Scala 中约束类线性化（混合顺序）。

编辑 2 (2018)：

从 Scala 2.12 开始，trait 的二进制兼容性行为已发生变化。在 2.12 之前，向特征添加或删除成员需要重新编译继承该特征的所有类，即使这些类没有更改。这是由于 JVM 中特征的编码方式造成的。

从 Scala 2.12 开始，traits 编译为 Java 接口，所以要求放宽了一些。如果该特征执行以下任何操作，则其子类仍然需要重新编译：

• 定义字段（val 或 var，但常量也可以 - final val 没有结果类型）
• 调用super
• 正文中的初始化语句
• 扩展课程
• 依靠线性化来找到正确超级特征的实现

以查找正确超级特征中的实现，但如果该特征没有，您现在可以在不破坏二进制兼容性的情况下更新它。

Answer 3

无论其价值如何，Odersky 等人的 Scala 编程 建议，当您怀疑，你使用特质。如果需要的话，您可以稍后将它们更改为抽象类。

Answer 4

除了不能直接扩展多个抽象类，但可以将多个特征混合到一个类中之外，值得一提的是，特征是可堆叠的，因为特征中的超级调用是动态绑定的（它引用之前混合的类或特征）当前的一个）。

来自托马斯在抽象类和特征之间的差异中的回答：

trait A{
    def a = 1
}

trait X extends A{
    override def a = {
        println("X")
        super.a
    }
}  


trait Y extends A{
    override def a = {
        println("Y")
        super.a
    }
}

scala> val xy = new AnyRef with X with Y
xy: java.lang.Object with X with Y = $anon$1@6e9b6a
scala> xy.a
Y
X
res0: Int = 1

scala> val yx = new AnyRef with Y with X
yx: java.lang.Object with Y with X = $anon$1@188c838
scala> yx.a
X
Y
res1: Int = 1

Answer 5

当扩展一个抽象类时，这表明子类是类似的。我认为使用特征时不一定是这种情况。

Answer 6

在 Scala 编程 中，作者说抽象类使经典的面向对象“是- a”关系，而特征是一种阶梯式的组合方式。

Answer 7

抽象类可以包含行为 - 它们可以使用构造函数参数进行参数化（特征不能）并表示工作实体。相反，特征仅代表一个功能，一个功能的接口。

Answer 8

1. 一个类可以继承多个特征，但只能继承一个抽象类。
2. 抽象类可以具有构造函数参数和类型参数。特征只能有类型参数。例如，你不能说 Trait t(i: Int) { }; i 参数非法。
3. 抽象类与 Java 完全可互操作。您可以从 Java 代码中调用它们，无需任何包装器。仅当特征不包含任何实现代码时，它们才完全可互操作。