Scala宏中泛型类型的编译错误

Question

我正在尝试编写一个在需要时隐式实现Play Formatter实例的宏：

class FormattableImpl(override val c: whitebox.Context) extends Utils(c) {
    import c.universe._

    def materializeFormatImpl[T : c.WeakTypeTag]: c.Expr[play.api.libs.json.Format[T]] = {
        val tpe = implicitly[c.WeakTypeTag[T]].tpe
        val x = c.Expr[play.api.libs.json.Format[T]](q" com.ubookr.macros.Json.format[$tpe] ")
        println(show(x))
        x
    }
}

object Format {
    implicit def materializeFormat[T]: play.api.libs.json.Format[T] = macro FormattableImpl.materializeFormatImpl[T]
}

对于非参数类型（例如，

case class Apple(id: Long, name: String)
val x = materializeFormat[Apple]

）。

它也适用于收藏

val xx = materializeFormat[Seq[Apple]]

但是，当我尝试将其用于自己的参数化类型时，它将丢失类型参数的值：

case class Proxy[+T](id: Long, name: String)
val xxx = materializeFormat[Proxy[Apple]]

回应

[error] package.scala:112: type mismatch;
[error]  found   : play.api.libs.json.OFormat[com.ubookr.macros.Proxy[Nothing]]
[error]  required: play.api.libs.json.Format[com.ubookr.macros.Proxy[Apple]]
[error] Note: com.ubookr.macros.Proxy[Nothing] <: com.ubookr.macros.Proxy[Apple], but trait Format is invariant in type A.
[error] You may wish to define A as +A instead. (SLS 4.5)
[error]     val xxx: Any = com.ubookr.macros.Format.materializeFormat[Proxy[Apple]]
[error]

这是有道理的，因为WeakTypeTag不了解T。我的第一个问题是， 为什么Seq可以正确使用？

但是，我提出了我认为应该可行的解决方法：

def materializeProxy[T]: play.api.libs.json.Format[Proxy[T] = macro FormattableImpl.materializeProxyImpl[T]

materializeProxyImpl的实现在哪里

def materializeProxyImpl[T : c.WeakTypeTag]: c.Expr[play.api.libs.json.Format[Proxy[T]]] = materializeFormatImpl[Proxy[T]]

现在， materializeFormatImpl的println可以正确显示参数类型t的实际值：

Expr[play.api.libs.json.Format[com.ubookr.macros.Proxy[Apple]]](com.ubookr.macros.Json.format[com.ubookr.macros.Proxy[Apple]])

但在之后我仍然立即收到相同的错误：

[error] package.scala:112: type mismatch;
[error]  found   : play.api.libs.json.OFormat[com.ubookr.macros.Proxy[Nothing]]
[error]  required: play.api.libs.json.Format[com.ubookr.macros.Proxy[Apple]]
[error] Note: com.ubookr.macros.Proxy[Nothing] <: com.ubookr.macros.Proxy[Apple], but trait Format is invariant in type A.
[error] You may wish to define A as +A instead. (SLS 4.5)
[error]     val xxx: Any = Format.materializeProxy[Apple]
[error]

我尝试将materializeProxy和materializeProxyImpl的类型批注分别更改为Any和Tree ，但是语法错误仍然出现，这向我暗示在宏引擎内部某个地方发生类型不匹配。

难道我做错了什么？ 还是这是宏引擎中的错误？

Answer 1

似乎play json宏实现不希望使用通用案例类。 它正在输出

(
     (JsPath \ "id").format[Long] and
     (JsPath \ "name").format[String]
)(Proxy.apply, unlift(Proxy.unapply)

我修改了play宏，使其输出

(
     (JsPath \ "id").format[Long] and
     (JsPath \ "name").format[String]
)(Proxy.apply[Apple], unlift(Proxy.unapply[Apple])

现在它可以正常工作了。