Question

为了在派生特定类型类的实例时减少最终用户的样板（例如，让我们以Showable为例），我的目标是编写一个宏，它将自动生成实例名称。 E.g：

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

我试图通过以下方式解决问题，但编译器抱怨表达式应该返回< no type >而不是Unit：

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可能不合适，但是如何使它正确？这是可能吗？如果没有，那么为什么，它会是什么，是否有任何变通方法？

Answer 1

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

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

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

我建议您使用http://docs.scala-lang.org/overviews/macros/implicits.html中所述的实现方法。通过实现宏，您可以自动为用户生成类型类实例，而无需用户编写任何代码。这适合你的用例吗？

编写生成语句的宏

1 个答案: