在 Scala 的模式匹配系统中使用比较运算符

您可以在模式后面添加一个约束，即 if和一个布尔表达式:

a match {
case 10 => println("ten")
case x if x > 10 => println("greater than ten")
case _ => println("less than ten")
}

编辑: 请注意，这与把 if 之后放在 =>上表面上是完全不同的，因为如果保护不真实，模式 不会就会匹配。

作为对这个问题精神的非回答，这个问题要求如何将谓词合并到一个匹配子句中，在这种情况下，谓词可以在 match之前被分解出来:

def assess(n: Int) {
println(
n compare 10 match {
case 0 => "ten"
case 1 => "greater than ten"
case -1 => "less than ten"
})
}

现在，scala.math.Ordering.compare(T, T)的文件只承诺不相等的结果将是 大于或 小于零。Java 的 Comparable#compareTo(T)的指定类似于 Scala 的。正负值分别使用1和 -1是常规做法，正如 Scala 的 目前的实施情况所做的那样，但是我们不能做出这样的假设，否则实现会有从底层发生变化的风险。

在我看来，这个解决方案比增加警卫更容易理解:

(n compare 10).signum match {
case -1 => "less than ten"
case  0 => "ten"
case  1 => "greater than ten"
}

备注:

• 如果这个值小于那个值，返回一个负整数; 如果大于那个值，返回一个正整数; 如果相等，则为 0。
• Int.signum 将从 compare到 -1的输出压缩为负数(小于10) ，将 1压缩为正数(大于10) ，将 0压缩为零(等于10)。

虽然上面和下面的答案完美地回答了原来的问题，一些额外的信息可以在文档 https://docs.scala-lang.org/tour/pattern-matching.html中找到，他们不适合我的情况，但是因为这个堆栈溢出的答案是第一个建议在谷歌我想张贴我的答案，这是一个角落的情况下的问题上面。
我的问题是:

• 如何在匹配表达式中使用带参数的守护符 功能

    def drop[A](l: List[A], n: Int): List[A] = l match {
case Nil => sys.error("drop on empty list")
case xs if n <= 0 => xs
case _ :: xs => drop(xs, n-1)
}