¿Por qué el orden de las declaraciones es importante para los inicializadores estáticos?

Question

tengo este código

private static Set<String> myField; 

static { 
    myField = new HashSet<String>(); 
    myField.add("test"); 
} 

y funciona. Pero cuando cambio el orden, recibo un error de referencia directa.

static { 
    myField = new HashSet<String>(); 
    myField.add("test"); // illegal forward reference 
} 

private static Set<String> myField; 

estoy un poco sorprendido, no esperaba algo así de Java. :)

¿Qué sucede aquí? ¿Por qué es importante el orden de las declaraciones? ¿Por qué funciona la asignación, pero no la llamada al método?

Answer 1

Antes que nada, veamos qué es una "referencia directa" y por qué es mala. Una referencia directa es una referencia a una variable que aún no se ha inicializado, y no está confinada solo a incializadores estáticos. Estos son malos simplemente porque, de ser permitidos, nos darían resultados inesperados. Eche un vistazo a este código:

public class ForwardRef { 
    int a = b; // <--- Illegal forward reference 
    int b = 10; 
} 

¿Qué debe ser j cuando se inicializa esta clase? Cuando se inicializa una clase, las inicializaciones se ejecutan en orden de primero a último encontrado. Por lo tanto, uno esperaría que la línea

a = b; 

a ejecutar antes:

b = 10; 

Con el fin de evitar este tipo de problemas, los diseñadores de Java completamente no permitidos tales usos de referencias hacia delante.

EDITAR

este comportamiento se especifica mediante section 8.3.2.3 of Java Language Specifications:

La declaración de un miembro debe aparecer antes de ser usado sólo si el miembro es una instancia de campo (respectivamente estática) de una clase o interfaz C y se cumplen todas las condiciones siguientes:

• El uso se produce en una instancia (respectiva ly static) inicializador variable de C o en un inicializador instancia (respectivamente estático) de C.

• El uso no está en el lado izquierdo de una tarea.

• C es la clase o interfaz más interna que encierra el uso.

Se produce un error de tiempo de compilación si no se cumple alguno de los tres requisitos anteriores.

Answer 2

En Java, todos los inicializadores, estáticos o no, se evalúan en el orden en que aparecen en la definición de clase.

Answer 3

creo que la llamada al método es problemático porque el compilador no puede determinar qué add() método a utilizar sin un tipo de referencia para myField.

En tiempo de ejecución, el método utilizado estará determinado por el tipo de objeto, pero el compilador solo conoce el tipo de referencia.

Answer 4

Consulte las reglas para referencias futuras en the JLS. No se puede utilizar adelante referencias si:

• El uso se produce en una instancia (respectivamente estática) inicializador variable del C o en una instancia (respectivamente estática) inicializador de C.
• El uso no está en la mano izquierda lado de una tarea.
• El uso es a través de un nombre simple.
• C es la clase o interfaz más interna que encierra el uso.

Dado que todo esto es válido para su ejemplo, la referencia directa es ilegal.

Answer 5

probar esto:

class YourClass { 
    static { 
     myField = new HashSet<String>(); 
     YourClass.myField.add("test"); 
    } 

    private static Set<String> myField; 
} 

se debe compilar sin errores según la JLS ...
(en realidad no ayudar, o?)

Answer 6

Para más detalles sobre la respuesta de DFA:

Creo que lo que le está haciendo tropezar es la regla del "lado izquierdo" en el segundo punto en JLS 8.2.3.2. En su inicialización, myField está en el lado izquierdo. En su llamada para agregar, está en el lado derecho. El código aquí es implícito:

boolean result = myField.add('test') 

No está evaluando el resultado, pero el compilador todavía actúa como si estuviera allí. Es por eso que su inicialización pasa mientras su llamada a add() falla.

En cuanto a por qué esto es así, no tengo ni idea. Puede ser conveniente para los desarrolladores de JVM, por lo que sé.