Scala 3 宏 - 在运行时保留泛型

Question

我正在寻找在 Scala3 运行时保留泛型类型的选项。在 Scala2 中有一个用于此的 TypeTag，但是，现在它已被删除，建议的选项是使用宏 (https://contributors.scala-lang.org/t/scala-3-and-reflection/3627)。

但是，该文档有些含糊...

这就是我想要做的：

这是一个宏实现：

object TestMacroImpl {
  def getClassImpl[T](using Quotes)(using t: Type[T]): Expr[Class[T]] = '{
    classOf[${t}]
  }
}

这是一个宏：

import macros.TestMacro.getClassMacro

class TypedBox[T] {
  val staticClass: Class[T] = TypedBox.getStaticClass[T]
}

object TypedBox {
  inline def getStaticClass[T] = ${ getClassMacro[T] }
}

测试：

object Test {
  def main(args: Array[String]): Unit = {
    val stringBox = TypedBox[String]()
    println(stringBox.staticClass)
  }
}

我设想将此问题解决为 val staticClass = classOf[String]

但这不能编译，我得到：

/workspace/macros-test/src/main/scala/macros/TestMacro.scala:7:13
t.Underlying is not a class type
    classOf[${t}]

我错过了什么？

Answer 1

不太确定为什么，但我认为您不能可靠地从宏中得到 Expr[Class[T]]（据我了解，可能是 Class 在宏执行时间）。

此外，Class[T] 不保留参数化类型：例如 classOf[Map [String, String]] = classOf[Map[Int, Int]]。

如果您不关心它们，我会使用 ClassTag 而不是 TypeTag，它在 Scala 3 中仍然可用。而且不需要宏。

顺便说一下，在宏中，您可以编写如下内容来获得 Expr[ClassTag[T]]:

private def getClassTag[T](using Type[T], Quotes): Expr[ClassTag[T]] = {
    import quotes.reflect._

    Expr.summon[ClassTag[T]] match {
      case Some(ct) =>
        ct
      case None =>
        report.error(
          s"Unable to find a ClassTag for type ${Type.show[T]}",
          Position.ofMacroExpansion
        )
        throw new Exception("Error when applying macro")
    }

  }

最后，您可能会在 https://github.com/gaeljw/typetrees/blob/main/src/main/scala/io/github/gaeljw/typetrees/TypeTreeTagMacros.scala#L8 找到一些有用的东西（免责声明：我为个人项目写的）。

Scala 3 宏 - 在运行时保留泛型

Scala 3 Macro - Retain a generic type in runtime

scala

scala-macros

scala-3