Scala 3宏代码拆分：如何实现类型类派生模块分离？

核心思路 #

由于Scala 3的derives语法强制调用TypeClass.derived[T]，要实现运行时模块（仅含类型类）与宏模块（仅编译时依赖）的拆分，核心是让运行时模块的derived方法动态委派到宏模块的实现，同时不产生静态依赖。

具体实现步骤 #

1. 运行时模块定义类型类与委派逻辑

运行时模块仅保留类型类本身，derived方法通过手动构造AST的方式间接调用宏模块的派生逻辑，完全不静态依赖宏模块：

// 运行时模块代码（无宏模块依赖）
import scala.quoted.*

trait TypeClass[T]:
  // 定义类型类核心方法，示例：
  def encode(value: T): String

object TypeClass:
  // 对外暴露的derived方法，绑定到宏实现
  inline def derived[T]: TypeClass[T] = ${ derivedImpl[T] }

  // 内部宏实现，手动构造调用宏模块的AST
  private def derivedImpl[T: Type](using Quotes): Expr[TypeClass[T]] =
    // 用全限定名指定宏模块的派生方法，避免静态依赖
    '{ com.example.macros.DerivationMacros.derive[T] }

2. 宏模块实现真正的派生逻辑

宏模块单独存放所有复杂的宏代码，仅在编译时被依赖：

// 宏模块代码（仅编译时需要）
import scala.quoted.*
import com.example.runtime.TypeClass

object DerivationMacros:
  // 实现类型类实例的宏派生逻辑
  def derive[T: Type](using Quotes): Expr[TypeClass[T]] =
    import quotes.reflect.*
    val tpe = TypeRepr.of[T]
    tpe match
      case caseClass: TypeRef if caseClass.typeSymbol.isCaseClass =>
        // 生成case class对应的TypeClass实例Expr
        '{
          new TypeClass[T]:
            override def encode(value: T): String =
              s"CaseClass(${value.productIterator.mkString(",")})"
        }
      case _ =>
        report.errorAndAbort(s"Type ${tpe.show} is not a case class, cannot derive TypeClass")

按名称查找术语/类型的方法 #

如果需要在宏代码中动态查找全限定名对应的符号（避免硬编码），可以使用Scala 3反射API的Symbol.requiredMethod或Symbol.requiredClass：

// 在Quotes上下文中按全限定名查找方法
val deriveMethod = quotes.reflect.Symbol.requiredMethod("com.example.macros.DerivationMacros.derive")

// 构造对该方法的调用
val tpe = TypeTree.of[T]
val call = Apply(Select(Ident(deriveMethod.owner), deriveMethod), List(tpe))
Expr.unapply(call.asExpr).get.asInstanceOf[Expr[TypeClass[T]]]

依赖配置注意事项 #

• 构建工具（如sbt）中，宏模块需设置为compileOnly或provided scope，确保运行时不包含宏模块代码。
• 编译时需确保宏模块在classpath中，否则编译器会找不到委派的宏方法。

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