25、Scala 模式匹配深入解析

Scala 模式匹配深入解析

1. 模式守卫（Pattern guards）

在某些情况下，单纯的语法模式匹配可能不够精确。例如，要制定一个简化规则，将具有两个相同操作数的求和表达式（如 e + e ）替换为乘以 2 的表达式（如 e * 2 ）。在 Expr 树的语言中，像 BinOp("+", Var("x"), Var("x")) 这样的表达式应转换为 BinOp("*", Var("x"), Number(2)) 。

最初尝试定义此规则如下：

scala> def simplifyAdd(e: Expr) = e match {
case BinOp("+", x, x) => BinOp("*", x, Number(2))
case _ => e
}

但这会失败，因为 Scala 要求模式必须是线性的，即模式变量在模式中只能出现一次。

可以使用模式守卫来重新表述匹配，示例代码如下：

scala> def simplifyAdd(e: Expr) = e match {
case BinOp("+", x, y) if x == y =>
BinOp("*", x, Number(2))
case _ => e
}

模式守卫跟在模式后面，以