5

私はフォーラムと Google を検索して、Scala の型消去の問題に対する回答を探しています。しかし、私の質問に答えるものは何も見つかりません。

ParamClass の型パラメーターに一致するオブジェクトのパターン マッチングに苦労しています。着信オブジェクトのタイプを bar メソッドにパターン一致させる必要があります。私は次のような解決策を見てきました

bar[X](a : X)(implicit m : Manifest[X])

これで問題は解決しますが、 bar メソッドはオーバーライドされたメソッドであるため、これを使用できません。(実際には、Akka アクター フレームワークの receive 部分関数です)。コードは以下のとおりで、一目瞭然です。

class ParamClass[A : Manifest] {
  def bar(x : Any) = x match {
    case a: A => println("Found A: " + a)
    case _ =>    println("No match: " + x)
  }
}

object ErasureIssue {
  def main(args: Array[String]) {
    val clz = new ParamClass[Int]
    clz.bar("faf")
    clz.bar(2.3)
    clz.bar(12)   // this should match, but does not
  }
}

ErasureIssue.main(null)

この問題を解決するための助けをいただければ幸いです。私は Scala 2.9.1 を使用しています。

-J

4

2 に答える 2

5

理論的には次のbarようにチェックインできx.getClass == implicitly[Manifest[A]].erasureます:IntIntbarjava.lang.Integer

ボックス化されたマニフェストを取得するには、次のようにする必要がありますA。AnyRef

class ParamClass[A <: AnyRef : Manifest] {
  def bar(x : Any) = x match {
    case _ if x.getClass == implicitly[Manifest[A]].erasure =>
      println("Found A: " + x.asInstanceOf[A])
    case _ => println("No match: " + x)
  }
}

object ErasureIssue {
  def main(args: Array[String]) {
    val clz = new ParamClass[Integer] // not pretty...
    clz.bar("faf")
    clz.bar(2.3)
    clz.bar(12)   // ok
  }
}

ErasureIssue.main(null)

プリミティブ配列を作成する必要がある場合、ボックス化されていないマニフェストとは別に、ボックス化されたクラスを直接格納できます。

object ParamClass {
  def apply[A](implicit mf: Manifest[A]) = {
    val clazz = mf match {
      case Manifest.Int => classOf[java.lang.Integer] // boxed!
      case Manifest.Boolean => classOf[java.lang.Boolean]
      case _ => mf.erasure
    }
    new ParamClass[A](clazz)
  }
}
class ParamClass[A] private[ParamClass](clazz: Class[_])(implicit mf: Manifest[A]) {
  def bar(x : Any) = x match {
    case _ if x.getClass == clazz =>
      println("Found A: " + x.asInstanceOf[A])
    case _ => println("No match: " + x)
  }

  def newArray(size: Int) = new Array[A](size)

  override def toString = "ParamClass[" + mf + "]"
}

val pi = ParamClass[Int]
pi.bar("faf")
pi.bar(12)
pi.newArray(4)

val ps = ParamClass[String]
ps.bar("faf")
ps.bar(12)
ps.newArray(4)
于 2012-08-08T12:50:33.167 に答える
3

-unchecked でコンパイルしようとすると、すぐに警告が表示されます。

test.scala:3: 警告: 型パターン A の抽象型 A は、消去ケース a: A => println("Found A: " + a) によって削除されるため、チェックされていません

さらに深く知りたい場合は、 scalac -printを使用できます

[[syntax trees at end of cleanup]]// Scala source: test.scala
package <empty> {
  class ParamClass extends java.lang.Object with ScalaObject {
    def bar(x: java.lang.Object): Unit = {
      <synthetic> val temp1: java.lang.Object = x;
      if (temp1.$isInstanceOf[java.lang.Object]())
        {
          scala.this.Predef.println("Found A: ".+(temp1))
        }
      else
        {
          scala.this.Predef.println("No match: ".+(x))
        }
    };
    def this(implicit evidence$1: scala.reflect.Manifest): ParamClass = {
      ParamClass.super.this();
      ()
    }
  };
  final object ErasureIssue extends java.lang.Object with ScalaObject {
    def main(args: Array[java.lang.String]): Unit = {
      val clz: ParamClass = new ParamClass(reflect.this.Manifest.Int());
      clz.bar("faf");
      clz.bar(scala.Double.box(2.3));
      clz.bar(scala.Int.box(12))
    };
    def this(): object ErasureIssue = {
      ErasureIssue.super.this();
      ()
    }
  }
}

このコードを見ると、A が java.lang.Object に変わっていることがわかります。これにより、すべてのパラメーターが句に一致します。

于 2012-08-08T16:57:50.773 に答える