我注意到有几个关于如何在抽象类和特征之间进行选择的讨论,但似乎没有一个关注于以下几点.让我使用抽象类的一个原因是,它们可以有构造函数参数,而特征却不能.但为什么不是以下
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”概念.尽管如此,我是否有理由在某处使用抽象类?谢谢!
解决方法
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,它可以保持抽象,直到在叶子中定义.但这实际上并不取决于是否定义特征或类.