¿Cuál es el significado de "sintético estático"?

Question

Estoy mirando algún código desensamblado obtenido de bytecode de Java. Veo que algunos de declaración de la siguiente manera:

.method static synthetic access$0()Lcom/package/Sample; 

no soy capaz de averiguar lo que el synthetic o access$0 significa. ¿Puede alguien ayudarme a entender esta parte?

Answer 1

Synthetic field, (2)

A compilador-creado campo que une una clase interna local de parámetro variable o referencia de tipo local de un bloque.

Véase también The JavaTM Virtual Machine Specification (§4.7.6) o Synthetic Class in Java.

Answer 2

En el lenguaje Java, las clases internas pueden acceder a los miembros privados de su clase adjunta. Sin embargo, en bytecode de Java, el concepto de clases internas no existe, y los miembros privados no son accesibles. Para evitar esto, el compilador crea métodos sintéticos de acceso en la clase externa. Creo que eso es lo que estás viendo aquí. access$0 es simplemente el nombre del método. No estoy seguro de qué, si algo hace el synthetic. Puede ocultar el método de otros compiladores para garantizar la encapsulación.

Answer 3

aserción en Oracle JDK 1.8.0_45 es un ejemplo que genera un campo static synthetic:

public class Assert { 
    public static void main(String[] args) { 
     assert System.currentTimeMillis() == 0L; 
    } 
} 

compila básicamente a:

public class Assert { 
    // This method is synthetic. 
    static final boolean $assertionsDisabled = 
     !Assert.class.desiredAssertionStatus(); 
    public static void main(String[] args) { 
     if (!$assertionsDisabled) { 
      if (System.currentTimeMillis() != 0L) { 
       throw new AssertionError(); 
      } 
     } 
    } 
} 

Esto se puede verificar con:

javac Assert.java 
javap -c -constants -private -verbose Assert.class 

que contiene:

static final boolean $assertionsDisabled; 
    descriptor: Z 
    flags: ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC 

El campo sintético se genera de manera que Java sólo tiene que llamar Assert.class.desiredAssertionStatus() vez en tiempo de carga, y luego almacena el resultado allí.

Vea también: https://stackoverflow.com/a/29439538/895245 para una explicación más detallada.

Tenga en cuenta que este campo sintético puede generar conflictos de nombres con otros campos que podemos definir. Por ejemplo, la siguiente falla al compilar en Oracle JDK 1.8.0_45:

public class Assert { 
    static final boolean $assertionsDisabled = false; 
    public static void main(String[] args) { 
     assert System.currentTimeMillis() == 0L; 
    } 
} 

La única cosa que "previene", es la convención de nomenclatura de no utilizar dólares en sus identificadores. Ver también: When should I use the dollar symbol ($) in a variable name?

Bono:

static final int $assertionsDisabled = 0; 

quiere trabajar, porque a diferencia de Java, el código de bytes permite varios campos con el mismo nombre pero diferentes tipos: Variables having same name but different type