Scala 编写生成语句的宏
为了减少最终用户在派生某个typeclass的实例时使用的样板文件（以Scala 编写生成语句的宏,scala,scala-macros,Scala,Scala Macros,为了减少最终用户在派生某个typeclass的实例时使用的样板文件（以Showable为例），我打算编写一个宏，它将自动生成实例名称。例如： // calling this: Showable.derive[Int] Showable.derive[String] // should expand to this: // implicit val derivedShowableInstance0 = new Showable[Int] { ... } // implicit val derive
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
)
)
}
}
}
valUnit这有可能吗？如果不是的话，为什么会这样？有什么解决办法吗？是的，没错。声明/定义不是表达式，因此需要将它们包装到单元返回块中才能成为表达式。通常Scala会自动完成这项工作，但在这种特殊情况下，您需要自己完成 但是，如果将定义包装在块中，则它从外部将不可见。这就是当前宏系统的局限性，它严格遵循“宏应用程序非常类似于类型化函数调用”的比喻。函数调用不会将新成员引入作用域，因此def宏也不会引入作用域——无论是出于技术还是哲学原因。如我最近的“宏有什么用？”演讲中的示例3所示，通过使用结构类型def宏可以解决此限制，但这看起来与您的问题并不特别相关，因此我将省略细节 另一方面，有一些想法如何克服这一限制与新的宏观口味。宏注释表明，宏引擎在技术上可以钩住新成员的创建，但我们希望在将宏注释引入主干之前获得更多的宏注释经验。有关这方面的一些细节可以在我的“Scala宏哲学”演示中找到。这在您的情况下可能很有用，但我仍然不会详细介绍，因为我认为对于这个特定的案例有更好的解决方案（尽管可以在评论中要求详细说明！）
我想建议您使用中描述的物化。通过具体化宏，您可以自动为用户生成类型类实例，而无需用户编写任何代码。这是否适合您的用例？我认为这是不可能的（尽管我不确定）。作为一种解决方法，您可以创建一个宏注释，将隐式对象添加到对象中，而不仅仅是像这样从该对象导入字段：
@implicits（Showable.deriver[Int]，Showable.deriver[String]）object MyImplicits；导入MyImplicits.\u类型不匹配；找到：必需：单位…mvn compile