私有内部类的默认构造函数是否具有forms参数？
警告＃1：这实际上是一个潜在的两个部分：首先，私有内部类的构造函数是否具有forms参数？ 如果是的话，为什么JLS说不呢？ 如果不是，怎么/为什么不呢？
警告＃2： 这个问题不是为了推测。 我只是在寻找权威的答案。
默认构造函数在JLS 8.8.9中定义，它声明（部分）：
默认构造函数没有forms参数，除非在非私有内部成员类中，默认构造函数隐式声明一个forms参数，表示该类的直接封闭实例（§8.8.1，§15.9.2，§15.9.3） ）。
（重点补充）
“非私有”位对我来说似乎很奇怪：为了让内部类访问其封闭类中定义的字段，它需要对该实例的引用。 无论内部类是否为私有，这都应该是相同的。
事实上，javac似乎与我一致，与规范相矛盾。 如果我编译这个：
public class Ctors { private class MyInner { } } …并运行javap -c -private ，然后我们看到一个带有单个forms参数的构造函数，用于封闭类的实例：
$ javap -c -private Ctors\$MyInner Compiled from "Ctors.java" class Ctors$MyInner { final Ctors this$0; private Ctors$MyInner(Ctors); Code: 0: aload_0 1: aload_1 2: putfield #1 // Field this$0:LCtors; 5: aload_0 6: invokespecial #2 // Method java/lang/Object."":()V 9: return }
作为参考，这是在Oracle JDK 1.8.0_05上。
所以JLS说私有内部成员类的默认构造函数没有正式参数，但javac / javap说它有一个。 （我对最自然的工作方式的理解也会说它应该有一个，对于那些值得的东西。）哪个是正确的，为什么JLS明确排除私人内部类？
实现和规范之间存在差异。
在我看来，“除了”JLS声明
…… 除了非私人内部成员class……
措辞不好。
这意味着，编译器不需要隐式声明一个表示类的直接封闭实例的forms参数……但它可以 。
为什么非私有内部成员类需要隐式forms参数？
来自JLS 8.8.1 ：
成员类可能由编译器发出，该编译器与类实例创建表达式的编译器不同。 因此，创建表达式的编译器必须有一种标准方法将引用（表示立即封闭的实例）传递给成员类的构造函数
例如，如果我用第一个编译器编译这个内部类：
package p1; public class Ctors { public class MyInner { } }
如果我想用另一个编译器编译这个子类：
package p2; import p1.Ctors; public class SubCtors { public SubCtors() { new Ctors(); } }
第二个编译器必须能够使用带有形参的默认构造函数。 在这种情况下，带有SubCtors实例的封闭类的实例。
为什么在非私有内部成员类中不需要隐式forms参数？
因为非私有内部成员类总是由编译它的同一编译器访问。 如图所示，无论类可见性如何，javac都会生成相同的构造函数，但不需要。 另一种编译器实现可以自由选择另一种方式。
JLS 8.8.1还有另外一点，它在同一条线上
在本地类（不在静态上下文中）或匿名类的类实例创建表达式中，§15.9.2指定了本地/匿名类的直接封闭实例。 本地/匿名类必须由与类实例创建表达式相同的编译器发出。 该编译器可以表示它所希望的直接封闭的实例。 Java编程语言不需要在local / anonymous类的构造函数中隐式声明参数。