Scala 专题教程-Case Class和模式匹配(5): 模式的种类(四)

变量绑定
除了独立的变量模式外，你还可以把一个变量添加到另外的模式中，你简单的定义一个变量，然后再添加一个@符号，然后再写其它的模式。 这就定义了一个变量绑定过的模式。这意味着还是按照标准的模式匹配来匹配输入对象，如果匹配成功，匹配成功的对象会赋值到定义的变量中。
例如：

expr match {
	case UnOp("abs",e @ UnOp("abs",_)) => e
	case _ =>
}

这里定义了一绑定到变量的模式，e @ UnOp(?abs?,_)，而整个模式是匹配了运用了两次“abs?操作的对象，如果匹配成功，e将赋值为匹配UnOp(?abs?,_)部分：比如：

scala>  val expr = UnOp("abs",UnOp("abs",Number(5)))
expr: UnOp = UnOp(abs,UnOp(abs,Number(5.0)))

scala> expr match {
     |     case UnOp("abs",e @ UnOp("abs",_)) => e
     |     case _ =>
     |   }
res0: Any = UnOp(abs,Number(5.0))

可以看到匹配 UnOp(?abs?,UnOp(?abs?,Number(5)))成功后，e赋值为 UnOp(abs,Number(5.0))