scala宏生成隐含

发布时间：2020-12-16 18:08:24 所属栏目：安全来源：网络整理

导读：我试图通过宏生成一些暗示 – 宏的浓缩版本如下所示： object Implicits { def generate(c:Context):c.Expr[Unit]={ import c.universe._ c.Expr[Unit] { q""" object Dud{ implicit val p:java.io.File = new java.io.File("/tmp") def toString():String =

我试图通过宏生成一些暗示 – 宏的浓缩版本如下所示：

object Implicits {
  def generate(c:Context):c.Expr[Unit]={
    import c.universe._
    c.Expr[Unit] {
      q"""
           object Dud{
            implicit val p:java.io.File = new java.io.File("/tmp")
             def toString():String ={ "Dud here" }
          }
          import Dud._
      """
    }
  }
}

我正在使用宏：

object ImplicitTest extends App {
  def genImplicits = macro Implicits.generate
  genImplicits
  val f: File = implicitly[File]
  println(f)
}

测试挽救了抱怨

ImplicitTest.scala could not find implicit value for parameter e: java.io.File
[error]   val f: File = implicitly[File]
[error]                           ^

这个宏我做错了什么？

解决方法

对宏方法的调用将扩展为类似的内容(我通过在返回表达式之前打印表达式,以及在向toString定义添加覆盖之后生成此文本)：

{
  object Dud extends scala.AnyRef {
    def <init>() = {
      super.<init>();
      ()
    };
    implicit val p: java.io.File = new java.io.File("/tmp");
    override def toString(): String = "Dud here"
  };
  import Dud._;
  ()
}

请注意,这不会将任何内容带入ImplicitTest主体的范围. Dud对象和??导入都在一个块内,当你到达val f：File =隐式[File]行时,它们都不可用.

您可以编写一个implicit macro method,或者您可以编写一个可以应用于ImplicitTest的macro annotation,它可以添加Dud和导入,但是您不能使用def宏引入新对象或导入范围.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!