È un riferimento null un'istanza di una classe?

Question

Si tratta di un semplice codice

class Foo { 
} 

class Bar extends Foo { 
} 

public class Main { 

public static void main(String[] args) throws Exception { 
    fn(null); 
} 

static void fn(Foo f) { 
    System.out.println(f instanceof Foo ? "Foo" : "Bar"); 
} 
} 

La mia domanda è: come Java sa che il NULL passata è Bar e non Foo? So perché il compilatore sceglie Bar e non Foo (perché c'è una conversione da foo a bar e da bar a foo e non viceversa). Ma come saprebbe il metodo che questo null proviene da Bar e non da Foo? null contiene alcune informazioni sull'oggetto a cui è assegnato?

Answer 1

Stai leggendo nel modo sbagliato. instanceofsempre restituisce false per null riferimenti.

Dalla Java specification (sottolineatura mia):

In fase di esecuzione, il risultato dell'operatore instanceof vale se il valore del RelationalExpression non è nullo e il riferimento potrebbe essere fusa (§15.16) al ReferenceType senza generare ClassCastException. Altrimenti il ​​risultato è falso.

Answer 2

È sempre falso. Javac lo sa.

Ma è possibile utilizzare f.someStaticFunctionOfTheClassFoo(). Quindi, la tua domanda è molto interessante, solo che ha bisogno di essere modificata.

Answer 3

Che cosa si intende per

Come java sa che questo è nulla bar e non Foo?

null è né Bar né Foo. Vedi Java method dispatch with null argument

Answer 4

È un riferimento null un'istanza di una classe?

Diciamolo chiaro. Un riferimento non è un'istanza di qualcosa. È un riferimento L'oggetto che fa riferimento a, se presente, è un'istanza di qualche classe. Ma il riferimento null non si riferisce a nessun oggetto.

La mia domanda è: come sa che il null passato è Bar e non Foo?

Non funziona. Il tuo programma ti ha mentito. Stampa "Bar" se il riferimento non è fare riferimento a un'istanza di Foo. Scarsa codifica da parte tua.

So perché il compilatore sceglie Bar e non Foo (perché c'è una conversione da foo a bar e da bar a foo e non viceversa).

Il compilatore non ha scelto una scelta simile. Il tuo codice ha fatto un test e una stampa mal progettati.

Ma come sarebbe il metodo di conoscere questo nulla viene dal bar e non Foo?

Non funziona. Ha indovinato. Ha sbagliato.

null contiene alcune informazioni sull'oggetto a cui è assegnato?

Non contiene alcuna informazione.

Answer 5

null è un tipo speciale e quel tipo speciale è "NullType".