scala – 编写生成语句的宏

发布时间:2020-10-21 发布网站:编程之家
编程之家收集整理的这篇文章主要介绍了scala – 编写生成语句的宏编程之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
为了在派生特定类型类的实例时减少最终用户的样板(让我们以Showable为例),我的目标是编写一个宏,它将自动生成实例名称.例如.:

// calling this:
Showable.derive[Int]
Showable.derive[String]
// should expand to this:
// implicit val derivedShowableInstance0 = new Showable[Int] { ... }
// implicit val derivedShowableInstance1 = new Showable[String] { ... }

我试图通过以下方式解决问题,但编译器抱怨表达式应返回<没有类型>而不是单位:

object Showable {

  def derive[a] = macro Macros.derive[a]

  object Macros {
    private var instanceNameIndex = 0

    def derive[ a : c.WeakTypeTag ]( c : Context ) = {

      import c.universe._
      import Flag._

      val newInstanceDeclaration = ...

      c.Expr[Unit](
        ValDef(
          Modifiers(IMPLICIT),newTermName("derivedShowableInstance" + nameIndex),TypeTree(),newInstanceDeclaration
        )
      )

    }
  }
}

我得到一个val声明并不完全是一个表达式,因此Unit可能不合适,但是如何使它正确?
这是可能吗?如果不是那么为什么,它会是,是否有任何变通方法?

解决方法

恩,那就对了.声明/定义不是表达式,因此需要将它们包装到单元返回块中以成为一个.通常Scala会自动执行此操作,但在这种特殊情况下,您需要自己执行此操作.

但是,如果将一个定义包装在一个块中,那么它将从外部变得不可见.这是当前宏系统的限制,严格遵循“宏应用与类型函数调用非常类似”的比喻.函数调用不会将新成员纳入范围,因此def宏也不会 – 出于技术和哲学原因.如我最近的“What Are Macros Good For?”中的示例#3所示.谈话,通过使用结构类型def宏可以解决这个限制,但这看起来并不特别与你的问题有关,所以我将省略细节.

另一方面,有一些想法如何克服这种限制与新的宏味.宏注释显示宏引擎在新成员创建中的技术可行性,但我们希望在将它们引入主干之前获得更多宏注释经验.关于这方面的一些细节可以在我的“Scala Macros哲学”演讲中找到.这在你的情况下很有用,但我仍然不会详细介绍,因为我觉得这个特殊情况有一个更好的解决方案(尽管可以在评论中请求详细说明!).

我想推荐你的是使用http://docs.scala-lang.org/overviews/macros/implicits.html中描述的实现.通过实现宏,你可以自动为用户生成类型类实例,而无需用户编写任何代码.这适合你的用例吗?

总结

以上是编程之家为你收集整理的scala – 编写生成语句的宏全部内容,希望文章能够帮你解决scala – 编写生成语句的宏所遇到的程序开发问题。

如果觉得编程之家网站内容还不错,欢迎将编程之家网站推荐给程序员好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您喜欢交流学习经验,点击链接加入编程之家官方QQ群:1065694478
编程之家官方公众号

微信公众号搜索 “ 程序精选 ” ,选择关注!

微信公众号搜索 “ 程序精选 ”
精选程序员所需精品干货内容!