在一个模式中多次使用相同的变量

Question

我希望能够在一个模式中多次使用单个变量,这样只有在所有地方都存在相同的值时它才会匹配,例如

list match {
  case x :: x :: xs => // recurse
}

哪个匹配List(1,1,2)但不匹配List(1,2,1).但这不能编译error: x is already defined as value x.

在研究这个问题时,我发现我还可以在案例条款中加入一名警卫,所以我可以这样做

list match {
  case x1 :: x2 :: xs if x1==x2 => // recurse
}

它似乎以相同的方式工作(它确实,对吧？).这很好,但是如果我想在很多地方使用相同的值,那就不会那么干净了

list match {
  case x1::x2::x3::x4::xs if x1==x2 && x2==x3 && x3==x4 => // recurse
}

有没有更优雅的方式我能做到这一点？

---

一些注意事项:是的,我只是在学习scala,如果不清楚的话,我不确定这是我真正想做的事情,但我只是对可能的事情感兴趣.在这方面,我真的不想找一个完全不同的解决方案,像takeWhile或filter什么的,但更多的是模式匹配中特别感兴趣.

Answer 1

Scala在匹配方面没有提供那么大的灵活性(这可能是一件好事,因为必须要注意由于无意的变量重用而产生的错误).

如果您有大量相同的项目,您可能需要考虑嵌套匹配(但请注意,您不会在内部匹配中失败,以便在以后的外部匹配中完成,因此您必须在本地处理所有内容):

list match {
  case x :: rest => rest match {
    case `x` :: `x` :: `x` :: xs => println("Four of the same")
    case _ => println("Well, nonempty at least")
  }
  case _ => println("Boring, there's nothing here!")
}

注意反引号意味着"我们已经得到了这个变量,请检查它,不要设置它!".

或者,如果您具有重复使用的专用功能,则可以创建自定义匹配器:

object FourOf {
  def unapplySeq(xs: List[Int]): Option[(Int, List[Int])] = xs match {
    case x :: y :: z :: a :: rest if x==y && y==z && z==a => Some((x,rest))
    case _ => None
  }
}

然后在需要复杂模式时使用它:

list match {
  case FourOf(x,rest) => println("four of the same")
  case x :: more => println("Nonempty")
  case _ => println("Yawn")
}

这些都不像你显然希望的那样整洁和灵活,但是再一次,我不确定在匹配语句中分配和测试相同变量之间的翻转是编写清晰代码的好方法.

Answer 2

对于许多重复,您可以使用稳定标识符进行比较(而不是捕获值):

val x = list.head 
list match {
  case `x`::`x`::`x`::`x`::xs => ....
}

但请注意,这不适用于空列表(你只是无法得到它).