В Scala, как я могу программно определить имя поля класса?

это снова я (два года спустя). Вот другое, другое решение, использующее Scala рефлексия. Он вдохновлен блоге, который сам был вдохновлен Stack Overflow exchange. Решение ниже специализировано на вопросе оригинального плаката выше.

в одном блоке компиляции (REPL :paste или скомпилированный JAR), include scala-reflect как зависимость и скомпилируйте следующее (протестировано в Scala 2.11, может работа в Scala 2.10):

import scala.language.experimental.macros 
import scala.reflect.macros.blackbox.Context

object CaseClassFieldsExtractor {
  implicit def makeExtractor[T]: CaseClassFieldsExtractor[T] =
    macro makeExtractorImpl[T]

  def makeExtractorImpl[T: c.WeakTypeTag](c: Context):
                              c.Expr[CaseClassFieldsExtractor[T]] = {
    import c.universe._
    val tpe = weakTypeOf[T]

    val fields = tpe.decls.collectFirst {
      case m: MethodSymbol if (m.isPrimaryConstructor) => m
    }.get.paramLists.head

    val extractParams = fields.map { field =>
      val name = field.asTerm.name
      val fieldName = name.decodedName.toString
      val NullaryMethodType(fieldType) = tpe.decl(name).typeSignature

      q"$fieldName -> ${fieldType.toString}"
    }

    c.Expr[CaseClassFieldsExtractor[T]](q"""
      new CaseClassFieldsExtractor[$tpe] {
        def get = Map(..$extractParams)
      }
    """)
  }
}

trait CaseClassFieldsExtractor[T] {
  def get: Map[String, String]
}

def caseClassFields[T : CaseClassFieldsExtractor] =
  implicitly[CaseClassFieldsExtractor[T]].get

и в другом блоке компиляции (следующая строка в REPL или код, скомпилированный с предыдущим как зависимость), используйте его следующим образом:

scala> case class Something(x: Int, y: Double, z: String)
defined class Something

scala> caseClassFields[Something]
res0: Map[String,String] = Map(x -> Int, y -> Double, z -> String)

это кажется излишним, но я не смог сделать его короче. Вот что он делает:

1. на caseClassFields функция создает промежуточное CaseClassFieldsExtractor который неявно возникает, сообщает о своих выводах и исчезает.
2. на CaseClassFieldsExtractor - признак с сопутствующим объектом, который определяет анонимный конкретный подкласс этого признака, используя макрос. Это макрос, который может проверять поля вашего класса case, потому что он имеет богатую информацию уровня компилятора о классе case.
3. на CaseClassFieldsExtractor и его сопутствующий объект должен быть объявлен в предыдущем блоке компиляции тому, который проверяет ваш класс case, чтобы макрос существовал в то время, когда вы хотите использовать он.
4. данные типа вашего класса case передаются через WeakTypeTag. Это оценивает структуру Scala с большим количеством сопоставления шаблонов и никакой документации, которую я мог бы найти.
5. мы снова предполагаем, что есть только один ("первичный"?) конструктор, но я думаю, что все классы, определенные в Scala могут иметь только один конструктор. Поскольку этот метод рассматривает поля конструктора, а не все поля JVM в классе, поэтому он не подвержен отсутствию общности, которая испортил мое предыдущее решение.
6. он использует quasiquotes для создания анонимного, конкретного подкласса CaseClassFieldsExtractor.
7. все, что "неявный" бизнес позволяет макросу быть определенным и завернутым в вызов функции (caseClassFields) без вызова слишком рано, когда он еще не определен.

любые комментарии, которые могли бы уточнить это решение или объяснить, как именно "неявные преобразования" делать то, что они делают (или если они могут быть удалены) приветствуются.