Отражение о классе случая Scala
Я пытаюсь записать черту (в Scala 2.8), который может быть смешан в к классу случая, позволив его полям быть осмотренным во времени выполнения, для конкретной цели отладки. Я хочу вернуть их в порядке, которым они были объявлены в исходном файле, и я хотел бы опустить любые другие поля в классе случая. Например:
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
Есть ли какой-либо способ, которым это может быть реализовано?
2 ответа
В каждом примере, который я видел, поля расположены в обратном порядке: последний элемент в массиве getFields является первым в списке в классе case. Если вы используете классы case "красиво", тогда вы просто сможете отобразить productElement (n) на getDeclaredFields () (getDeclaredFields.length-n-1) .
Но это довольно опасно, так как я не знаю ничего в спецификации, что настаивает на том, что это должно быть именно так, и если вы переопределите val в классе case, оно даже не появится в getDeclaredFields (это появятся в полях этого суперкласса).
Вы можете изменить свой код, предполагая, что все обстоит именно так, но убедитесь, что метод получения с таким именем и productIterator возвращают одно и то же значение, и генерируют исключение, если они этого не делают (что означает, что вы на самом деле не знаете что чему соответствует).
Посмотрите в trunk и вы найдете это. Послушайте комментарий, это не поддерживается: но поскольку мне тоже нужны были эти имена...
/** 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
}
}