
java 11及更高版本通过引入jvm层面的nestmates机制,彻底改变了嵌套类访问外部类私有成员的方式。该机制通过在类文件中添加`nesthost`和`nestmembers`属性,并更新jvm的访问控制规则,使得嵌套类能够直接访问其宿主类的私有成员,从而消除了以往编译器为实现此目的而生成的合成方法,优化了字节码结构和运行时效率。
1. Java 11 之前的私有成员访问机制
在 Java 11 之前的版本中,当一个嵌套类(例如内部类)需要访问其外部类(宿主类)的私有成员(字段或方法)时,Java 编译器为了遵循严格的访问控制规则,会采取一种特殊的策略。由于私有成员只能在其声明的类内部被直接访问,而嵌套类在编译后是独立的类文件,JVM 并不直接允许其访问外部类的私有成员。
为了解决这一问题,编译器会为外部类的私有成员生成“合成方法”(synthetic methods)。这些合成方法通常是包私有的静态或实例方法,它们作为桥梁,允许嵌套类通过调用这些合成方法来间接访问外部类的私有成员。例如,如果一个内部类需要读取外部类的私有字段 x,编译器会在外部类中生成一个类似 access$000() 的合成方法,该方法返回 x 的值。内部类则通过调用 Outer.this.access$000() 来获取 x。这种机制虽然确保了功能正确性,但增加了字节码的大小,并引入了额外的间接方法调用。
2. Java 11+ 的变革:Nestmates 机制
Java 11 对 Java 虚拟机规范(JVMS)进行了重大更新,引入了“Nestmates”(巢友)的概念,彻底改变了嵌套类私有成员的访问方式。核心思想是:如果一组类被认为是“巢友”,它们就可以互相直接访问私有成员,而无需通过合成方法。
2.1 类文件中的新属性
为了支持 Nestmates 机制,Java 11 在类文件格式中引入了两个新的属性:
立即学习“Java免费学习笔记(深入)”;
-
NestHost 属性:
- 对于一个嵌套类(例如 Outer$Inner.class),其 NestHost 属性会记录它的宿主类(例如 Outer)。这个属性指明了该类所属的巢的“宿主”。
-
NestMembers 属性:
- 对于一个宿主类(例如 Outer.class),其 NestMembers 属性会记录该巢中包含的所有成员类,包括其自身以及所有直接嵌套的类(例如 Outer$Inner)。
这两个属性在编译时由编译器生成并嵌入到相应的 .class 文件中,它们共同定义了一个“巢”的成员关系。
让我们通过一个示例代码来理解:
public class Outer {
private int x; // 外部类的私有字段
public class Inner {
public void foo() {
System.out.println(x); // 内部类访问外部类的私有字段
}
}
}当上述代码在 Java 11+ 环境下编译时:
- Outer$Inner.class 文件将包含一个 NestHost 属性,指向 Outer 类。
- Outer.class 文件将包含一个 NestMembers 属性,列出 Outer 和 Outer$Inner。
2.2 JVM 访问控制规则的更新
Java 11+ 的 JVM 访问控制规则(JVMS 5.4.4 节)得到了扩展,以利用 NestHost 和 NestMembers 属性。在 Java 10 及以前,私有成员的可访问性严格限制在其声明的类内部。而在 Java 11+ 中,新增了一条关键规则:
一个字段或方法 R 对于类或接口 D 是可访问的,当且仅当以下条件之一为真:...R 是 private 的,并且由一个类或接口 C 声明,而 C 根据下面的“巢友测试”与 D 属于同一个巢。
这条规则意味着,如果 Inner 类(D)和 Outer 类(C)通过 NestHost 和 NestMembers 属性被识别为同一个“巢”的成员(即它们是巢友),那么 Inner 类就可以直接访问 Outer 类的私有字段 x。
2.3 字节码层面的差异
回到示例代码:
public class Outer {
private int x;
public class Inner {
public void foo() {
System.out.println(x);
}
}
}-
在 Java 10 及以前: 编译器会生成一个合成方法(例如 access$000())在 Outer 类中,用于获取 x 的值。Inner 类的 foo() 方法会调用这个合成方法来访问 x。
// Outer.class (部分) private static int access$000(Outer outer) { return outer.x; } // Inner.class (foo方法部分) ALOAD 0 // this (Inner实例) GETFIELD Outer$Inner.this$0 : LOuter; // 获取外部类实例引用 INVOKESTATIC Outer.access$000 (LOuter;)I // 调用合成方法 -
在 Java 11 及以后: 由于 Inner 和 Outer 被识别为巢友,JVM 允许 Inner 直接访问 Outer 的私有字段 x。编译器不再需要生成合成方法。Inner 类的 foo() 方法可以直接使用 getfield 指令来获取 x 的值。
// Inner.class (foo方法部分) ALOAD 0 // this (Inner实例) GETFIELD Outer$Inner.this$0 : LOuter; // 获取外部类实例引用 GETFIELD Outer.x : I // 直接获取外部类的私有字段x
3. 优势与注意事项
- 字节码优化:消除了合成方法,减少了 .class 文件的大小,使得字节码更加精简。
- 性能提升:避免了额外的合成方法调用开销,理论上可以带来微小的运行时性能提升,因为直接字段访问通常比方法调用更快。
- 语义清晰:在 JVM 层面更好地反映了嵌套类与外部类之间的紧密关系,使得私有成员访问更符合直觉。
- 向后兼容性:这项改变主要发生在 JVM 层面,对于开发者而言是透明的。现有的 Java 代码在 Java 11+ 上编译和运行时会自动受益于这一新机制,无需进行任何代码修改。
- 反射与字节码工具:对于依赖于反射或直接操作字节码的工具和库,可能需要了解这一变化,因为它们在处理嵌套类私有成员访问时,将不再遇到合成方法。
总结
Java 11 引入的 Nestmates 机制是 JVM 层面的一项重要改进,它通过在类文件中添加 NestHost 和 NestMembers 属性,并更新访问控制规则,使得嵌套类能够直接访问其宿主类的私有成员。这一机制有效地取代了以往通过合成方法进行间接访问的方式,从而优化了字节码结构,提高了运行时效率,并使得 Java 语言的嵌套类语义在 JVM 层面得到了更直接、更高效的体现。










