scala – 在需要它们的类型的继承者中提供隐式实例

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

导读：令我惊讶的是,我发现编译器无法解析以下示例中的隐含： trait API { def f(implicit a: Int) = ???}class Impl extends API { implicit val int = 2}(new Impl).f 以及在 class Impl extends APIobject Impl { implicit val int = 2} 我对此深感沮丧.为什么

令我惊讶的是,我发现编译器无法解析以下示例中的隐含：

trait API {
  def f(implicit a: Int) = ???
}

class Impl extends API {
  implicit val int = 2
}

(new Impl).f

以及在

class Impl extends API
object Impl {
  implicit val int = 2
}

我对此深感沮丧.为什么会这样,是否有解决方法？我必须注意,导入隐式到外部范围不是一个选项,因为上述的唯一目的是隐藏Impl用户的实现细节.

以上是API的实现者提供特定类型类实例的模式的摘要,这些实例被API中实现的函数使用.最终用户使用这些实现.

解决方法

这个怎么样？

trait API {
  implicit val i: Int
  protected def fImplementation(implicit a: Int) = a * 2
  def f = fImplementation
}

class Impl extends API {
  implicit val i = 2
}

(new Impl).f // <-- should be Int(4)

（编辑：李大同）

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