Размышления о кейс-классе Scala

Question

Я пытаюсь написать признак (в Scala 2.8), который можно будет смешать с классом случая, позволяя проверять его поля во время выполнения для конкретной цели отладки.Я хочу вернуть их в том порядке, в котором они были объявлены в исходном файле, и мне хотелось бы опустить любые другие поля внутри класса Case.Например:

trait CaseClassReflector extends Product {

  def getFields: List[(String, Any)] = {
    var fieldValueToName: Map[Any, String] = Map()
    for (field <- getClass.getDeclaredFields) {
      field.setAccessible(true)
      fieldValueToName += (field.get(this) -> field.getName) 
    }
    productIterator.toList map { value => fieldValueToName(value) -> value }
  }

}

case class Colour(red: Int, green: Int, blue: Int) extends CaseClassReflector {
  val other: Int = 42
}

scala> val c = Colour(234, 123, 23)
c: Colour = Colour(234,123,23)

scala> val fields = c.getFields    
fields: List[(String, Any)] = List((red,234), (green,123), (blue,23))

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

Colour(0, 0, 0).getFields

Есть ли способ это реализовать?

Answer 1

В каждом примере, который я видел, поля расположены в обратном порядке:последний элемент массива getFields — первый элемент, указанный в классе Case.Если вы «хорошо» используете классы случаев, то вы просто сможете сопоставить productElement(n) на getDeclaredFields()( getDeclaredFields.length-n-1).

Но это довольно опасно, так как я не знаю ничего в спецификации, которое настаивало бы на том, что так должно быть, и если вы переопределите значение val в классе case, оно даже не появится в getDeclaredFields (оно появится в полях этого суперкласса).

Вы можете изменить свой код, предполагая, что все обстоит именно так, но убедитесь, что метод получения с таким именем и ProductIterator возвращают одно и то же значение, и выдайте исключение, если они этого не делают (это означает, что вы на самом деле не знаете, что соответствует что).

Answer 2

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

/** private[scala] so nobody gets the idea this is a supported interface.
 */
private[scala] def caseParamNames(path: String): Option[List[String]] = {
  val (outer, inner) = (path indexOf '$') match {
    case -1   => (path, "")
    case x    => (path take x, path drop (x + 1))
  }

  for {
    clazz <- getSystemLoader.tryToLoadClass[AnyRef](outer)
    ssig <- ScalaSigParser.parse(clazz)
  }
  yield {
    val f: PartialFunction[Symbol, List[String]] =
      if (inner.isEmpty) {
        case x: MethodSymbol if x.isCaseAccessor && (x.name endsWith " ") => List(x.name dropRight 1)
      }
      else {
        case x: ClassSymbol if x.name == inner  =>
          val xs = x.children filter (child => child.isCaseAccessor && (child.name endsWith " "))
          xs.toList map (_.name dropRight 1)
      }

    (ssig.symbols partialMap f).flatten toList
  }
}

Answer 3

Вот короткая и рабочая версия, основанная на примере выше.

  trait CaseClassReflector extends Product {
    def getFields = getClass.getDeclaredFields.map(field => {
      field setAccessible true
      field.getName -> field.get(this)
    })
  }

Answer 4

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

import tools.nsc.interpreter.ProductCompletion

// get attribute names
new ProductCompletion(Colour(1, 2, 3)).caseNames
// returns: List(red, green, blue)

// get attribute values
new ProductCompletion(Colour(1, 2, 3)).caseFields

---

Редактировать:подсказки Роланда и Virtualeyes

Необходимо включить в scalap библиотека, которая является частью коллекция скала-ланга.

Спасибо за ваши подсказки, Роланд и виртуальные глаза.