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

Ric*_*rth 1 types functional-programming scala

我想在scala中定义以下代数数据类型:

sealed trait Beat
case object Rest extends Beat
case object Hit extends Beat
Run Code Online (Sandbox Code Playgroud)

是否有任何区别,如果我将其定义为:

abstract sealed class Beat
case object Rest extends Beat
case object Hit extends Beat
Run Code Online (Sandbox Code Playgroud)

即使用抽象的密封类而不是特征?定义似乎是等同的.

gzm*_*zm0 5

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

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

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
Run Code Online (Sandbox Code Playgroud)

否则,抽象类和特征几乎是等价的.实践中最大的差异可能只有在您关注二进制兼容性时才会出现(超出此答案的范围).