scala - 如何在 Scala 宏中获取更高级类型参数的树

我正在尝试编写一个宏来简化一些与 monad 相关的代码(我使用cats 1.6.0 作为Monads)。现在我只想能够编写 lift[F](a) ，其中 F 是一元类型构造函数，并将其扩展为 a.pure[F] 。看起来很简单，但我无法让它工作。

现在我有这个代码来帮助类型推断:

object Macros {
  class LiftPartiallyApplied[F[_]] {
    def apply[A](a: A): F[A] = macro MacroImpl.liftImpl[F, A]
  }

  def lift[F[_]] = new LiftPartiallyApplied[F]
}

对于宏的实际实现:

object MacroImpl {
  def liftImpl[F[_], A](c: blackbox.Context)(a: c.Tree)(implicit tt: c.WeakTypeTag[F[_]]): c.Tree = {
    import c.universe._
    q"$a.pure[${tt.tpe.typeConstructor}]"
  }
}

现在我可以像这样调用宏 lift[List](42) ，它会扩展为 42.pure[List] ，太好了。但是当我用更复杂的类型调用它时，比如 lift[({type F[A] = Either[String, A]})#F](42) ，它会扩展为 42.pure[Either] ，这显然是坏的，因为 Either 是一个二进制类型的构造函数而不是一元类型的构造函数。问题是我只是不知道该放什么而不是 ${tt.tpe.typeConstructor} ......

//编辑:由于人们显然无法重现该问题，因此我制作了一个完整的存储库:
https://github.com/mberndt123/macro-experiment
我现在将尝试弄清楚 Dmytro 和我自己的项目之间的区别是什么。

最佳答案

不要将 Main 和 Macros 放在同一个编译单元。



无法重现。

对我来说 lift[List](42) 产生(使用 scalacOptions += "-Ymacro-debug-lite" )

Warning:scalac: 42.pure[List]
TypeApply(Select(Literal(Constant(42)), TermName("pure")), List(TypeTree()))

在编译时和 List(42) 在运行时。
lift[({ type F[A] = Either[String, A] })#F](42) 产生

Warning:scalac: 42.pure[[A]scala.util.Either[String,A]]
TypeApply(Select(Literal(Constant(42)), TermName("pure")), List(TypeTree()))

在编译时和 Right(42) 在运行时。

这是我的项目 https://gist.github.com/DmytroMitin/334c230a4f2f1fd3fe9e7e5a3bb10df5

为什么需要宏？为什么不能写

import cats.Applicative
import cats.syntax.applicative._

class LiftPartiallyApplied[F[_]: Applicative] {
  def apply[A](a: A): F[A] = a.pure[F]
}

def lift[F[_]: Applicative] = new LiftPartiallyApplied[F]

?

关于scala - 如何在 Scala 宏中获取更高级类型参数的树，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/56414237/