了解与子类的模式匹配

电梯有Box http://liftweb.net/api/26/api/index.html#net.liftweb.common.Box案例类。

我编写了以下方法来进行模式匹配Box[A]:

scala> import net.liftweb.common._
import net.liftweb.common._

scala> def foo[A](box: Box[A]) = box match { 
     |   case Empty | Failure(_, _, _) => true
     |   case Full(_)                  => false
     | }
foo: [A](box: net.liftweb.common.Box[A])Boolean

我写这个方法是为了了解是否ParamFailure，这是一个子类Failure，将进行模式匹配Failure(_, _, _) case.

scala> val pf: Box[String] = ParamFailure("a", Empty, Empty, "blah")
pf: net.liftweb.common.Box[String] = ParamFailure(a, Empty, Empty, blah)

而且，确实如此。

scala> foo(pf)
res9: Boolean = true

我不清楚为什么ParamFailure将匹配到Failure(_, _, _)。这是为什么？

这就是继承的全部意义。如果S是一个子类C，那么你应该能够使用S 绝对无处不在你使用的C（这称为里氏替换原则 http://en.wikipedia.org/wiki/Liskov_substitution_principle).

包括模式匹配。

现在，如果您特别想知道您是否有S与C，你可以检查一下：

class C {}
class S extends C {}
val c: C = new S
c match {
  case s: S => println("Actually, I was an S")
  case _ => println("Guess I was some other kind of C")
}

但如果你问这是不是一个C，答案是肯定的：

c match {
  case c2: C => println("Yes, of course I am a C!")
  case _ => println("This would be super-weird.")
}

再次强调，添加模式匹配在这里没有任何改变；无论您知道类型然后手动提取参数，还是 Scala 是否帮助您为它们提供标识符，它的工作方式都是相同的。

case class P(p: Boolean) {}
object T extends P(true) {}
val p: P = T
p match {
  case P(tf) => println(tf)
  case _ => println("You will never reach here.")
}