Lift 有 Box Case 类。
我写了以下方法来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(_, _, _)
的情况下进行模式匹配。
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
的子类,那么你应该能够在你使用C
的任何地方绝对使用S
(这称为Liskov替换原理)。
包括模式匹配。
现在,如果您特别想判断您是否有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.")
}
这就是规范中定义案例类的方式。
提取器采用 case 类的实例(即,unapply 方法采用 C)并返回第一个参数列表的元素。
您可以想象其他定义,例如要求擦除的类型完全相同,或者至少productArity
相同。
图案匹配被定义为对形状的测试,而不仅仅是或主要定义为类型测试或相等测试。
事实上,构造函数模式的规范并没有直接解决子类型问题:
该模式匹配从构造函数调用创建的所有对象 c(v1,...,vn)
当然,子类构造必然会调用该构造函数。
当一个案例类可以扩展另一个案例类时,可能会有更高的期望,即模式匹配将区分子类,但那是在我的时代之前:
$ scala27
Welcome to Scala version 2.7.7.final (OpenJDK 64-Bit Server VM, Java 1.6.0_33).
Type in expressions to have them evaluated.
Type :help for more information.
scala> case class A(i: Int)
defined class A
scala> case class B(j: Int, s: String) extends A(j)
defined class B
scala> (B(7,"hi"): Any) match { case A(7) => 1 case B(_,_) => 2 }
res1: Int = 1
scala> B(7,"hi").productArity
res2: Int = 2
我从文法学校知道,有些骆驼有一个驼峰,有些骆驼有两个驼峰。