强制Scala特性实现某种方法

发布时间：2020-12-16 18:20:15 所属栏目：安全来源：网络整理

导读：有没有办法指定特征必须提供方法的具体实现？鉴于一些mixin class A extends B with C { foo()} 如果A,B或C中的任何一个实现foo(),程序将编译.但是,我们如何强迫B,例如,B包含foo的实现呢？解决方法您可以执行以下操作： class A extends B with C { super

有没有办法指定特征必须提供方法的具体实现？

鉴于一些mixin

class A extends B with C {
  foo()
}

如果A,B或C中的任何一个实现foo(),程序将编译.但是,我们如何强迫B,例如,B包含foo的实现呢？

解决方法

您可以执行以下操作：

class A extends B with C {
  super[B].foo()
}

这只会在B实现foo时编译.但请谨慎使用,因为它(可能)会引入一些不直观的耦合.此外,如果A覆盖foo,仍然会调用B的foo.

一个恕我直言有效用例是conflict resolution：

trait B { def foo() = println("B") }
trait C { def foo() = println("C") }
class A extends B with C {
  override def foo() = super[B].foo()
}

如果你想确保B声明foo,你可以使用类型ascription：

class A extends B with C {
  (this:B).foo()
}

这只会在B声明foo时编译(但它可能在C或A中实现).

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!