3

このscala の部分関数の説明では、次のように case ステートメントが使用されます。

val divide2: PartialFunction[Int, Int] = {
    case d: Int if d != 0 => 42 / d
}

次に、次のように述べています。

このコードは isDefinedAt メソッドを明示的に実装していませんが、前の除算関数の定義とまったく同じように機能します。

前の除算関数では、apply メソッドと isDefined メソッドを次のように明示的に定義しています。

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

ここでコンパイラがある種の魔法を行っていることがわかりますが、メカニズムの性質に興味があります: ケース (d != 0 の場合) のガードはバックグラウンドで isDefined の本体に抽出されますか? 独自のガードを持つ複数の case ステートメントはどうですか? 関数のドメインは case ステートメントで定義されているため、コンパイラが舞台裏で isDefined の実装を構築する方法に違いありません。

私は正しいですか？

4

2 に答える 2

7

まず第一に、提示された両方の例が同じように機能しないため、説明が間違っています。

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メソッドのブール式に変換し、次に関数自体を適用メソッドとして変換します (したがって、値が定義されていない場合は 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>
    }
}

この動作を定義する仕様は次のとおりです。

于 2015-09-23T11:35:33.040 に答える