¿Es una referencia nula una instancia de una clase?

Question

Este es un código simple

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"); 
} 
} 

Mi pregunta es: ¿Cómo sabe que el Java nula pasada es Bar y no Foo? Sé por qué el compilador elige Bar y no Foo (porque hay una conversión de foo a bar y de bar a foo y no viceversa). Pero, ¿cómo sabe el método que este nulo proviene de Bar y no de Foo? ¿contiene null información sobre el objeto al que está asignado?

Answer 1

Lo estás leyendo de la manera incorrecta. instanceofsiempre evalúa a false para null referencias.

Desde el (el énfasis es mío) Java specification:

En tiempo de ejecución, el resultado del operador instanceof es cierto si el valor de la RelationalExpression no es nulo y la referencia podría ser lanzado (§15.16) al ReferenceType sin generar una ClassCastException. De lo contrario, el resultado es falso.

Answer 2

Siempre es falso. Javac lo sabe.

Pero puede usar f.someStaticFunctionOfTheClassFoo(). Entonces, tu pregunta es muy interesante, solo necesita ser editada.

Answer 3

¿Qué quiere decir por

Cómo java sabe que esto es nula y no Foo Bar?

null es ni Bar ni Foo. Ver Java method dispatch with null argument

Answer 4

¿Es una referencia nula una instancia de una clase?

Seamos claros acerca de esto. Una referencia no es una instancia de nada. Es una referencia. El objeto al que se refiere, si lo hay, es una instancia de alguna clase. Pero la referencia nula no se refiere a ningún objeto.

Mi pregunta es: ¿Cómo sabe Java que el nulo pasado es Bar y no Foo?

No lo es. Tu programa te mintió. Imprime "Barra" si la referencia no se refiere a una instancia de Foo. Pobre codificación de tu parte.

Sé por qué el compilador elige Bar y no Foo (porque hay una conversión de foo a bar y de bar a foo y no viceversa).

El compilador no tenía ninguna opción. Su código hizo una prueba e impresión mal diseñadas.

Pero, ¿cómo sabe el método que este nulo proviene de Bar y no de Foo?

No lo es. Adivinó. Lo entendió mal.

Qué contiene nula alguna información sobre el objeto que se asigna a?

No contiene ninguna información.

Answer 5

null es un tipo especial y ese tipo especial es "NullType".