Come funziona `isInstanceOf`?

Question

assumere, abbiamo:

class B 
class A extends B 
trait T 

Allora vale:

val a: A with T = new A with T 
a.isInstanceOf[B] // result is true ! 

è giusto dire, le isInstanceOf controlli di metodo, se v'è almeno un tipo (non tutti i tipi), che corrisponde il lato destro in una relazione di sottotipo?

A prima vista, ho pensato un valore di tipo A with T non può essere un sottotipo di B, perché AeT non sono due sottotipi di B. Ma è AoT è un sottotipo di B - è vero?

Answer 1

isInstanceOf controlla se esiste una voce corrispondente nella catena di ereditarietà. La catena di A with T include A, B e T, pertanto a.isInstanceOf[B] deve essere true.

edit:

In realtà il bytecode generato chiama Javas instanceof, quindi sarebbe a instanceof B in java. Una chiamata un po 'più complessa come a.isInstanceOf[A with T] sarebbe (a instanceof A) && (a instanceof T).

Answer 2

A prima vista, ho pensato un valore di tipo A con T non può essere una sottotipo di B

C'è sono due idee sbagliate qui. Innanzitutto, il tipo statico di un'istanza influisce sul risultato di isInstanceOf: non ce n'è. Per essere chiari, quando si fa a.isInstanceOf[B], il fatto che a sia di tipo A with Tnon è rilevante.

Il metodo isInstanceOf è implementato a livello di bytecode da JVM. Analizza le informazioni sulla classe ogni istanza contiene e controlla se B una delle classi (la classe dell'istanza stessa e dei relativi antenati) o una delle interfacce implementate. Questa è la relazione "è-a": "a is a B".

Tecnicamente, isInstanceOf fa parte della riflessione di Java, dove è noto come instanceof.

Il secondo malinteso è che l'eredità può in qualche modo rimuovere un tipo genitore. Non succede mai: l'ereditarietà aggiunge solo tipi, mai li rimuove. Il tipo A with T è un A, uno B, uno T, uno AnyVal e uno Any. Quindi, anche se isInstanceOf ha guardato il tipo A with T, sarebbe ancora restituito true.