泛型类的 scala 宏泛型字段不适用类泛型类型参数

Question

通用案例类

case class GroupResult[T](
  group: String,
  reduction: Seq[T]
)

宏方法

 def foo[T] = macro fooImpl[T]

 def fooImpl[T: c.WeakTypeTag](c: Context) = {
    import c.universe._
    val tpe = weakTypeOf[T]
     tpe.declarations.collect {
      case m: MethodSymbol if m.isCaseAccessor => println(m.returnType)
    }
    c.literalUnit
  }

当我调用 foo[GroupResult[Int]]
输出是

String
Seq[T]

T 不适用？我怎样才能获得申请的Seq[Int] ?

Answer 1

您可以使用 typeSignatureIn获取给定方法的类型签名 GroupResult[Int] :

import scala.language.experimental.macros
import scala.reflect.macros.Context

case class GroupResult[T](group: String, reduction: Seq[T])

def foo[T] = macro fooImpl[T]

def fooImpl[T: c.WeakTypeTag](c: Context) = {
  import c.universe._

  val tpe = weakTypeOf[T]

  tpe.declarations.collect {
    case m: MethodSymbol if m.isCaseAccessor => println(m.typeSignatureIn(tpe))
  }

  c.literalUnit
}

进而:

scala> foo[GroupResult[Int]]
=> String
=> Seq[Int]

所以我们更接近了，但现在我们得到了访问器的“类型”，而不是它们的返回类型。如果我们想要返回类型，我们可以使用 NullaryMethodType提取器:

def foo[T] = macro fooImpl[T]

def fooImpl[T: c.WeakTypeTag](c: Context) = {
  import c.universe._

  val tpe = weakTypeOf[T]

  tpe.declarations.collect {
    case m: MethodSymbol if m.isCaseAccessor => m.typeSignatureIn(tpe) match {
      case NullaryMethodType(returnType) => println(returnType)
    }
  }

  c.literalUnit
}

进而:

scala> foo[GroupResult[Int]]
String
Seq[Int]

我们已经完成了。