Scala3 编译期代码生成探索

Scala3 新增的 inline 和 quoted Expression 的可以简化代码生成逻辑。

大部分场景不用在 macro 对 Ast 进行复杂模式匹配来分析代码。

核心思路 使用 inline 和 FromExpr 代替大部分 parsing 工作

FromExpr 是 scala3 内置的 typeclass，用来获取编译期值 。

inline def compile(inline x: Dsl): Option[String] = ${ compileImpl('x) }

private def compileImpl(x: Expr[Dsl])(using Quotes): Expr[Option[String]] = {
  import quotes.reflect.*
  x.value match {
    case Some(xv) => '{ Some(${ Expr(xv.ast.toString()) }) }
    case None     => '{ None }
  }
}

如上述代码所示，只要提供 FromExpr[Dsl] 就可以通过 x.value 在编译期获取到值

函数解析

scala 当前没有对函数进行模式匹配简单方法，所以还是只能通过解析 Ast 来实现，或者如 slick 那样通过操作符重载实现

待办事项

• 基础 Ast 及相关操作
• 验证 inline 和 FromExpr 是否生效
• 验证 lift / liftCaseClass 如何处理
• 验证 Insert/Update 实现
• DSL
  • Map
  • Filter/FlatMap/ConcatMap/Union
  • Join
  • GroupBy/Aggeration
• 函数解析
  • Ident
  • Property
  • BinaryOperation
  • UnaryOperation
  • CaseClass
  • Tuple