Scala：’类型A = XXX’和’最终类型A = XX’之间的区别？
发布时间：2020-12-16 09:59:03 所属栏目：安全 来源：网络整理
导读：假设我有一个抽象类型AA和具体类型XXX： trait AA { type A = XXX final type B = XXX} 在这种情况下,在AA的任何子类中,类型A和B都不能被覆盖,因此看起来关键字final是完全冗余的.这个陈述是否正确？ 解决方法 很难证明它们完全相同,但我会争辩说它们是,减去
|
假设我有一个抽象类型AA和具体类型XXX：
trait AA {
type A = XXX
final type B = XXX
}
在这种情况下,在AA的任何子类中,类型A和B都不能被覆盖,因此看起来关键字final是完全冗余的.这个陈述是否正确？ 解决方法
很难证明它们完全相同,但我会争辩说它们是,减去一些无用的怪癖.
无用的怪癖 首先,最明显的是,他们给出了不同的错误信息.但这不是全部：技术上可以覆盖A,你只是不能将它覆盖到XXX以外的任何东西： trait A1 extends AA {
override type A = XXX // Compiles,but doesn't really do anything.
}
另一方面,你不能覆盖B： trait A2 extends AA {
override type B = XXX // Does not compile.
}
有什么有用的差异吗？ 再说一遍,我会争辩说没有.在非常详细的answer到问题Is it possible to override a type field中,StackOverflow用户0__注意到了这一点
和
如果你可以将T覆盖到不同的类型,接着解释一下类型系统如何不一致.有关详细信息,请参阅该答案. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |