如何在Scala 3宏中创建带参数化名称和值的lazy val？

在Scala 2里用quasiquotes创建局部lazy val很简单：

q"lazy val $name = $value"

但手动给Symbol.newVal加Flags.Lazy在Scala 3.3.6里会触发前向引用错误，这是因为Scala 3对符号作用域和初始化逻辑的处理和Scala 2不同，下面给两个可行的解决办法：

方案1：用Quasiquotes（推荐） #

Scala 3依然支持quasiquotes，这种方式和Scala 2用法几乎一致，编译器会自动处理符号绑定和初始化逻辑，完全避免前向引用问题。示例代码：

import scala.quoted.*

def createLocalLazyVal[T](name: String, value: Expr[T])(using Quotes): Expr[Unit] = {
  import quotes.reflect.*
  val nameTerm = Term(name)
  val lazyValDef = q"lazy val $nameTerm = $value"
  Expr.block(List(lazyValDef), Expr.unit)
}

方案2：手动构建Tree（底层实现） #

如果必须手动操作符号和语法树，需要给符号加上Flags.Local标志，同时确保值的owner正确切换，示例代码：

import scala.quoted.*

def createLocalLazyValManual[T](name: String, value: Expr[T])(using Quotes): Expr[Unit] = {
  import quotes.reflect.*
  val owner = Symbol.spliceOwner
  val tpe = TypeRepr.of[T]
  
  // 创建带Lazy和Local标志的val符号
  val lazyValSymbol = Symbol.newVal(
    owner,
    name,
    tpe,
    Flags.Lazy | Flags.Local,
    Symbol.noSymbol
  )
  
  // 切换value的owner到新创建的符号
  val valueTerm = value.asTerm.changeOwner(lazyValSymbol)
  val lazyValDef = ValDef(lazyValSymbol, Some(valueTerm))
  
  Expr.block(List(lazyValDef), Expr.unit)
}

手动实现要注意Scala 3对局部lazy val的符号要求，漏掉Flags.Local或者owner切换错误都会触发前向引用问题，所以更推荐用quasiquotes的方式。

错误原因说明 #

你之前的代码只加了Flags.Lazy，但Scala 3需要明确标记这是局部lazy val，同时编译器无法识别手动构建的ValDef是延迟初始化的逻辑，会认为值定义中引用了未完成定义的变量，从而抛出前向引用错误。

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