В чем смысл "статической синтетики"?

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

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

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

Ответы

Ответ 2

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

Ответ 3

assert выражение JDK 1.8 тематическое исследование

Оператор assert является примером конструкции, которая генерирует static synthetic поле в Oracle JDK 1.8.0_45:

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

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

public class Assert {
    // This field 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() только один раз во время загрузки, а затем кэшировать результат там.

Смотрите также: fooobar.com/info/16319/... для более подробного объяснения.

Обратите внимание, что это синтетическое поле может генерировать конфликты имен с другими полями, которые мы можем определить. Например, в 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, байт-код допускает несколько полей с одним и тем же именем, но разными типами: переменные, имеющие одно и то же имя, но различного типа