8

我想要一个提取器来隐式转换它的参数,但它似乎不起作用。考虑这个非常简单的案例:

case class MyString(s: String) {}

implicit def string2mystring(x: String): MyString = new MyString(x)
implicit def mystring2string(x: MyString) = x.s

object Apply {
    def unapply(s: MyString): Option[String] = Some(s)
}

但我无法按预期使用它:

val Apply(z) = "a"  // error: scrutinee is incompatible with pattern type

谁能解释为什么它无法将参数从转换StringMyString?我希望它会string2mystring("a")即时调用。显然我可以通过说 来解决这个问题val Apply(y) = MyString("a"),但似乎我不应该这样做。

注意:这个问题与这个问题类似但是 1)对于为什么会发生这种情况并没有一个很好的答案,2)这个例子比它需要的更复杂。

4

1 回答 1

14

模式匹配时不应用隐式转换。这不是您的代码的错误或问题,它只是 Scala 的创建者的设计决定。

要修复它,您应该编写另一个接受 a 的提取器String- 这反过来可以调用您的隐式转换。

或者,您可以尝试使用视图绑定,这似乎也可以,并且如果您稍后将其他隐式转换定义为MyString

object Apply {
  def unapply[S <% MyString](s: S): Option[String] = Some(s.s)
}
于 2011-07-18T17:18:14.740 回答