¿Es cierto que el campo de objeto final asignado todavía puede ser nulo dentro de un constructor?

Question

¿Es cierto que el campo de objeto final asignado todavía puede ser nulo dentro de un constructor?

class MyClass { 
    private final Object obj = new Object(); 
    public MyClass() { 
    System.out.println(obj); // may print null? 
    } 
} 

si es así, ¿no es esto un error?

Answer 1

Como se discutió en otras respuestas, no, eso no puede suceder. Sin embargo, con un campo estático final asignado, puede hacerlo.

class MyClass { 
    private static MyClass myClass = new MyClass(); 
    private static final Object obj = new Object(); 
    public MyClass() { 
    System.out.println(obj); // will print null once 
    } 
} 

Answer 2

El inicializador Object obj = new Object(); se ejecutará antes del código dentro del constructor, por lo que obj no puede ser null.

Tenga en cuenta que esto no se compilaría si no inicializara obj en cualquier lugar.

Answer 3

funciona para mí:

$ cat MyClass.java 
class MyClass { 
    private final Object obj = new Object(); 
    public MyClass() { 
     System.out.println(obj); // may print null? 
    } 
    public static void main(String[] args) { new MyClass(); } 
} 
$javac MyClass.java; java MyClass 
java.lang.Object@19908ca1 

Todos los inicializadores de campo son copiados por el compilador en el comienzo de todos los constructores.

Sin embargo, bajo el modelo de memoria de Java 5, si se deja que el this referencia 'escapar' antes de que finalice el constructor, otros hilos pueden ver los valores sin inicializar de final campos (por lo que podía ver null en este caso).

Answer 4

Esto no es posible como todos initializers run before the constructor is invoked.

Inicializadores de variables como los que tiene private final Object obj = new Object(); ejecutar antes de invocar el constructor. Esto también es cierto para bloques de inicialización estáticos o de otro tipo.

Una cosa a tener en cuenta al utilizar inicializadores es que inicializadores no pueden hacer hacia adelante hace referencia a Cuando se escribe un inicializador, no se puede hacer referencia a las variables de instancia declaradas textualmente después de la variable que se está inicializado.

Answer 5

Con un ejemplo simple como el suyo, no puede pasar nada malo. Sin embargo, es posible para que un campo final sea visible como no inicializado si utiliza prácticas cuestionables, como llamar a un método sobrescribible en su constructor. Por ejemplo, el siguiente programa imprime "Mi color favorito es nulo", aunque hace referencia a la variable final favouriteColour, que se establece en "blue" en el constructor.

abstract class SuperClass { 
    final String favouriteColour; 

    SuperClass() { 
     announceFavouriteColour(); 
     favouriteColour = "blue"; 
    } 

    abstract void announceFavouriteColour(); 
} 

public class FinalTest extends SuperClass { 
    void announceFavouriteColour() { 
     System.out.println("My favourite colour is " + favouriteColour); 
    } 

    public static void main(String[] args) { 
     new FinalTest(); 
    } 
}