scala.xml.NodeSeq 上的模式匹配

Question

给定：

$cat build.sbt
scalaVersion := "2.11.8"

libraryDependencies += "org.scala-lang.modules" %% "scala-xml"   % "1.0.6"

然后

$sbt console

def exactlyOne[A](xs: Seq[A]): Option[A] = xs match {
 case head :: Nil => Some(head)
 case _           => None
}

scala> val xml = <root><a/></root>
xml: scala.xml.Elem = <root><a/></root>

scala> xml \ "a"
res3: scala.xml.NodeSeq = NodeSeq(<a/>)

scala> exactlyOne( res3 )
res4: Option[scala.xml.Node] = None

显然，Seq#unapply 没有被使用：

scala> exactlyOne( Seq(1) )
res2: Option[Int] = Some(1)

我的理解是unapply 会被调用，通常是在班级的companion object 上。

我找到了Node#unapplySeq (http://www.scala-lang.org/api/2.11.8/scala-xml/index.html#scala.xml.Node$@unapplySeq(n:scala.xml.Node):Some[(String,scala.xml.MetaData,Seq[scala.xml.Node])])，但我'不确定这是否被调用。

match 这里调用了哪个方法？

Answer 1

NodeSeq 不是List，因此尝试将其作为模式匹配将失败。如果你想使用某种unapplySeq 来匹配它，你需要这样做：

def exactlyOne[A](xs: Seq[A]): Option[A] = xs match {
  case Seq(head) => Some(head)
  case _ => None
}

scala> exactlyOne(<root>hello</root>)
res5: Option[scala.xml.Node] = Some(<root>hello</root>)

scala> exactlyOne(<root>hello</root><foo>world</foo>)
res6: Option[scala.xml.Node] = None