使用 case 语句时,isDefinedAt 方法如何工作?
How does isDefinedAt method work when case statements are used?
在thisscala部分函数的解释中,使用了一个case语句如下:
val divide2: PartialFunction[Int, Int] = {
case d: Int if d != 0 => 42 / d
}
然后它说:
Although this code doesn’t explicitly implement the isDefinedAt
method, it works exactly the same as the previous divide function
definition
前面的divide函数显式定义了apply和isDefined方法如下:
val divide = new PartialFunction[Int, Int] {
def apply(x: Int) = 42 / x
def isDefinedAt(x: Int) = x != 0
}
我看到编译器在这里做了某种魔术,但我对机制的性质很好奇:在 case 中的守卫 (if d != 0) 是否被提取到 isDefined 的主体中背景?有自己的警卫的多个案例陈述怎么样?函数的域在 case 语句中定义,因此这一定是编译器在幕后构建 isDefined 实现的方式。
我说得对吗?
我相信它是有效的,因为模式匹配定义支持可用 case
。
divide2
方法有一个匹配情况:x != 0
给定类型为 Int 的 x,因此,如果您的值不是那个,它应该 return false。
首先,解释是错误的,因为所提供的两个示例的工作方式不同:
scala> val a: PartialFunction[Int, Int] = {
| case i if i != 0 => 42 / i
| }
a: PartialFunction[Int,Int] = <function1>
scala> val b = new PartialFunction[Int, Int] {
| def apply(i: Int) = 42 / i
| def isDefinedAt(i: Int) = i != 0
| }
b: PartialFunction[Int,Int] = <function1>
scala> a(0)
scala.MatchError: 0 (of class java.lang.Integer)
at scala.PartialFunction$$anon.apply(PartialFunction.scala:253)
at scala.PartialFunction$$anon.apply(PartialFunction.scala:251)
at $anonfun.applyOrElse(<console>:7)
at $anonfun.applyOrElse(<console>:7)
at scala.runtime.AbstractPartialFunction$mcII$sp.apply$mcII$sp(AbstractPartialFunction.scala:36)
... 33 elided
scala> b(0)
java.lang.ArithmeticException: / by zero
at $anon.apply$mcII$sp(<console>:8)
... 33 elided
但它的核心是正确的,编译器将 case 子句中的代码转换为 isDefinedAt
方法的布尔表达式,然后函数本身作为 apply 方法(因此如果值未定义)
举个一般的例子,函数如下:
val a = PartialFunction[A, B] {
case <clause A> => <action A>
case <clause B> => <action B>
}
编译为:
val a = new PartialFunction[A, B] {
def isDefinedAt(a: A) = a match {
case <clause A> => true
case <clause B> => true
case _ => false
}
def apply(a: A) = a match {
case <clause A> => <action A>
case <clause B> => <action B>
}
}
这里是定义此行为的 spec。
在thisscala部分函数的解释中,使用了一个case语句如下:
val divide2: PartialFunction[Int, Int] = {
case d: Int if d != 0 => 42 / d
}
然后它说:
Although this code doesn’t explicitly implement the isDefinedAt method, it works exactly the same as the previous divide function definition
前面的divide函数显式定义了apply和isDefined方法如下:
val divide = new PartialFunction[Int, Int] {
def apply(x: Int) = 42 / x
def isDefinedAt(x: Int) = x != 0
}
我看到编译器在这里做了某种魔术,但我对机制的性质很好奇:在 case 中的守卫 (if d != 0) 是否被提取到 isDefined 的主体中背景?有自己的警卫的多个案例陈述怎么样?函数的域在 case 语句中定义,因此这一定是编译器在幕后构建 isDefined 实现的方式。
我说得对吗?
我相信它是有效的,因为模式匹配定义支持可用 case
。
divide2
方法有一个匹配情况:x != 0
给定类型为 Int 的 x,因此,如果您的值不是那个,它应该 return false。
首先,解释是错误的,因为所提供的两个示例的工作方式不同:
scala> val a: PartialFunction[Int, Int] = {
| case i if i != 0 => 42 / i
| }
a: PartialFunction[Int,Int] = <function1>
scala> val b = new PartialFunction[Int, Int] {
| def apply(i: Int) = 42 / i
| def isDefinedAt(i: Int) = i != 0
| }
b: PartialFunction[Int,Int] = <function1>
scala> a(0)
scala.MatchError: 0 (of class java.lang.Integer)
at scala.PartialFunction$$anon.apply(PartialFunction.scala:253)
at scala.PartialFunction$$anon.apply(PartialFunction.scala:251)
at $anonfun.applyOrElse(<console>:7)
at $anonfun.applyOrElse(<console>:7)
at scala.runtime.AbstractPartialFunction$mcII$sp.apply$mcII$sp(AbstractPartialFunction.scala:36)
... 33 elided
scala> b(0)
java.lang.ArithmeticException: / by zero
at $anon.apply$mcII$sp(<console>:8)
... 33 elided
但它的核心是正确的,编译器将 case 子句中的代码转换为 isDefinedAt
方法的布尔表达式,然后函数本身作为 apply 方法(因此如果值未定义)
举个一般的例子,函数如下:
val a = PartialFunction[A, B] {
case <clause A> => <action A>
case <clause B> => <action B>
}
编译为:
val a = new PartialFunction[A, B] {
def isDefinedAt(a: A) = a match {
case <clause A> => true
case <clause B> => true
case _ => false
}
def apply(a: A) = a match {
case <clause A> => <action A>
case <clause B> => <action B>
}
}
这里是定义此行为的 spec。