Что означает "статический синтетический"?

Question

Я смотрю на некоторый дизассемблированный код, полученный из байт-кода Java. Я вижу некоторые заявления следующим образом:

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

Я не могу понять, что synthetic или же access$0 имею в виду. Может кто-нибудь, пожалуйста, помогите мне понять эту часть?

Answer 1

Синтетическое поле, (2)

Созданное компилятором поле, которое связывает локальный внутренний класс с локальной переменной блока или параметром ссылочного типа.

Смотрите также The JavaTM Virtual Machine Specification (§4.7.6) или синтетический класс в Java.

Answer 2

На языке Java внутренние классы могут получать доступ к закрытым членам своего класса. Однако в байт-коде Java концепция внутренних классов не существует, а закрытые члены недоступны. Чтобы обойти это, компилятор создает синтетические методы доступа во внешнем классе. Я считаю, что это то, что вы видите здесь. access$0 это просто название метода. Я не уверен, что, если что-то synthetic делает. Он может просто скрыть метод от других компиляторов для обеспечения инкапсуляции.

Answer 3

Утверждение в Oracle JDK 1.8.0_45 является примером, который генерируетstatic syntheticполе:

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

в основном компилируется в:

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();
            }
        }
    }
} 

Это можно проверить с помощью:

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

который содержит:

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

Синтетическое поле генерируется так, что Java нужно только вызватьAssert.class.desiredAssertionStatus()один раз во время загрузки, а затем кеширует результат там.

Смотрите также: /questions/5872701/chto-delaet-klyuchevoe-slovo-java-assert-i-kogda-ono-dolzhno-ispolzovatsya/5872719#5872719 для более подробного объяснения.

Обратите внимание, что это синтетическое поле может генерировать конфликты имен с другими полями, которые мы можем определить. Например, в Oracle JDK 1.8.0_45 не удается скомпилировать следующее:

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

Единственное, что "мешает", это соглашение о присвоении имен, не использующее доллары в ваших идентификаторах. Смотрите также: Когда я должен использовать символ доллара ($) в имени переменной?

Бонус:

static final int $assertionsDisabled = 0;

будет работать, потому что, в отличие от Java, байт-код допускает наличие нескольких полей с одинаковым именем, но разными типами: переменные, имеющие одно и то же имя, но различного типа