trait Bar
trait Dar
trait Foo { self : Bar with Dar =>
}
trait Child extends Foo
如何使用新的反射API从typeOf [Foo]或typeOf [Child]中查找其自身类型具有Bar和Dar特征？
Welcome to Scala version 2.10.1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_10).
Type in expressions to have them evaluated.
Type :help for more information.
scala> import scala.reflect.runtime.universe._
import scala.reflect.runtime.universe._
scala> :paste
// Entering paste mode (ctrl-D to finish)
trait Bar
trait Dar
trait Foo { self : Bar with Dar =>
}
// Exiting paste mode, now interpreting.
defined trait Bar
defined trait Dar
defined trait Foo
scala> val selfTypeOfFoo = typeOf[Foo].typeSymbol.asClass.selfType
selfTypeOfFoo: reflect.runtime.universe.Type = Foo with Bar with Dar
如果要进一步检查自我类型，可以将其与RefinedType以下项进行匹配：
scala> val RefinedType(parents, _) = selfTypeOfFoo
parents: List[reflect.runtime.universe.Type] = List(Foo, Bar with Dar)
scala> val RefinedType(innerParents, _) = parents(1)
innerParents: List[reflect.runtime.universe.Type] = List(Bar, Dar)
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句