scala – 如何在提取值时将参数注释为模式匹配中的隐式参数

case class A(a: Int,b: String)

def f(a: Int)(implicit b: String) =???

val a = A(11,b) => f(a)(b)
}

如果必须隐式传递值,则需要在范围内声明.例如：

a match {
  case A(a,b) => {
    implicit val s = b
    f(a)
  }
}

另外,正如已经指出的那样,不要使用带有常见类型的隐式.如果你把它包装在另一个类中会更好：

case class A(a: Int,b: String)

case class SomeCustomString(s: String)

def f(a: Int)(implicit b: SomeCustomString) =???

val a = A(11,b) => {
    implicit val s = SomeCustomString(b)
    f(a)
  }
}

如果你能解释隐式参数的用例,我可以提供一个更好的例子.

更新：有一种方法可以做你想要的：

case class SomeCustomString(s: String)

case class A(a: Int,b: String) {
  implicit val s = SomeCustomString(b)
}

def f(a: Int)(implicit s: SomeCustomString) =???

val a = A(11,"hello")
import a._
f(a.a)

或者,如果您必须在模式匹配中使用它,那么最后一位将是：

a match {
  case x: A => {
    import x._
    f(x.a)
  }
}

更新2：或者,作为另一种方法(再次,隐含大部分冗余)：

case class SomeCustomString(s: String)

case class A(a: Int,b: String) {
  implicit val s = SomeCustomString(b)
  def invokeF = f(a)
}

def f(a: Int)(implicit s: SomeCustomString) =???

val a = A(11,"hello")
a.invokeF

要么

a match {
  case x: A => x.invokeF
}

这有帮助吗？