通过isInstanceOf检查Scala中的结构类型

Question

我只是在Scala中检查结构类型的相等性。

我立即从匿名类和Q类型创建foo实例。 我希望它们的方法名称有所不同，以便希望它们在结构上被视为不同的类型。

代码段：

scala> val foo = new {def foo=1}
a: AnyRef{def foo: Int} = $anon$1@3885c37f

scala> type Q = {def q:Unit}
defined type alias Q

scala> foo.isInstanceOf[Q]
<console>:14: warning: a pattern match on a refinement type is unchecked
              foo.isInstanceOf[Q]
                            ^
res55: Boolean = true

检查返回true。

Q1：我不明白为什么foo是Q的实例。 废话 它们的类型结构是否不同？

问题2：那么检查结构类型的正式方法是什么？

Answer 1

isInstanceOf根据类信息。 您需要输入以下信息：

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

scala> val foo = new {def foo=1}
foo: AnyRef{def foo: Int} = $anon$1@15ab47

scala> type Q = {def q:Unit}
defined type alias Q

scala> def getType[T : TypeTag](t: T) = implicitly[TypeTag[T]].tpe
getType: [T](t: T)(implicit evidence$1:reflect.runtime.universe.TypeTag[T])reflect.runtime.universe.Type

scala> getType(foo) =:= typeOf[Q]
res9: Boolean = false