Scala宏是否有可能約束方法的類型？

Question

基本上，我在想象以下內容。

trait A[T] {
  def get(idx: Int): U
}

使用宏。 理想情況下，我希望能夠將get（0），get（1）用作可知道正確返回類型的宏。 這可能嗎？

Answer 1

是。 只需將返回類型指定為Any ，然后將宏設置為白盒（ http://docs.scala-lang.org/overviews/macros/blackbox-whitebox.html#blackbox_and_whitebox_macros ）。 白盒宏擴展假定其實際類型，而不是宏定義的聲明類型。