Scala 2及3中能否通过宏等特性实现子类抽象类型的重具体化？

核心问题本质 #

Scala 2中宏的求值时机被固化在定义点：TypeTag[this.type]依赖的内置隐式宏仅在BB trait定义时执行一次，绑定到BB.this.type的类型信息，子类继承时不会重新触发宏求值，因此丢失了子类的实际类型信息。

最小修改成本适配方案（无运行时开销、无额外隐式依赖） #

可直接通过自定义编译期宏实现调用点的类型解析，完全规避内置隐式宏的固化问题：

Scala 2 兼容实现 #

1. 仅修改原有BB trait的ttag定义，替换为宏引用：

   import scala.language.experimental.macros
   trait BB {
     def ttag: TypeTag[this.type] = MacroDefs.thisTypeTagImpl
   }
   case class AA() extends BB
   

2. 编写对应宏实现，逻辑为直接提取调用点this的静态类型生成TypeTag，全程编译期执行无运行时开销：

   import scala.reflect.macros.blackbox.Context
   object MacroDefs {
     def thisTypeTagImpl(c: Context): c.Tree = {
       import c.universe._
       // 提取当前调用点this的静态类型，而非trait定义时的this类型
       val actualType = c.prefix.tree.tpe
       q"scala.reflect.runtime.universe.typeTag[$actualType]"
     }
   }
   

3. 验证效果：调用kk.ttag时，宏会在AA实例的调用点触发求值，最终生成的TypeTag将直接绑定AA.this.type，原有业务逻辑不需要其他改动。

平滑迁移到Scala 3的方案 #

上述宏逻辑可以无缝替换为Scala 3的inline+quoted特性，原有API定义无需改动，迁移成本极低：

import scala.quoted.*
trait BB:
  inline def ttag: Type[this.type] = ${ thisTypeTagImpl('[this.type) }

  private def thisTypeTagImpl(t: Type[?])(using Quotes): Expr[Type[this.type]] =
    TypeExpr.of(t.unapplied).asExprOf[Type[this.type]]

Scala 3 inline/compiletime 特性的适配效果 #

预期的动态解析实际子类类型的能力，已经被Scala 3的inline特性原生支持：

• inline方法的求值时机为调用点编译期，完全解决了Scala 2宏仅在定义点执行一次的局限
• 不需要依赖隐式查找链，直接在调用点提取this的静态类型，全程无运行时开销
• 甚至不需要自定义宏，直接使用Scala 3原生语法即可实现目标，示例：

  trait BB:
    inline def ttag: Type[this.type] = scala.compiletime.constValue
  

  调用AA().ttag会直接返回绑定AA类型的Type实例，完全符合需求。

内容的提问来源于stack exchange，提问作者tribbloid