Scala3如何用宏实现运行时保留泛型 替代已移除的TypeTag

问题核心原因 #

实现存在两个核心错误直接导致编译失败：

1. 宏语法误用：'{ classOf[${t}] } 写法不符合Scala3宏的语法规则。${} 在quote块内只能拼接Expr类型的表达式，而代码中传入的t是Type[T]类型的类型标识，不能直接作为classOf的类型参数。
2. 缺少类型校验：classOf 仅支持接收具体的类类型作为参数，需要先校验传入的泛型T是合法的类类型，才能构造对应的classOf表达式。

修正方案 #

方案1：直接使用标准库ClassTag（推荐）

如果仅需要获取泛型对应的Class对象，完全不需要自行实现宏，Scala3标准库自带的ClassTag已经实现了该能力，代码更简洁稳定：

import scala.reflect.ClassTag

class TypedBox[T](using ClassTag[T]) {
  val staticClass: Class[T] = summon[ClassTag[T]].runtimeClass.asInstanceOf[Class[T]]
}

// 测试代码
object Test {
  def main(args: Array[String]): Unit = {
    val stringBox = TypedBox[String]()
    println(stringBox.staticClass) // 输出 class java.lang.String
  }
}

方案2：修正宏实现

如果确实需要通过宏扩展更复杂的类型保留逻辑，修正后的代码如下：
首先是宏实现代码（需要放在单独的宏模块编译，或开启编译参数-Yallow-macro-definition）：

import scala.quoted.*

object TestMacroImpl {
  def getClassImpl[T: Type](using Quotes): Expr[Class[T]] = {
    import quotes.reflect.*
    val tpe = TypeRepr.of[T]
    // 校验T是否为合法的类类型
    tpe.classSymbol match
      case Some(sym) if sym.isClass =>
        // 构造classOf表达式
        val classExpr = Expr(Class.forName(sym.fullName))
        '{ $classExpr.asInstanceOf[Class[T]] }
      case _ =>
        report.error(s"类型 ${Type.show[T]} 不是合法类类型，无法获取对应Class")
        ???
  }
}

然后是调用侧代码：

object TypedBox {
  inline def getStaticClass[T]: Class[T] = ${ TestMacroImpl.getClassImpl[T] }
}

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

测试代码与原有代码一致，运行后会输出class java.lang.String。

注意事项 #

受JVM泛型擦除机制限制，以上两种方案对于带参数的泛型类型（比如List[String]），都只能拿到外层类的Class（即classOf[List]），无法保留内部泛型参数。如果需要完整保留全量类型信息，可自行构造类型元数据结构存储，或直接使用社区成熟的类型反射库。

内容的提问来源于stack exchange，提问作者mad-scientist