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频道：

您可以在impl调用中添加类型参数，因此可以将red circle red square red triangle blue circle blue square blue triangle从A传递到宏扩展：

Container

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

1 个答案: