Question

我在比较兼容性方面遇到了问题。两种类型之间使用反射（实际上我写了一个宏）。例如，我想允许Vector[Int] === List[Int]。现在我知道了general approach。但问题是在这种情况下我无法获取类型构造函数参数：

import scala.reflect._
import runtime.universe._

typeOf[List[Int]].typeArgs                             // List(Int) OK
typeOf[List[Int] with java.io.Serializable].typeArgs   // List()    FAIL

为什么这是一个问题？

def test[A, B >: A](a: A, b: B)(implicit tt: TypeTag[B]) = {
  println(s"tt = $tt")
  typeOf[B].typeArgs
}

现在可行：

test(List(1, 2, 3), List(1, 2, 3))  // List(Int)

但这并不是：

test(Vector(1, 2, 3), List(1, 2, 3))  // List()

Answer 1

可以使用名为RefinedType的提取器：

def test[A, B >: A](a: A, b: B)(implicit tt: TypeTag[B]): List[List[Type]] = {
  val all = typeOf[B] match {
    case RefinedType(parents, scope) => parents.map(_.typeArgs)
    case x => x.typeArgs :: Nil
  }
  all.filter(_.nonEmpty)
}

test(List(1, 2, 3), List(1, 2, 3))
test(Vector(1, 2, 3), List(1, 2, 3))

然后，仍然必须找到一种策略来调整父母。（我现在正在测试所有组合）。

为＆＃34;精炼＆＃34;获取正确的类型构造函数参数。类型

1 个答案: