Scala中的模式可以通过case class独立的定义。在此基础上一个名为unapply的方法被定义用于被称为提取器的东西。下例中分别定义了两个提取器对象(apply,unapply):
object Twice {
def apply(x: Int): Int = x * 2
def unapply(z: Int): Option[Int] = if (z%2 == 0)Some(z/2) else None
}
object TwiceTest extends App {
val x = Twice(21)
x match { case Twice(n) => Console.println(n) } // prints 21
}
此处有两个句法的约定起作用:
对于模式 case Twice(n)将会调用Twice.unapply,该方法用于匹配任何输入(包括Int)。在执行x match方法时,对于case Twice(n)系统会自动识别到unapply方法。此处的x必须是由Twice(Int)生成的,如果输入一个Int则不能被识别。我们将这里返回的值称为“次值”,所以用例中返回的次值为z/2。
对于apply方法,一般并不会用于进行模式匹配。该方法通常是用于执行构造器方法。上例中的val x = Twice(21)指代的是val x =Twice.apply(21)。
unapply方法的返回值可以是:1) Boolean:用于简单的检测;2) Option[T]:用于返回Some(t)中的t;3)Option[{T1,…,Tn}]:用于返回一个可选的元组。
有时候,我们需要返回的一组次值。出于这种原因,我们可以通过定义unapplySeq来进行返回。最终返回的次值类型为Seq[S]。这种机制被用于匹配case List(x1,…,xn)。