¿Puede "esto" ser nulo en Java?

Vi esta línea en un método de clase y mi primera reacción fue ridiculizar al desarrollador que la escribió ... Pero luego, pensé que primero debería asegurarme de tener la razón.

public void dataViewActivated(DataViewEvent e) {
    if (this != null)
        // Do some work
}

¿Esa línea alguna vez se evaluará como falsa?

No, no puede. Si está usando this, entonces está en la instancia, por thislo que no es nulo.

El JLS dice:

Cuando se usa como expresión primaria, la palabra clave this denota un valor que es una referencia al objeto para el cual se invocó el método de instancia (§15.12), o al objeto que se está construyendo.

Si invocaste un método desde un objeto, entonces el objeto existe o tendrías un NullPointerExceptionantes (o es un método estático pero luego no puedes usarlo this).

Recursos:

• JLS - thispalabra clave

Es como preguntarse a sí mismo "¿Estoy vivo?" thisnunca puede ser nulo

No , nunca , la palabra clave 'this' en sí misma representa la instancia viva actual (objeto) de esa clase dentro del alcance de esa clase, con la que puede acceder a todos sus campos y miembros (incluidos los constructores) y los visibles de su clase padre.

Y, lo que es más interesante, intente configurarlo:

this = null;

¿Piénsalo? ¿Cómo puede ser posible? ¿No será como cortar la rama en la que estás sentado? Dado que la palabra clave 'esto' está disponible dentro del alcance de la clase, tan pronto como diga esto = nulo; en cualquier lugar dentro de la clase, básicamente le está pidiendo a JVM que libere la memoria asignada a ese objeto en medio de alguna operación que JVM simplemente no puede permitir que suceda, ya que necesita regresar de manera segura después de terminar esa operación.

Además, intentarlo this = null;resultará en un error del compilador. La razón es bastante simple, a una palabra clave en Java (o en cualquier idioma) nunca se le puede asignar un valor, es decir, una palabra clave nunca puede ser el valor izquierdo de una operación de asignación.

Otros ejemplos, no puedes decir:

true = new Boolean(true);
true = false;

Si compila con -target 1.3o antes, entonces un externo this puede ser null. O al menos solía hacerlo ...

No. Para llamar a un método de una instancia de una clase, la instancia debe existir. La instancia se pasa implícitamente como un parámetro al método, referenciado por this. Si thislo nullhubiera, no habría habido ninguna instancia para llamar a un método.

No es suficiente que el lenguaje lo haga cumplir. La VM necesita hacerla cumplir. A menos que la VM lo aplique, puede escribir un compilador que no aplique la verificación nula antes de llamar al método escrito en Java. Los códigos de operación para la invocación de un método de instancia incluyen cargar esta referencia en la pila; consulte: http://java.sun.com/docs/books/jvms/second_edition/html/Compiling.doc.html#14787 . Sustituir esto por una referencia nula daría como resultado que la prueba fuera falsa

En los métodos de clases estáticas, thisno se define, ya que thisestá asociado con instancias y no con clases. Creo que daría un error de compilador intentar usar una thispalabra clave en un contexto estático.

Un normal thisnunca puede estar nullen el código ^{1 de} Java real , y su ejemplo usa un normal this. Vea otras las otras respuestas para más detalles.

Un calificado nunca this debería serlo null, pero es posible romper esto. Considera lo siguiente:

public class Outer {
   public Outer() {}

   public class Inner {
       public Inner() {}

       public String toString() {
           return "outer is " + Outer.this;  // Qualified this!!
       }
   }
}

Cuando queremos crear una instancia de Inner, necesitamos hacer esto:

public static void main(String[] args) {
    Outer outer = new Outer();
    Inner inner = outer.new Inner();
    System.out.println(inner);

    outer = null;
    inner = outer.new Inner();  // FAIL ... throws an NPE
}

La salida es:

outer is Outer@2a139a55
Exception in thread "main" java.lang.NullPointerException
        at Outer.main(Outer.java:19)

mostrando que nuestro intento de crear un Innercon una nullreferencia a su Outerha fallado.

De hecho, si te quedas dentro del sobre de "Java puro", no podrás romperlo.

Sin embargo, cada Innerinstancia tiene un finalcampo sintético oculto (llamado "this$0") que contiene la referencia al Outer. Si es realmente complicado, es posible utilizar medios "no puros" para asignar nullal campo.

• Podrías usar Unsafepara hacerlo.
• Puede usar código nativo (por ejemplo, JNI) para hacerlo.
• Podrías hacerlo usando la reflexión.

De cualquier manera que lo haga, el resultado final es que la Outer.thisexpresión se evaluará como null² .

En resumen, es posible que un calificado thissea null. Pero es imposible si su programa sigue las reglas de "Java puro".

^{1 - Descarto trucos como "escribir" los códigos de bytes a mano y pasarlos como Java real, ajustar los códigos de bytes usando BCEL o similar, o saltar al código nativo y jugar con los registros guardados. En mi opinión, eso NO es Java. Hipotéticamente, estas cosas también podrían suceder como resultado de un error de JVM ... pero no recuerdo todos los informes de errores que vi.}

^{2 - En realidad, el JLS no dice cuál será el comportamiento, y podría depender de la implementación ... entre otras cosas.}

Cuando invoca un método en nullreferencia, se NullPointerExceptionlanzará desde Java VM. Esto es por especificación, por lo que si su máquina virtual Java cumple estrictamente con la especificación, thisnunca lo sería null.

Si el método es estático, entonces no hay ninguno this. Si el método es virtual, entonces thisno puede ser nulo, porque para llamar al método, el tiempo de ejecución necesitará hacer referencia a la vtable usando el thispuntero. Si el método no es virtual , entonces sí, es posible que thissea ​​nulo.

C # y C ++ permiten métodos no virtuales, pero en Java todos los métodos no estáticos son virtuales, por thislo que nunca serán nulos.

tl; dr, "this" sólo se puede llamar desde un método no estático y todos sabemos que se llama a un método no estático desde algún tipo de objeto que no puede ser nulo.