有没有办法在模式匹配中使用宏的参数？我想这样做：
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
但当然,这也不适用于拼接.
解决方法
不幸的是,它现在不可能(并且在2.10.0决赛中不可能),但我们在工作中有一些可能有助于后续点发布的东西:)
