如何從Scala宏中使用Predef.implicitly？

Question

沒有與此簽名創建背後隱含參數的方法：

class A { 
    def test[T: ClassTag](t: T) = println(t) 
} 
val a = new A 
a.test(123456) 

所以隱含參數應提供方法test的召喚。當我做了具體化在REPL，呼叫樹是這個樣子：

Apply(
    Apply(
     Select(
      Select(
       newTermName("a"), 
       newTermName("test") 
      ), 
     List(
      Literal(Constant(123456))) // explicit method args 
     ), 
    List(
     Select(This(newTypeName("Predef")), 
     newTermName("implicitly"))) // implicit args 
    ) 
) 

我試圖讓使用宏實現此調用，但這不會編譯，給我：PREDEF不是一個封閉類。我嘗試了不同的事情，但沒有找到任何成功的例子。

所以問題是：如何爲使用宏的方法提供隱式參數？

Answer 1

手動AST操作可能會很棘手。試試Select(Ident(newTermName("scala")), newTermName("Predef"))而不是This(newTypeName("Predef"))。

甚至更​​好，考慮使用quasiquotes（http://docs.scala-lang.org/overviews/macros/quasiquotes.html）。有了它們，構成一個隱含的引用就變得如同scala.Predef.implicitly一樣簡單。