如何在基础中对`Option`进行模式匹配？

Question

它说在Scala中，模式匹配将转换为对unapply(...):Option[...]的调用。

在这里，我定义了一个对象unapply ：

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

然后，我可以在模式匹配中使用它：

"hello" match {
   case Hello(s) => println(s)
}

实际上（也许）它将被转换为：

Hello.unapply("hello") match {
  case Some(s) => println(s)
  case _ =>
}

但是Some这里也是case class ，因此Some.unapply将被调用。

那应该是无限的。 这是不可能的。

那么Scala模式如何匹配底层的Option ？

Answer 1

unapply的结果根本不会再次进行模式匹配。 而是调用方法isEmpty和get 。 因此，您的示例将给出：

val temp = Hello.unapply("hello")
if (!temp.isEmpty) {
  val s = temp.get
  println(s)
} else {
  throw new MatchError()
}

从2.11开始，甚至没有必要专门返回Option 。 任何具有isEmpty: Boolean方法和get: A方法get: A都可以。