Question

我想知道是否可以使用scala宏完成此操作

考虑这种方法：

def doSomething(filter: Item => Boolean) = ...

class Item(properties: Map[String, String]) extends Dynamic {
  def selectDynamic(name:String): String = {
    properties.getOrElse(name, "")
  }
  def updateDynamic(name: String)(value: String): Unit = {
    addProperty(name, value)
  }
}

这个用法

doSomething(x=> x.foo == "X" && x.bar  == "Y" || x.baz.nonEmpty)

我想做的就是简化它（我为那些并不真正使用scala的人编写DSL）：

doSomething(foo == "X" && bar  == "Y" || baz.nonEmpty)

我的假设是，即使使用Scala宏，这可能是不可能的，或者是它？

如果是这样，我从哪里开始？我认为这不是一个简单的宏......

Answer 1

你必须引入标识符。

在他最丑陋的代码和最Metaplasm的双关语中，Travis Brown将其称为"Potemkin val-age"。宏引入了语法机制，它在使用（或滥用）之前导入。

如果您的属性名称只是任意数据，Potemkin定义可能不适合您的用例。

也许是这样的东西来收集语法，然后宏可以对它进行操作（而不是这里的快速转换）。

case object is

object when extends Dynamic {
  def applyDynamic(f: String)(op: Any) = new P(f, op)
}

case class P(f: String, op: Any) extends Dynamic {
  def applyDynamic(op: String)(value: String) = Q(this, op, value)
}
case class Q(p: P, op: String, value: String)

object Test extends App {
  implicit def `Q to filter`(q: Q): Item => Boolean = (i: Item) => (q.p.op, q.op) match {
    case (is, "equal") => i.properties.get(q.p.f) map (_ == q.value) getOrElse false
    case _  => false
  }
  val items = List (
    Item(Map("foo" -> "X", "bar" -> "Y")),
    Item(Map("this" -> "that")),
    Item(Map("baz" -> "more"))
  )
  def doSomething(filter: Item => Boolean) = Console println (items filter filter)

  doSomething(when foo is equal "X")
}

在我今天早些时候看到这个之前，我没有给动态一个想法：https://stackoverflow.com/a/16256935/1296806

可以用Scala宏完成吗？

1 个答案: