Come trasformare e applicare una funzione parziale usando Scala Macro?

Question

Voglio implementare una macro di Scala che prende una funzione parziale, esegue alcune trasformazioni sugli schemi della funzione e quindi la applica a un'espressione specifica.

Per fare ciò, ho iniziato con il codice seguente:

def myMatchImpl[A: c.WeakTypeTag, B: c.WeakTypeTag](c: Context)(expr: c.Expr[A])(patterns: c.Expr[PartialFunction[A, B]]): c.Expr[B] = { 
    import c.universe._ 

    /* 
    * Deconstruct the partial function and select the relevant case definitions. 
    * 
    * A partial, anonymus function will be translated into a new class of the following form: 
    * 
    * { @SerialVersionUID(0) final <synthetic> class $anonfun extends scala.runtime.AbstractPartialFunction[A,B] with Serializable { 
    * 
    *  def <init>(): anonymous class $anonfun = ... 
    * 
    *  final override def applyOrElse[...](x1: ..., default: ...): ... = ... match { 
    *  case ... => ... 
    *  case (defaultCase$ @ _) => default.apply(x1) 
    *  } 
    * 
    *  def isDefined ... 
    * } 
    * new $anonfun() 
    * }: PartialFunction[A,B] 
    * 
    */ 
    val Typed(Block(List(ClassDef(a, b, x, Template(d, e, List(f, DefDef(g, h, i, j, k, Match(l, allCaseDefs)), m)))), n), o) = patterns.tree 

    /* Perform transformation on all cases */ 
    val transformedCaseDefs: List[CaseDef] = allCaseDefs map { 
    case caseDef => caseDef // This code will perform the desired transformations, now it's just identity 
    } 

    /* Construct anonymus partial function with transformed case patterns */ 
    val result = Typed(Block(List(ClassDef(a, b, x, Template(d, e, List(f, DefDef(g, h, i, j, k, Match(l, transformedCaseDefs)), m)))), n), o) 
    // println(show(result)) 

    c.Expr[B](q"$result($expr)") 
} 

I decostruire la funzione parziale, selezionare le definizioni dei casi della funzione applyOrElse, eseguire la trasformazione desiderata su ciascuna definizione, e rimettere tutto insieme . La macro viene invocata in questo modo:

def myMatch[A, B](expr: A)(patterns: PartialFunction[A, B]): B = macro myMatchImpl[A,B] 

Sfortunatamente, questo non funziona come previsto. Utilizzando la macro in un semplice esempio

def test(x: Option[Int]) = myMatch(x){ 
    case Some(n) => n 
    case None => 0 
} 

risultati del seguente messaggio di errore:

object creation impossible, since method isDefinedAt in trait PartialFunction of type (x: Option[Int])Boolean is not defined 

Questo è un po 'confusa, poiché la stampa dei rendimenti funzionali parziali generati

({ 
    final <synthetic> class $anonfun extends scala.runtime.AbstractPartialFunction[Option[Int],Int] with Serializable { 
    def <init>(): anonymous class $anonfun = { 
     $anonfun.super.<init>(); 
    () 
    }; 
    final override def applyOrElse[A1 <: Option[Int], B1 >: Int](x2: A1, default: A1 => B1): B1 = ((x2.asInstanceOf[Option[Int]]: Option[Int]): Option[Int] @unchecked) match { 
     case (x: Int)Some[Int]((n @ _)) => n 
     case scala.None => 0 
    }; 
    final def isDefinedAt(x2: Option[Int]): Boolean = ((x2.asInstanceOf[Option[Int]]: Option[Int]): Option[Int] @unchecked) match { 
     case (x: Int)Some[Int]((n @ _)) => true 
     case scala.None => true 
     case (defaultCase$ @ _) => false 
    } 
    }; 
    new $anonfun() 
}: PartialFunction[Option[Int],Int]) 

che chiaramente definisce il metodo isDefinedAt.

Qualcuno ha un'idea, qual è il problema qui e come farlo correttamente?

Answer 1

La nuova API di riflessione fornisce una classe Transformer che è specificamente progettato per aiutare con questo tipo di albero trasformazione:

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

def myMatchImpl[A: c.WeakTypeTag, B: c.WeakTypeTag](c: Context)(
    expr: c.Expr[A] 
)(
    patterns: c.Expr[PartialFunction[A, B]] 
): c.Expr[B] = { 
    import c.universe._ 

    val transformer = new Transformer { 
    override def transformCaseDefs(trees: List[CaseDef]) = trees.map { 
     case caseDef => caseDef 
    } 
    } 

    c.Expr[B](q"${transformer.transform(patterns.tree)}($expr)") 
} 

def myMatch[A, B](expr: A)(patterns: PartialFunction[A, B]): B = 
    macro myMatchImpl[A,B] 

def test(x: Option[Int]) = myMatch(x) { 
    case Some(n) => n 
    case None => 0 
} 

potrebbero aver bisogno di macchinari aggiuntivi per assicurarsi che la trasformazione viene applicata solo per il caso liste a cui vuoi che venga applicato, ma in generale questo approccio sarà più robusto rispetto alla trasformazione manuale dell'albero.

Sono ancora curioso di sapere perché la tua versione non funziona, però, e se hai tempo potrebbe valere la pena di mettere insieme un esempio ridotto per un'altra domanda qui.