Тип производного класса, доступ к значениям по умолчанию

Question

Есть ли чистый способ получить доступ к значениям по умолчанию полей класса дела при выполнении наследования класса типа в Scala 3 с использованием зеркал? Например:

      case class Foo(s: String = "bar", i: Int, d: Double = Math.PI)

Mirror.Product.MirroredElemLabels будет установлен на ("s", "i", "d"). Есть что-нибудь вроде: (Some["bar"], None, Some[3.141592653589793])?

Если нет, можно ли этого добиться с помощью макросов? Могу ли я использовать зеркала и макросы одновременно для создания экземпляра класса типа?

Answer 1

Вам нужно будет написать макрос, работающий с такими методами, как <init>$default$1, <init>$default$2, ... в сопутствующем объекте

      import scala.quoted.*

inline def printDefaults[T]: Unit = ${printDefaultsImpl[T]}

def printDefaultsImpl[T](using Quotes, Type[T]): Expr[Unit] = {
  import quotes.reflect.*

  (1 to 3).map(i =>
    TypeRepr.of[T].typeSymbol
      .companionClass
      .declaredMethod(s"$$lessinit$$greater$$default$$$i")
      .headOption
      .flatMap(_.tree.asInstanceOf[DefDef].rhs)
  ).foreach(println)

 '{()}
}

printDefaults[Foo]
//Some(Literal(Constant(bar)))
//None
//Some(Select(Ident(Math),PI))

Зеркала и макросы могут работать вместе:

      import scala.quoted.*
import scala.deriving.*

trait Default[T] {
  type Out <: Tuple
  def defaults: Out
}

object Default {
  transparent inline given mkDefault[T](using 
    m: Mirror.ProductOf[T], 
    s: ValueOf[Tuple.Size[m.MirroredElemTypes]]
  ): Default[T] =
    new Default[T] {
      type Out = Tuple.Map[m.MirroredElemTypes, Option]
      def defaults = getDefaults[T](s.value).asInstanceOf[Out]
    }

  inline def getDefaults[T](inline s: Int): Tuple = ${getDefaultsImpl[T]('s)}

  def getDefaultsImpl[T](s: Expr[Int])(using Quotes, Type[T]): Expr[Tuple] = {
    import quotes.reflect.*

    val n = s.asTerm.underlying.asInstanceOf[Literal].constant.value.asInstanceOf[Int]

    val terms: List[Option[Term]] =
      (1 to n).toList.map(i =>
        TypeRepr.of[T].typeSymbol
          .companionClass
          .declaredMethod(s"$$lessinit$$greater$$default$$$i")
          .headOption
          .flatMap(_.tree.asInstanceOf[DefDef].rhs)
      )

    def exprOfOption[T](oet: Option[Expr[T]])(using Type[T], Quotes): Expr[Option[T]] = oet match {
      case None => Expr(None)
      case Some(et) => '{Some($et)}
    }

    val exprs: List[Option[Expr[Any]]] = terms.map(_.map(_.asExprOf[Any]))
    val exprs1: List[Expr[Option[Any]]] = exprs.map(exprOfOption)
    Expr.ofTupleFromSeq(exprs1)
  }
}

Применение:

      val d = summon[Default[Foo]]
summon[d.Out =:= (Option[String], Option[Int], Option[Double])] // compiles
d.defaults // (Some(bar),None,Some(3.141592653589793))

Answer 2

Как предполагает Дмитрий, информация передается в методах объекта-компаньона класса. Однако, Quotesне рекомендует обращаться к дереву символов в макросе:https://github.com/lampepfl/dotty/blob/main/library/src/scala/quoted/Quotes.scala#L3628. Дерево символов теряется, если программа не скомпилирована с -Yretain-trees)

Лучше пусть макрос оценивает <init>default$x, а не копировать правую часть его определения.

Это можно сделать, выразив termsв качестве :

          val terms: List[Option[Term]] =
      (1 to n).toList.map(i =>
        TypeRepr.of[T].typeSymbol
          .companionClass
          .declaredMethod(s"$$lessinit$$greater$$default$$$i")
          .headOption
          .map(Select(Ref(TypeRepr.of[T].typeSymbol.companionModule),_))
      )