Смешивание в динамике динамически

Наличие признака

trait Persisted {
  def id: Long
}

как реализовать метод, который принимает экземпляр любого класса case и возвращает его копию с признаком, смешанным в?

Подпись метода выглядит так:

def toPersisted[T](instance: T, id: Long): T with Persisted

Ответ 1

Это можно сделать с помощью макросов (которые официально являются частью Scala с 2.10.0-M3). Вот пример того, что вы ищете.

1) Мой макрос генерирует локальный класс, который наследует от предоставленного класса case и Persisted, как это сделал бы new T with Persisted. Затем он кэширует свой аргумент (чтобы предотвратить множественные оценки) и создает экземпляр созданного класса.

2) Как я узнал, какие деревья нужно создавать? У меня есть простое приложение parse.exe, которое печатает AST, что является результатом анализа кода ввода. Поэтому я просто вызвал parse class Person$Persisted1(first: String, last: String) extends Person(first, last) with Persisted, отметил результат и воспроизвел его в моем макросе. parse.exe является оберткой для scalac -Xprint:parser -Yshow-trees -Ystop-after:parser. Существуют различные способы изучения АСТ, более подробно в "Метапрограммирование в Scala 2.10" .

3) Макрорасширения могут быть проверены на работоспособность, если вы предоставляете -Ymacro-debug-lite в качестве аргумента для scalac. В этом случае все расширения будут распечатаны, и вы сможете быстрее обнаруживать ошибки в кодеге.

изменить. Обновлен пример для 2.10.0-M7

Ответ 2

Невозможно добиться того, что вы хотите использовать vanilla scala. Проблема в том, что микшины выглядят следующим образом:

scala> class Foo
defined class Foo

scala> trait Bar
defined trait Bar

scala> val fooWithBar = new Foo with Bar
fooWithBar: Foo with Bar = [email protected]

создать Foo with Bar, смешанный, но он не выполняется во время выполнения. Компилятор просто генерирует новый анонимный класс:

scala> fooWithBar.getClass
res3: java.lang.Class[_ <: Foo] = class $anon$1

См. Динамический микс в Scala - возможно ли? для получения дополнительной информации.

Ответ 3

То, что вы пытаетесь сделать, известно как конкатенация записи, то, что система типа Scala не поддерживает. (Fwiw, существуют системы типов, такие как this и this, которые предоставляют эту функцию.)

Я думаю, что классы типов могут соответствовать вашему варианту использования, но я не могу точно сказать, поскольку вопрос не дает достаточной информации о том, какую проблему вы пытаетесь решить.

Ответ 4

Update

Вы можете найти актуальное рабочее решение, в котором используется API-интерфейс Toolboxes Scala 2.10.0-RC1 как часть SORM.


Следующее решение основано на API-интерфейсе Scala 2.10.0-M3 и Scala Interpreter. Он динамически создает и кэширует классы, наследующие от исходных классов case, с измененной чертой. Благодаря максимальному кэшированию это решение должно динамически создавать только один класс для каждого исходного класса case и повторно использовать его позже.

Поскольку новый API отражения не так много раскрывается и не является стабильным, и на нем нет учебников, но это решение может включать в себя некоторые глупые репликационные действия и причуды.

Следующий код был протестирован с помощью Scala 2.10.0-M3.

1. Persisted.scala

Признак, который нужно смешать. Обратите внимание, что я немного изменил его из-за обновлений в моей программе.

trait Persisted {
  def key: String
}

2. PersistedEnabler.scala

Фактический рабочий объект

import tools.nsc.interpreter.IMain
import tools.nsc._
import reflect.mirror._

object PersistedEnabler {

  def toPersisted[T <: AnyRef](instance: T, key: String)
                              (implicit instanceTag: TypeTag[T]): T with Persisted = {
    val args = {
      val valuesMap = propertyValuesMap(instance)
      key ::
        methodParams(constructors(instanceTag.tpe).head.typeSignature)
          .map(_.name.decoded.trim)
          .map(valuesMap(_))
    }

    persistedClass(instanceTag)
      .getConstructors.head
      .newInstance(args.asInstanceOf[List[Object]]: _*)
      .asInstanceOf[T with Persisted]
  }


  private val persistedClassCache =
    collection.mutable.Map[TypeTag[_], Class[_]]()

  private def persistedClass[T](tag: TypeTag[T]): Class[T with Persisted] = {
    if (persistedClassCache.contains(tag))
      persistedClassCache(tag).asInstanceOf[Class[T with Persisted]]
    else {
      val name = generateName()

      val code = {
        val sourceParams =
          methodParams(constructors(tag.tpe).head.typeSignature)

        val newParamsList = {
          def paramDeclaration(s: Symbol): String =
            s.name.decoded + ": " + s.typeSignature.toString
          "val key: String" :: sourceParams.map(paramDeclaration) mkString ", "
        }
        val sourceParamsList =
          sourceParams.map(_.name.decoded).mkString(", ")

        val copyMethodParamsList =
          sourceParams.map(s => s.name.decoded + ": " + s.typeSignature.toString + " = " + s.name.decoded).mkString(", ")

        val copyInstantiationParamsList =
          "key" :: sourceParams.map(_.name.decoded) mkString ", "

        """
        class """ + name + """(""" + newParamsList + """)
          extends """ + tag.sym.fullName + """(""" + sourceParamsList + """)
          with """ + typeTag[Persisted].sym.fullName + """ {
            override def copy(""" + copyMethodParamsList + """) =
              new """ + name + """(""" + copyInstantiationParamsList + """)
          }
        """
      }

      interpreter.compileString(code)
      val c =
        interpreter.classLoader.findClass(name)
          .asInstanceOf[Class[T with Persisted]]

      interpreter.reset()

      persistedClassCache(tag) = c

      c
    }
  }

  private lazy val interpreter = {
    val settings = new Settings()
    settings.usejavacp.value = true
    new IMain(settings, new NewLinePrintWriter(new ConsoleWriter, true))
  }


  private var generateNameCounter = 0l

  private def generateName() = synchronized {
    generateNameCounter += 1
    "PersistedAnonymous" + generateNameCounter.toString
  }


  // REFLECTION HELPERS

  private def propertyNames(t: Type) =
    t.members.filter(m => !m.isMethod && m.isTerm).map(_.name.decoded.trim)

  private def propertyValuesMap[T <: AnyRef](instance: T) = {
    val t = typeOfInstance(instance)

    propertyNames(t)
      .map(n => n -> invoke(instance, t.member(newTermName(n)))())
      .toMap
  }

  private type MethodType = {def params: List[Symbol]; def resultType: Type}

  private def methodParams(t: Type): List[Symbol] =
    t.asInstanceOf[MethodType].params

  private def methodResultType(t: Type): Type =
    t.asInstanceOf[MethodType].resultType

  private def constructors(t: Type): Iterable[Symbol] =
    t.members.filter(_.kind == "constructor")

  private def fullyQualifiedName(s: Symbol): String = {
    def symbolsTree(s: Symbol): List[Symbol] =
      if (s.enclosingTopLevelClass != s)
        s :: symbolsTree(s.enclosingTopLevelClass)
      else if (s.enclosingPackageClass != s)
        s :: symbolsTree(s.enclosingPackageClass)
      else
        Nil

    symbolsTree(s)
      .reverseMap(_.name.decoded)
      .drop(1)
      .mkString(".")
  }

}

3. Sandbox.scala

Тестируемое приложение

import PersistedEnabler._

object Sandbox extends App {
  case class Artist(name: String, genres: Set[Genre])
  case class Genre(name: String)

  val artist = Artist("Nirvana", Set(Genre("rock"), Genre("grunge")))

  val persisted = toPersisted(artist, "some-key")

  assert(persisted.isInstanceOf[Persisted])
  assert(persisted.isInstanceOf[Artist])
  assert(persisted.key == "some-key")
  assert(persisted.name == "Nirvana")
  assert(persisted == artist)  //  an interesting and useful effect

  val copy = persisted.copy(name = "Puddle of Mudd")

  assert(copy.isInstanceOf[Persisted])
  assert(copy.isInstanceOf[Artist])
  //  the only problem: compiler thinks that `copy` does not implement `Persisted`, so to access `key` we have to specify it manually:
  assert(copy.asInstanceOf[Artist with Persisted].key == "some-key")
  assert(copy.name == "Puddle of Mudd")
  assert(copy != persisted)

}

Ответ 5

Пока невозможно создать объект ПОСЛЕ создания, вы можете иметь очень широкие тесты, чтобы определить, имеет ли объект конкретную композицию с использованием псевдонимов типов и структур определения:

  type Persisted = { def id: Long }

  class Person {
    def id: Long = 5
    def name = "dude"
  }

  def persist(obj: Persisted) = {
    obj.id
  }

  persist(new Person)

Любой объект с def id:Long будет иметь статус Persisted.

Достижение того, что я ДУМАЮ, что вы пытаетесь сделать, возможно с неявными преобразованиями:

  object Persistable {
    type Compatible = { def id: Long }
    implicit def obj2persistable(obj: Compatible) = new Persistable(obj)
  }
  class Persistable(val obj: Persistable.Compatible) {
    def persist() = println("Persisting: " + obj.id)
  }

  import Persistable.obj2persistable
  new Person().persist()