Vérification du type structurel dans scala par isInstanceOf

Question

Je vérifie simplement l'égalité des types structurels dans scala.

Je crée une instance foo à partir d'une classe immédiatement connue et d'un type Q. Je les ai l'intention de différer avec le nom de la méthode, de sorte qu'en espérant les considérer comme un type différent structurellement.

extrait de code:

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 

La vérification retourne vrai.

Q1: Je ne comprends pas pourquoi foo est une instance de Q. C'est un non-sens. Ne sont-ils pas différents en termes de structure de type?

Q2: Alors, quelle est la manière formelle de vérifier le type structurel?

Answer 1

isInstanceOf est selon l'information de classe. Dans votre cas, vous devez taper info:

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