从宏扩展中的前缀重新安装类型参数

Question

以下内容应显示问题：

class Container[A](val xs: List[A]) {
  def foo(fun: A => A)(implicit ord: Ordering[A]): List[A] =
    macro ContainerMacros.fooImpl // how to pass `xs`?
}
object ContainerMacros {
  def fooImpl(c: blackbox.Context)
             (fun: c.Expr[Nothing => Any])
             (ord: c.Expr[Ordering[_]]): c.Expr[List[Nothing]] = {
    import c.universe._
    reify {
      // val cont = c.prefix.splice.asInstanceOf[Container[_]]
      // cont.xs.map(fun.splice).sorted(ord.splice)
      ???
    }
  }
}

也就是说，似乎无法将A作为类型参数添加到fooImpl（如果我这样做，则编译器会抱怨）。因此，我必须删除它，但是然后问题是如何使reify中的事物以预期的方式工作，即如何重新引入缺失类型的参数A。

这是一个尝试：

def fooImpl(c: blackbox.Context)
           (fun: c.Expr[Nothing => Any])
           (ord: c.Expr[Ordering[_]]): c.Expr[List[Nothing]] = {
  import c.universe._
  reify {
    val ext   = c.prefix.splice.asInstanceOf[ExtensionTest[_]]
    import ext.{A1 => A}
    val extC  = ext       .asInstanceOf[ExtensionTest[A]]
    val funC  = fun.splice.asInstanceOf[A => A]
    val ordC  = ord.splice.asInstanceOf[Ordering[A]]
    val xs    = extC.xs.asInstanceOf[List[A]]   // computer says no
    xs.map(funC).sorted(ordC)
  }
}

xs.map(funC)与那些传奇的Scalac错误消息之一不使用：

Error:(27, 16) type mismatch;
 found   : _$2 => Any where type _$2
 required: Any => ?
        xs.map(funC).sorted(ordC)

Answer 1

回答实际上要归功于@edmundnoble通过scala gitter频道：

您可以在IMPH调用中添加类型参数，因此可以将A从Container传递到宏扩展：

class Container[A](val xs: List[A]) {
  def foo(fun: A => A)(implicit ord: Ordering[A]): List[A] =
    macro ContainerMacros.fooImpl[A]
}
object ContainerMacros {
  def fooImpl[A](c: blackbox.Context)
                (fun: c.Expr[A => A])
                (ord: c.Expr[Ordering[A]])
                (implicit t: c.WeakTypeTag[A]): c.Expr[List[A]] = {
    import c.universe._
    reify {
      val extC  = c.prefix.splice.asInstanceOf[Container[A]]
      val funC  = fun.splice
      val ordC  = ord.splice
      val xs    = extC.xs
      xs.map(funC).sorted(ordC)
    }
  }
}