scala – 宏,拼接和模式匹配

发布时间：2020-12-16 18:48:18 所属栏目：安全来源：网络整理

导读：有没有办法在模式匹配中使用宏的参数？我想这样做： def extr(X:AnyRef) = macro extrImpldef 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 {

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

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决赛中不可能),但我们在工作中有一些可能有助于后续点发布的东西:)

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!