2

一般的な Scala コードから FastUtil や Trove などの特殊なコレクション ライブラリを呼び出そうとしています。のようなものを実装したいと思います

def openHashMap[@specialized K, @specialized V]: ${K}2${V}OpenHashMap = 
   new ${K}2${V}OpenHashMap()

${X}は明らかに有効な Scala ではありませんが、テキスト置換のための私のメタ表記であるため、コンパイル時に型が認識されることになりますopenHashMap[Long, Double]。Long2DoubleOpenHashMapこれは Scala マクロで可能ですか。もしそうなら、どの味ですか？def マクロ、暗黙的マクロ、fundep 実体化、マクロ注釈、型マクロ (現在は廃止) があることは知っていますが、これらは単純な Scala-2.10、2.10 マクロ パラダイスと Scala-2.11 では異なると思います。もしあれば、これらのうちどれがこれに適していますか?

それとも、バイトコード操作、言語仮想化など、これを行うことができる何かが他にありますか? しかし、今述べた代替案が可能であるとは思えません。

4

1 に答える 1

2

この回答から準引用符を使用するというアイデアを盗んで、最初にマクロパラダイスプラグインを追加します。

// build.sbt
scalaVersion := "2.10.2"

resolvers += Resolver.sonatypeRepo("snapshots")

addCompilerPlugin("org.scala-lang.plugins" % "macro-paradise" % "2.0.0-SNAPSHOT" 
  cross CrossVersion.full)

次に、マクロは次のようになります。

// src/main/scala/Foo.scala
import reflect.macros.Context
import language.experimental.macros

trait Foo[A]
class IntFoo() extends Foo[Int]
class AnyFoo() extends Foo[Any]

object Foo {
  def apply[A]: Foo[A] = macro applyImpl[A]

  def applyImpl[A](c: Context)(t: c.WeakTypeTag[A]): c.Expr[Foo[A]] = {
    import c.universe._
    val aTpe    = t.tpe
    val prefix  = if (aTpe =:= typeOf[Int]) "Int" else "Any"
    val clazz   = newTypeName(s"${prefix}Foo")
    c.Expr(q"new $clazz()")
  }
}

そしてテストケース：

// src/test/scala/Test.scala
object Test extends App {
  val fooInt = Foo[Int]
  val fooAny = Foo[Any]

  println(fooInt)
  println(fooAny)
}

macro-paradise-plugin がなければ、ツリーを手動で作成する必要がありNew(clazz, ???)ます。

于 2013-09-29T11:52:10.733 に答える