Scala中的Extractor

Scala中使用unapply方法可以实现三种extractor(另外使用unapplySeq也可以实现extractor)

def unapply(object: S): Option[(T1, ..., Tn)]
def unapply(object: S): Option[T]
def unapply(object: S): Boolean

感觉第三种extractor的使用形式有些奇怪。比如，下面是《快学Scala》中的一个例子：

object Name {
  def unapply(input: String) = {
    val pos = input.indexOf(" ")
    if(pos == -1) None
    else Some(input.substring(0, pos), input.substring(pos + 1))
  }
}
object IsCompound {
  def unapply(input: String) = input.contains(" ")
}

　　这里定义了两个extractor: Name和IsCompound, 前者返回Option[String], 后者返回Boolean

可以这么使用这两个extractor

author match {
  case Name(first, last @ IsCompound()) => ... 
  case Name(first, last) => ...
}

问题是：

怎么理解返回值为Boolean的extractor呢?
IsCompound()后边的()不能省略，也不能像返回option的extractor一样绑定变量，比如IsCompound(isComp), 该怎么理解这种行为呢？

在这篇文章

The Neophyte's Guide to Scala Part 1: Extractors

里找到了答案。

之所以觉得这种形式比较奇怪，还是对extractor的概念理解得有些模糊，没有搞清楚那种match的形式到底干了个啥。

拿最简单的形式为例

object Test extends App{
  val author = "Dan Simmons"
  author match{
    case Name(firstName, lastName) => println(s"""Hello, Mr $lastName""")
    case _ => 
  }
}

输出：Hello, Mr Simmons

首先这是一个pattern matching。当某个case分支匹配成功后，就会执行 =>后的语句。

那什么样算是匹配成功呢？

这就跟具体的extractor有关了，对于返回Option的提取器，如果调用unapply方法成功返回Some，就算是成功。对于返回Boolean的提取器，如果调用unapply方法返回true，那就是匹配成功。

在这个pattern matching里，第一个case使用的Name这个提取器匹配成功，它对author这个字符串进行了“解构”，其结果是定义了两个新的变量：firstName和lastName。

当使用返回Boolean的extractor时，我们并不是进行解构，而是进行判断。因此，返回Boolean的extractor在进行匹配后，不会定义新变量；但是为了与类型匹配分开，也不能直接用提取器的名字而不跟括号。返回Boolean的提取器，在使用时，只能使用extractor的名字加上()这种形式。像下面这样

  author match{
    case IsCompound() => println("is compound")//IsCompound()里的()不能省
    case _ =>
  }

也可以把这两种extractor混合起来

  author match{
    case Name(first, last @ IsCompound()) => println("has a compound last name")
    case Name(first, last) => println("don't has a compound name")
    case _ =>
  }

第一个case是一种复合匹配，只有当Name这个extractor匹配成功，并且提取出来的第二个变量匹配成功IsCompound()时，整个模式才会匹配成功。在这里@定义了一个变量last，把它绑定到成功匹配了IsCompound的那个值上。