Блог

Главная - Вопросы по программированию - Печать типов зеркальных элементов в Scala 3

Печать типов зеркальных элементов в Scala 3

#scala #scala-macros #scala-3 #dotty #generic-derivation

#scala #scala-макросы #scala-3 #dotty #общий-деривация

Вопрос:

Я пытаюсь изменить этот стандартный пример для печати значений с типами. И я застрял p.MirroredElemTypes . Я не нашел ни одного API для обхода и упорядочивания типов.

Ответ №1:

Для проверки MirroredElemTypes вы можете просто вызвать

 import scala.deriving.Mirror

case class A(i: Int, s: String, b: Boolean)

val m = summon[Mirror.Of[A]]
summon[m.MirroredElemTypes =:= (Int, String, Boolean)] // compiles

Но если вы хотите распечатать MirroredElemTypes , вы можете сделать следующее.

По какой-то причине Typeable сейчас не работает, но в своем сообщении об ошибке он выводит тип

 // scalaVersion := "3.0.2"
// libraryDependencies  = "org.typelevel" %% "shapeless3-typeable" % "3.0.3"
import shapeless3.typeable.Typeable

summon[Typeable[m.MirroredElemTypes]].describe
// Typeable for sum type scala.*:[scala.Int, scala.*:[scala.Predef.String, scala.*:[scala.Boolean, scala.Tuple$package.EmptyTuple]]] with no Mirror

В качестве альтернативы вы можете написать простой макрос

 import scala.quoted.*

inline def describe[A]: String = ${describeImpl[A]}

def describeImpl[T: Type](using Quotes): Expr[String] = {
  import quotes.reflect.*
  Literal(StringConstant(TypeRepr.of[T].dealias.show)).asExprOf[String]
}

// in a different file
describe[m.MirroredElemTypes]
// scala.*:[scala.Int, scala.*:[scala.Predef.String, scala.*:[scala.Boolean, scala.Tuple$package.EmptyTuple]]]
Метки: