scala：覆盖构造函数的隐式参数

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

导读：我有一个类,它接受一个隐式参数,该参数由类方法内部调用的函数使用.我希望能够覆盖该隐式参数,或者从其源复制隐式参数.举个例子： def someMethod()(implicit p: List[Int]) { // uses p}class A()(implicit x: List[Int]) { implicit val other = List(3) /

我有一个类,它接受一个隐式参数,该参数由类方法内部调用的函数使用.我希望能够覆盖该隐式参数,或者从其源复制隐式参数.举个例子：

def someMethod()(implicit p: List[Int]) {
  // uses p
}

class A()(implicit x: List[Int]) {

  implicit val other = List(3) // doesn't compile

  def go() { // don't want to put implicit inside here since subclasses that override go() have to duplicate that
    someMethod()
  }
}

我想要的行为是someMethod()获取一个隐式参数,该参数是x的一些更改版本,它是类的隐式参数.我希望能够在不改变它的情况下改变x,无论是将它传递给A的构造函数,还是将其覆盖为我选择的新值.这两种方法似乎都不起作用.也就是说,它不会复制前一种情况下的列表,并且编译器会为后一种情况找到一个模糊的隐式值.有没有办法做到这一点？

我意识到我可以重新定义go()中的隐含值,但在我的情况下这不是一个好的选择,因为这个类被多次子类化,并且我只想在基类中处理这种隐式更改.所以它不一定需要进入构造函数,但它必须在go()之外的方法中.

解决方法

引入另一个包装器类型,只是为了消除歧义：

//  badly named,choose something domain-specific
case class ListHolder(theList: List[Int])

def someMethod()(implicit holder: ListHolder) {
  val xs = holder.theList
  // uses xs ...
}

class A()(implicit xs: List[Int]) {

  implicit val other = ListHolder(42 :: xs) // compiles

  def go() {
    // xs is never considered for the implicit param to someMethod()
    // because it's now the wrong type
  }
}

这也使代码更加自我记录,因为很明显两个含义不是同一个.

（编辑：李大同）

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