“静态合成”是什么意思？

Question

我正在查看一些从 Java 字节码获得的反汇编代码。我看到一些声明如下：

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

我无法弄清楚 synthetic 或 access$0 的含义。有人可以帮我理解这部分吗？

Answer 1

在java语言中，内部类可以访问其封闭类的私有成员。然而，在Java字节码中，不存在内部类的概念，并且私有成员是不可访问的。为了解决这个问题，编译器在外部类中创建合成访问器方法。我相信这就是您在这里看到的。 access$0 只是方法的名称。我不确定 synthetic 会做什么。它可能只是对其他编译器隐藏该方法以确保封装。

Answer 2

合成字段，(2)

一个编译器创建的字段，它将局部内部类链接到块的局部变量或引用类型参数。

另请参阅 JavaTM 虚拟机规范 ( §4.7.6) 或 Java 中的综合类。

Answer 3

assert 语句 JDK 1.8 案例研究

assert 语句是在 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() 一次，并且然后它将结果缓存在那里。

另请参阅：https://stackoverflow.com/a/29439538/895245 了解更详细的说明。

请注意，此合成字段可能会与我们可能定义的其他字段产生名称冲突。例如，以下内容无法在 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 不同，字节码允许多个具有相同名称但不同类型的字段：名称相同但类型不同的变量