gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-04 14:49:30 32 4
gpt4 key购买 nike

我正在寻找在 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}]

我错过了什么?

最佳答案

不太清楚为什么,但我不认为你可以从宏中可靠地得到 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 宏 - 在运行时保留泛型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/69292402/

32 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com