Question

我希望在scala中定义以下代数数据类型：

sealed trait Beat
case object Rest extends Beat
case object Hit extends Beat

是否有任何区别，如果我将其定义为：

abstract sealed class Beat
case object Rest extends Beat
case object Hit extends Beat

即。使用抽象的密封类而不是特征？定义似乎是等效的。

Answer 1

无论你把它放在（抽象）类还是特质上，密封的含义都没有区别。所以在你的情况下，这两个例子确实（几乎）是等价的。

当子类想要从另一个类继承时，抽象类和特征之间的区别变得明显：类/特征总是只能扩展单个类，但只能扩展多个特征。例如：

class SomeClass

sealed trait Beat1
abstract sealed class Beat2

case object Rest1 extends SomeClass with Beat1 // ok
case object Rest2 extends SomeClass with Beat2 // compile error

否则，抽象类和特征几乎相同。实践中最大的差异可能只有在您关注二进制兼容性时才会出现（超出此答案的范围）。

Answer 2

要添加到gzm0's answer，抽象密封类和特征之间的另一个区别是，抽象密封类与任何其他类一样，但与特征不同，可以具有构造函数参数：

abstract sealed class Duck(sound: String)

case object RealDuck extends Duck("quack")
case object RubberDuck extends Duck("squeak")

scala中密封特性和抽象密封类之间的具体区别是什么？

2 个答案: