是否存在 unapply 总是返回 Option 的规则？

Question

我尝试创建一个用于模式匹配的 unapply 方法，并尝试使其返回与 Option 不同的内容，但是，Eclipse 将其显示为错误。是否存在 unapply 必须返回 Option[T] 的规则？

编辑：这是我尝试使用的代码。我切换了上一节中的代码，以便 unapply 返回一个布尔值，

import java.util.regex._

object NumberMatcher {
  def apply(x:String):Boolean = {
    val pat = Pattern.compile("\\d+")
    val matcher = pat.matcher(x)
    return matcher.find
  }

  def unapply(x:String):Boolean = {
    val pat = Pattern.compile("\\d+")
    val matcher = pat.matcher(x)
    return matcher.find
  }
}

object x {
  def main(args : Array[String]) : Unit = {
    val strings = List("geo12","neo493","leo")
    for(val str <- strings) {
      str match {
        case NumberMatcher(group) => println(group)
        case _ => println ("no")
      }
    }
  }
}

Eclipse 表示对象 NumberMatcher 的参数数量错误。这是为什么？

Answer 1

如果您想使用 unapply 返回某些内容，请在 Some 中返回它。返回 Boolean 只是测试是否可以匹配。

以下是模式匹配的翻译方式：

str match { 
  case NumberMatcher(group) => println(group)
  case _ => println("no")
}

假设 NumberMatcher 返回 Option[...]，它将执行以下操作：

val r1 = NumberMatcher.unapply(str)
if (r1 != None) {
  val group = r1.get
  println(group)
} else {
  println("no")
}

如果 NumberMatcher 返回 Boolean，则你可以让它收到一些东西。在这种情况下，会发生以下情况：

str match { 
  case NumberMatcher() => println("yes")
  case _ => println("no")
}

变为

val r1 = NumberMatcher.unapply(str)
if (r1) {
  println("yes")
} else {
  println("no")
}

请注意，这是一个非常肤浅的解释。大小写匹配可以测试常量、有额外的保护条件、替代方案、递归使用 unapply、使用 unapplySeq 等。这里我只展示非常基本的用法来解决特定的问题问题。我强烈建议寻找有关模式匹配的更完整的解释。

Answer 2

再次查看这个示例。
我引用

unapply 的返回类型应选择如下：
* 如果只是测试，则返回布尔值。例如，even()
* 如果返回单个T类型的子值，则返回一个Option[T]
* 如果要返回多个子值 T1,...,Tn，请将它们分组在可选元组 Option[(T1,...,Tn)] 中。

Answer 3

当您定义 unapply 以返回 Boolean 时，您表明该模式没有任何要匹配（或绑定）的通配符。所以这个解提取器的 case 语句应该是 case NumberMatcher =>; println(str)，并给它一个变量来填充是错误的。

或者，使 case NumberMatcher(group) => println(group) 您需要定义 unapply() 以返回 Option[String]

Answer 4

package com.tutorial.extracters
object ExtracterwithBooleanReturnType extends App {
import java.util.regex._
object NumberMatcher {
  def apply(x: String*) = {
    x
  }
  def unapply(x: String): Option[Boolean] = {
    val pat = Pattern.compile("\\d+")
    val matcher = pat.matcher(x)
    return Some(matcher.find)
 }
}

val strings = NumberMatcher("geo12", "neo493", "leo")
for (str <- strings) {
  str match {
  case NumberMatcher(group) => println(group)
  case _ => println("no")
}
}
}

我们也可以用上面的代码来实现