semantico - ¿Por qué el compilador Java(específicamente su analizador) no es capaz de entender esta declaración?

compilador jflex java

Question

Tengo las siguientes dos clases (en dos archivos separados).

public class Foo
{
public static class A
{
public static final boolean FLAG = false;
}
public final A A = new A();
}
public class Bar
{
void method()
{
if (Foo.A.FLAG) <<<< this is giving "Cannot make static ref to non-static field
// do something
;
}
}

Mi pregunta es, ¿por qué el compilador no puede reconocer que por Foo.A me refiero a la clase A , no al miembro, que también recibe el nombre de A ?

Answer 1

Algunas formas de acceder a la bandera:

<Foo_A extends Foo.A> void test1()
{
if(Foo_A.FLAG)
;
}
void test2()
{
class Foo_A extends Foo.A{}
if(Foo_A.FLAG)
;
}
-------------------------------------
import pkg.Foo.A;
public class Bar
{
void test3()
{
if(A.FLAG)
;
}
}

en estos contextos, "Foo.A" solo puede interpretarse como un tipo, no como una variable.

Answer 2

Esto se llama obscuring , una característica / limitación oscura de Java

Un nombre simple puede aparecer en contextos donde potencialmente puede interpretarse como el nombre de una variable, un tipo o un paquete. En estas situaciones, las reglas de §6.5 especifican que una variable se elegirá con preferencia a un tipo , y que un tipo se elegirá con preferencia a un paquete. Por lo tanto, a veces es imposible referirse a un tipo visible o declaración de paquete a través de su nombre simple. Decimos que dicha declaración está oscurecida.

Si la variable A era static , se compilaría, ya que puede acceder a miembros static en referencias de objetos.

Tampoco se ha inicializado FLAG .

Answer 3

Porque las clases internas requieren una instancia del tipo envolvente. Si no tienes una instancia de Foo, A no existe.

Editar: esto es incorrecto, pero la razón es informativa. Vea los comentarios a continuación: