add README file
This commit is contained in:
parent
cd3503551b
commit
65a5aed23a
2 changed files with 28 additions and 1 deletions
28
README.md
Normal file
28
README.md
Normal file
|
@ -0,0 +1,28 @@
|
|||
# Scala3 编译期代码生成探索
|
||||
|
||||
`Scala3` 新增的 `inline` 和 quoted Expression 的可以简化代码生成逻辑。
|
||||
|
||||
大部分场景不用在 `macro` 对 Ast 进行复杂模式匹配来分析代码。
|
||||
|
||||
|
||||
## 核心思路 使用 inline 和 `FromExpr` 代替大部分 parsing 工作
|
||||
|
||||
`FromExpr` 是 `scala3` 内置的 typeclass,用来获取编译期值 。
|
||||
|
||||
|
||||
```scala
|
||||
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` 在编译期获取到值
|
||||
|
||||
## Function parsing
|
||||
|
||||
`scala` 当前没有对函数进行模式匹配简单方法,所以还是只能通过解析 Ast 来实现,或者如 `slick` 那样通过操作符重载实现
|
|
@ -65,7 +65,6 @@ private def compileImpl(x: Expr[Dsl])(using Quotes): Expr[Option[String]] = {
|
|||
case Some(xv) => '{ Some(${ Expr(xv.ast.toString()) }) }
|
||||
case None => '{ None }
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
case class Foo(id: Long)
|
||||
|
|
Loading…
Reference in a new issue