scala – 当使用case语句时,isDefinedAt方法如何工作？

发布时间：2020-12-16 10:05:04 所属栏目：安全来源：网络整理

导读：在 this对scala中部分函数的解释中,使用了一个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 sam

在 this对scala中部分函数的解释中,使用了一个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

前面的除法函数显式定义了apply和isDefined方法,如下所示：

val divide = new PartialFunction[Int,Int] {
    def apply(x: Int) = 42 / x
    def isDefinedAt(x: Int) = x != 0
}

我看到编译器在这里做了一些魔术,但我对机制的本质很好奇：在后台的isDefined体中提取的情况下是守护(如果d！= 0)？多个案例陈述与他们自己的警卫怎么样？函数的域是在case语句中定义的,因此必须是编译器如何在后台构建isDefined的实现.

我对吗？

解决方法

首先,解释是错误的,因为两个示例都不相同：

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$1.apply(PartialFunction.scala:253)
  at scala.PartialFunction$$anon$1.apply(PartialFunction.scala:251)
  at $anonfun$1.applyOrElse(<console>:7)
  at $anonfun$1.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$1.apply$mcII$sp(<console>:8)
  ... 33 elided

但它的核心是真的,编译器将case子句中的代码转换为isDefinedAt方法的布尔表达式,然后将函数本身转换为apply方法(因此,如果未定义值,则为MatchError)

对于一般示例,这样的函数：

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.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!