scala - 如何使用 Scala 2.10 反射 API 检查运行时实例是否符合某种类型？

Question

以下代码段按预期返回 true:

import scala.reflect.runtime.universe._
typeOf[Seq[Int]] <:< typeOf[Traversable[Int]]

但是这个片段没有:

val s = Seq[Int](1,2,3)
val m = runtimeMirror(this.getClass.getClassLoader)
val t = m.reflect(s).symbol.typeSignature
t <:< typeOf[Seq[Int]]

我确定我只是遗漏了一些明显的东西，但我已经使用 REPL 几个小时了，但还没有解决。任何建议将不胜感激。提前致谢。

Answer 1

1) typeOf[...] 保留了 Java 删除中的确切 Scala 类型，但是，obj.getClass(因此 m.reflect(obj )，它在幕后使用了 getClass) 没有。因此，最好的运行时反射可以通过反射 s 而无需额外的编译时间努力是 Seq[_] (这将无法通过子类型测试)。如果您需要在运行时记住某些东西的确切 Scala 类型，请使用类型标签(就像 typeOf 一样)或宏(就像类型标签一样)。

2) .symbol.typeSignature 不会起作用，因为那是 ClassInfoType(即一种类型，它封装了类类型的父类和成员列表).类信息类型非常适合检查成员(可能也适用于基类，也可能适用于其他一些东西，但我不确定)，但对其他一切就不是那么好。你想要像 .symbol.asType.toType 这样的东西，它会返回一个 TypeRef(即在我们的例子中 scala.collection.immutable.: : - 注意这里没有任何类型参数!)。不幸的是，由于 #1 中所述的删除，这仍然无法开箱即用。