我想在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
即使用抽象的密封类而不是特征?定义似乎是等同的.
无论你把它放在(抽象)类还是特征上,密封的含义都没有区别.所以在你的情况下,这两个例子确实(几乎)是等价的.
当子类想要从另一个类继承时,抽象类和特征之间的区别变得明显:类/特征总是只能扩展单个类,但只能扩展多个特征.例如:
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
否则,抽象类和特征几乎是等价的.实践中最大的差异可能只有在您关注二进制兼容性时才会出现(超出此答案的范围).