5

scala 2.10 マクロ機能を試しています。ただし、場合によっては、LabelDefの使用に問題があります。コンパイラのコードをある程度のぞき見したり、Miguel Garcia の論文の抜粋を読んだりしましたが、まだ行き詰まっています。

私の理解が正しければ、疑似定義は次のようになります:
LabelDef(labelName, listOfParameters, stmsAndApply)3 つの引数は Trees であり、
-は定義されているラベル$LlabelNameの識別子です- $L(a1のように、label - applyが発生したときに渡される引数に対応します,...,an)、および空にすることができます -ステートメントのブロック(おそらくなし) に対応し、最後のapply -expression label-apply は多かれ少なかれラベルへの GOTO を意味します
listOfParameters
stmsAndApply

たとえば、単純なループの場合、LabelDef は最終的にそれ自体を適用できます。
LabelDef($L, (), {...; $L()})

ここで、互いにジャンプする 2 つの LabelDef を定義する場合:

...
LabelDef($L1, (), $L2())
...
LabelDef($L2, (), $L1())
...

2 番目の LabelDef は問題ありませんが、コンパイラは 1 番目に "not found: value $L2 " というエラーを出力します。これは、適用しようとしているときに$L2がまだ定義されていないためだと思います。これは構築中のツリーなので、私には意味があります。これまでの私の理解は正しいですか？エラーが予想されない場合、それは私のマクロ実装におそらくバグがあることを意味するためです。

とにかく、何らかの方法で$L1 から $L2 を適用する (つまり、$L2 にジャンプする) 方法が必要だと思いますが、その方法がわかりません。誰かがそれを行う例、またはポインタを持っていますか?


マクロでの LabelDef の使用に関するその他の不明確な点 (ただし、現在はそれほど懸念されていません) は次
のとおりです。つまり、パラメーターを使用したラベル適用のメカニズムは何ですか?
- 3 番目の引数の最終式に label-apply 以外のものを入れることは有効ですか? (試すことができないわけではありませんが、マクロはまだ実験
段階です) -LabelDef の外で転送ラベル適用を実行することは可能ですか? （これは冗長な質問かもしれません）

もちろん、答えの中のマクロの実装例は大歓迎です!
乾杯、

4

1 に答える 1

1

エラーが予想されない場合、それは私のマクロ実装におそらくバグがあることを意味するためです。
はい、バグだったようです (^^; Block/LabelDef の組み合わせによる制限が意図的に存在するかどうかはわかりませんが。

def EVIL_LABELS_MACRO = macro EVIL_LABELS_MACRO_impl
def EVIL_LABELS_MACRO_impl(c:Context):c.Expr[Unit] = { // fails to expand
  import c.universe._
  val lt1 = newTermName("$L1"); val lt2 = newTermName("$L2")
  val ld1 = LabelDef(lt1, Nil, Block(c.reify{println("$L1")}.tree, Apply(Ident(lt2), Nil)))
  val ld2 = LabelDef(lt2, Nil, Block(c.reify{println("$L2")}.tree, Apply(Ident(lt1), Nil)))
  c.Expr( Block(ld1, c.reify{println("ignored")}.tree, ld2) )
}

def FINE_LABELS_MACRO = macro FINE_LABELS_MACRO_impl
def FINE_LABELS_MACRO_impl(c:Context):c.Expr[Unit] = { // The End isn't near
  import c.universe._
  val lt1 = newTermName("$L1"); val lt2 = newTermName("$L2")
  val ld1 = LabelDef(lt1, Nil, Block(c.reify{println("$L1")}.tree, Apply(Ident(lt2), Nil)))
  val ld2 = LabelDef(lt2, Nil, Block(c.reify{println("$L2")}.tree, Apply(Ident(lt1), Nil)))
  c.Expr( Block(ld1, c.reify{println("ignored")}.tree, ld2, c.reify{println("The End")}.tree) )
}

ブロックは{ ステートメントに解析されると思います。したがって、最後の引数は式です。EVIL_LABELS_MACRO パターンなど、LabelDef が式に「該当する」場合、その展開はステートメントでは表示されません。したがって、エラー「見つかりません: 値$L2」。

したがって、すべての LabelDef がステートメントに「該当する」ことを確認することをお勧めします。FINE_LABELS_MACRO はそれを行い、次のように展開します。

{
  $L1(){
    scala.this.Predef.println("$L1");
    $L2()
  };
  scala.this.Predef.println("ignored");
  $L2(){
    scala.this.Predef.println("$L2");
    $L1()
  };
  scala.this.Predef.println("The End")
}
于 2012-07-29T12:02:17.937 に答える