Question

下面是两个片段，我无法理解为什么一个成功执行而另一个抛出运行时异常。

Snippet1：

val str = "HELP"

val perfectTuple: (String, String) = str match {
    case "NO-HELP" => ("First Help", "Second Help")
    case "OTHER-HELP" => ("I won't Help!", "Even,I won't Help!")
    case "HELP" => (null,"Single Help")
    case _ => throw new NoSuchMethodException

  }

Snippet2：

val str = "HELP"

val (firstPart:String, secondPart:String) = str match {
  case "NO-HELP" => ("First Help", "Second Help")
  case "OTHER-HELP" => ("I won't Help!", "Even,I won't Help!")
  case "HELP" => (null,"Single Help")
  case _ => throw new NoSuchMethodException
}

==========================

两个片段之间的差别很小。一个将返回的元组存储到tuple2类型的值“perfectTuple”中，并且这个元素成功执行。

其他人从元组2中提取值并将它们存储到字符串值中并抛出运行时'scala.matchError'。

这是scala中的错误吗？

我在scala 2.10.5和2.11.7

上尝试了这个

提前致谢。

=============

还有一个场景，我可以从模式匹配中为字符串赋值null，这个非常完美： Snippet3：

val str = "HELP"

val assignNullToString: String = str match {

    case "NO-HELP" => "ONE"
    case "OTHER-HELP" => "TWO"
    case "HELP" => null
    case _ => throw new NoSuchMethodException
}

所以我假设，它不是我为String赋值null导致问题，它与Tuple有关吗？和Snippet 2有什么问题，而Snippet 1运行得非常好。

Answer 1

第二个示例使用unapply的{{1}}。

现在，我还没有看过case class Tuple2的优化代码，但我猜想在某些时候它会对元组的值进行类型匹配。

一个人根本无法在Tuple2.unapply上输入匹配。

null

<强>更新

让我们稍微讨论你的第二个例子：

val str: Any = null

str match {
  case _: String => "yay"
  case other => "damn"
}
|-> res1: String = damn

当我们提取比赛时，我们得到：

val str = "HELP"

val (firstPart:String, secondPart:String) = str match {
  case "NO-HELP" => ("First Help", "Second Help")
  case "OTHER-HELP" => ("I won't Help!", "Even,I won't Help!")
  case "HELP" => (null,"Single Help")
  case _ => throw new NoSuchMethodException
}

现在，您将其放入val tuple: (String, String) = str match { case "NO-HELP" => ("First Help", "Second Help") case "OTHER-HELP" => ("I won't Help!", "Even,I won't Help!") case "HELP" => (null,"Single Help") case _ => throw new NoSuchMethodException } unapply函数中。看看签名：

Tuple2

因此传入元组值的类型已删除！但是，当你说

时

def unapply[A, B](tuple: Tuple2[_, _]): Option[(A, B)]

您正在使用类型参数val (first: String, second: String) = tuple来调用Tuple2.unapply，明确要求结果为[String, String]。

为了能够返回(String, String)，unapply函数必须键入两个值匹配。

可以想象Option[(String, String)]伴侣对象看起来像什么，但事实上更有效率和更复杂：

Tuple2

现在这是抛出MatchError的行：

object Tuple2 {
  def apply[A, B](_1: A, _2: B): Tuple2[A, B] = new Tuple2(_1, _2)

def unapply[A, B](tuple: Tuple2[_, _]): Option[(A, B)] = {
  val a: Option[A] = tuple._1 match { case a: A => Some(a) }
  val b: Option[B] = tuple._2 match { case b: B => Some(b) }

  a.zip(b).headOption
}

正如我之前所说，我没有看过val a: Option[A] = tuple._1 match { case a: A => Some(a) }的优化代码，但我有理由相信这与实际情况非常接近。

你当然可以放松一下你的要求：

Tuple2

对于大多数情况应该运作良好，但可能只会推迟疼痛。

编辑2

我建议始终注意这样一个事实，即当使用提取器绑定val时，会使用语法糖进行模式匹配，因为模式匹配可能总是因匹配错误而失败。

以下是一些明显的例子，我看到过几次不那么明显的事情。

val str = "HELP"

val (firstPart, secondPart) = str match {
  case "NO-HELP" => ("First Help", "Second Help")
  case "OTHER-HELP" => ("I won't Help!", "Even,I won't Help!")
  case "HELP" => (null,"Single Help")
  case _ => throw new NoSuchMethodException
}

Answer 2

第三种模式"Help"已匹配，但错误是因为您尝试将null分配给期望firstPart的{{1}}。您可以在下面的较小示例中看到类似的错误。您的代码行为相似。

String

如果您将元组的第一部分中的scala> val (firstPart: String, secondPart: String) = ("foo", "bar") firstPart: String = foo secondPart: String = bar scala> val (firstPart: String, secondPart: String) = (null, "bar") <console>:10: error: pattern type is incompatible with expected type; found : String required: Null val (firstPart: String, secondPart: String) = (null, "bar")更改为null，则可以正常工作。

在元组中返回null时，Scala模式匹配会引发匹配错误

2 个答案: