scala - 将订单与提取器匹配

Question

我定义了一个自定义提取器来获取列表的最后一个元素，如https://stackoverflow.com/a/6697749/1092910：

object :+ {
  def unapply[A](l: List[A]): Option[(List[A], A)] = {
    if (l.isEmpty)
      None
    else 
      Some(l.init, l.last)
  }
}

现在这匹配“好”：

List(1, 2, 3) match {
  case init :+ last => "good"
  case head :: tail => "bad"
}

但是如果我添加另一个子句，它现在突然匹配“坏”：

List(1, 2, 3) match {
  case List(7) => "never"
  case init :+ last => "good"
  case head :: tail => "bad"
}

这种行为的原因是什么？

score 6 · Accepted Answer

它是 #1697/2337 和十几个重复项。

可以肯定地说，它不会以直接方式修复，而是通过删除 virtpatmat 实现的模式匹配器来修复。尝试最近的构建并使用 -Yvirtpatmat 进行编译，您会得到正确的答案。

1 回答 1