形質デフ方式

Question

上Scalameta Decl.Defない作品私はDEF宣言に使用Scalameta（v1.8.0）注釈です：

：このように、単に入力を返すように定義

trait MyTrait { 
    @MyDeclDef 
    def f2(): Int 
} 

のアノテーションクラス

import scala.meta._ 

class MyDeclDef extends scala.annotation.StaticAnnotation { 
    inline def apply(defn: Any): Any = meta { 
    defn match { 
     case defn: Decl.Def => 
     defn 
     case _ => 
     println(defn.structure) 
     abort("@MyDeclDef most annotate a Decl.Def") 
    } 
    } 
} 

いくつかのコンパイラエラーの出会い：

Error:'=' expected but eof found. 
def f2(): Unit 
Error:illegal start of simple expression 
def f2(): Unit 

以外にも、私はにDecl.Varを使用している場合それはうまく動作します。

形質に右の注釈を付ける方法def？ありがとう

Answer 1

私はscala-metaで動作しませんでしたし、あなたの例を試してみました。このメソッドをマクロに実装する必要があるようです。例えば、我々は、デフォルトの実装を指定した場合：

class MyDeclDef extends scala.annotation.StaticAnnotation { 
    inline def apply(defn: Any): Any = meta { 
    defn match { 
     case defn: Decl.Def => 
     val q"def $name(): $tpe" = defn 
     q"def $name(): $tpe = 1" 

我々は f2方法:)

val x = new MyTrait 
println(x.f2) // Prints 1 

var v2: Intの値をMyTraitのインスタンスを作成し、印刷することができます

があるため、正常に動作します case _に合っており、abortが編集されています。