Трейт scala.reflect.api.Internals.Importer

Этот тракт предоставляет поддержку импортеров, инструмент для миграции артефактов рефлексии между вселенными. Примечание: этот тракт обычно следует использовать только в редких случаях.

Артефакты рефлексии, такие как Символы и Типы, содержатся во вселенных Universe. Обычно вся обработка происходит в рамках одной Universe (например, макроса времени компиляции Universe или рефлексии во время выполнения Universe), но иногда возникает необходимость в миграции артефактов из одной Universe в другую. Например, компиляция во время выполнения работает, импортируя деревья рефлексии во время выполнения в вселенную компилятора во время выполнения, компилируя импортированные элементы и экспортируя результат обратно.

Артефакты рефлексии тесно связаны с их Universe , что отражается в том, что типы артефактов из разных вселенных несовместимы. Однако, используя Importer , их можно импортировать из одной вселенной в другую. Например, для импорта foo.bar.Baz из исходной Universe во вселенную назначения Universe, импортер сначала проверит, существует ли вся цепочка владельцев в целевой Universe. Если да, то ничего больше не делается. В противном случае импортер воссоздаст всю цепочку владельцев и импортирует соответствующие сигнатуры типов в целевую Universe.

Поскольку импортеры сопоставляют таблицы Symbol исходной и целевой Universe , используя простые имена строк, программист несёт ответственность за обеспечение того, что импорты не искажают семантику, например, что foo.bar.Baz в исходной Universe означает то же самое, что и foo.bar.Baz в целевой Universe.

Пример

Вот как можно реализовать макрос, который выполняет вычисление аргумента во время компиляции, используя компилятор во время выполнения для компиляции и вычисления дерева, принадлежащего компилятору во время компиляции:

def staticEval[T](x: T) = macro staticEval[T]

def staticEval[T](c: scala.reflect.macros.blackbox.Context)(x: c.Expr[T]) = {
  // creates a runtime reflection universe to host runtime compilation
  import scala.reflect.runtime.{universe => ru}
  val mirror = ru.runtimeMirror(c.libraryClassLoader)
  import scala.tools.reflect.ToolBox
  val toolBox = mirror.mkToolBox()

  // runtime reflection universe and compile-time macro universe are different
  // therefore an importer is needed to bridge them
  // currently mkImporter requires a cast to correctly assign the path-dependent types
  val importer0 = ru.internal.mkImporter(c.universe)
  val importer = importer0.asInstanceOf[ru.internal.Importer { val from: c.universe.type }]

  // the created importer is used to turn a compiler tree into a runtime compiler tree
  // both compilers use the same classpath, so semantics remains intact
  val imported = importer.importTree(tree)

  // after the tree is imported, it can be evaluated as usual
  val tree = toolBox.untypecheck(imported.duplicate)
  val valueOfX = toolBox.eval(imported).asInstanceOf[T]
  ...
}