スカラでの関数のリテラルとの一致

Question

この質問は、私のprevious questionと同じです（different contextで遭遇した問題です）。

私はquasiquotesなしでかなり簡単に関数リテラルのパターンマッチをすることができます。このように動作します

import scala.reflect.macros.Context 
import scala.language.experimental.macros 

object QQExample { 
    def funcDemo(f: Int => String) = macro funcDemo_impl 
    def funcDemo_impl(c: Context)(f: c.Expr[Int => String]) = { 
    import c.universe._ 

    f.tree match { 
     case Function(ps, body) => List(ps, body) foreach println 
     case _ => c.abort(
     c.enclosingPosition, 
     "Must provide a function literal." 
    ) 
    } 

    c.literalUnit 
    } 
} 

：

scala> QQExample.funcDemo((a: Int) => a.toString) 
List(val a: Int = _) 
a.toString() 

は今、私は試合の同じ種類を行うためにquasiquotesを使用するとしますより柔軟に。次は、その関数にもマッチし、私たちが期待しているものを出力します。

case q"($x: $t) => $body" => List(x, t, body) foreach println 

しかし、私はパターンでタイプを指定したい場合は、それが一致しません：

case q"($x: Int) => $body" => List(x, body) foreach println 

そして、次のどれをも、コンパイル：

case q"$p => $body"  => List(p, body) foreach println 
case q"($p) => $body" => List(p, body) foreach println 
case q"..$ps => $body" => List(ps, body) foreach println 
case q"(..$ps) => $body" => List(ps, body) foreach println 

はそれが可能です関数リテラルをクォーコクツトと照合するときにパラメータの型を指定するか、未知数のパラメータを照合するか？

Answer 1

2.10の最新の楽園プラグインで

とバニラ2.11で、あなたはそれをこのように行うことができます。

val q"(..$args) => $body" = f.tree 

私はちょうどMacros.scalaを以下にparadise example projectでそれをテストしてみた：

import language.experimental.macros 
import scala.reflect.macros.Context 

object Macro { 
    def apply(f: Any): Any = macro impl 
    def impl(c: Context)(f: c.Expr[Any]) = { import c.universe._ 
    val q"(..$args) => $body" = f.tree 
    println(s"args = $args, body = $body") 
    c.Expr(q"()") 
    } 
} 

とTest.scalaを：

object Test extends App { 
    Macro((x: Int) => x + 1) 
} 

関数の木の扱いについては、corresponding chapter of quasiquote guideのquasiquotesを参照してください。