scala – 使用宏转换树后重新建立类型一致性的最佳方法是什么

def testMacro[T](x: T): Option[T] = macro testMacroImpl[T]

def testMacroImpl[T: c.WeakTypeTag](c: Context)(x: c.Expr[T]): c.Expr[Option[T]] = {
    import c.universe._
    val newTree = x.tree match {
      case Block(List(first),second) => {
        val newFirst = first match {
          case ValDef(mods,name,_,rhs) => ValDef(mods,EmptyTree,q"Some($rhs)")
        }
        Block(List(newFirst),second)
      }
    }
    c.Expr[Option[T]](newTree)
  }

基本上,这应该改变这个：

testMacro {
    val aa = "hello"
    aa
}

成

{
    val aa = Some("hello")
    aa
}

但是,它失败并出现以下错误：

[error]  found   : String
[error]  required: Option[String]
[error]     val f = IdiomBracket.testMacro{
[error]   
                                          ^

我的调查表明,这是因为它接收到一个类型为树的标识符aa的类型树.由于代码转换,它现在是Option [String]类型,但标识符的类型尚未更新.我尝试创建一个新的(无类型)标识符,这只会产生错误：

[error]  found   : <notype>
[error]  required: Option[String]
[error]     val f = IdiomBracket.testMacro{
[error]                                   ^

我已经尝试在发送之前对树进行类型检查,希望这样可以填写正确的类型,但这似乎没有任何效果.

作为参考,这里是创建一个新的Ident并执行类型检查的相同的宏,但遗憾的是它仍然不起作用.

def testMacroImpl[T: c.WeakTypeTag](c: Context)(x: c.Expr[T]): c.Expr[Option[T]] = {
    import c.universe._
    val newTree = x.tree match {
      case Block(List(first),q"Some($rhs)")
        }
        val newSecond = second match {
          case ident: Ident => Ident(ident.name)
        }
        Block(List(newFirst),newSecond)
      }
    }
    c.Expr[Option[T]](c.typecheck(newTree))
  }