scala - 宏、拼接和模式匹配

Question

有没有办法在模式匹配中使用宏的参数？我想这样做：

def extr(X:AnyRef) = macro extrImpl

def extrImpl(c:Context)(X:c.Expr[AnyRef]):c.Expr[AnyRef] = {
  import c.universe._

  val tree = reify {
    new {
      def unapply(x:String):Option[String] = x match {
        case X.splice => Some(x) //error
        case _ => None
      }
    }
  }.tree
  c.Expr(c.typeCheck(tree))
}

但不幸的是，编译器说“需要稳定的标识符，但找到了 X.splice”。通常，可以通过首先分配一个 val 来解决这个问题，例如：

val XX = X.splice

但当然，这也不适用于拼接。

Answer 1

不幸的是，现在不可能（并且在 2.10.0-final 中也不可能），但我们有一些工作可能会在后续版本中有所帮助:)