Java：私有内部类综合构造函数

Question

我有Outer一private Inner堂课。

在我的Outer类方法中，我实例化Inner该类，如下所示：

Outer outer = new Outer();
Inner inner = outer.new Inner();

编译器将此代码转换为：

Outer outer = new Outer();
Inner inner = new Inner(outer, null);

使用反射表明Inner该类具有以下综合的构造函数：

private Outer$Inner(Outer)
Outer$Inner(Outer,Outer$Inner)

由于Inner该类是private，因此编译器会将该private构造函数添加到该类中，因此没有人可以实例化该类。但是很明显，Outer该类应该能够实例化它，因此编译器添加了另一个包私有构造函数，后者又调用了私有构造函数。另外，由于package-
private构造函数$的名称中包含该名称，因此普通的Java代码无法调用它。

问题：为什么要综合一个私有和一个私有私有的构造函数？为什么不只合成package-private构造函数并完成呢？

Answer 1

如果您编写类似的代码，

public class Outer {
      private class Inner {}
}

您会注意到，只有一个构造函数 private Outer$Inner(Outer)

JLS的8.8.9节要求此构造函数，该规则规定，如果未定义构造函数，则必须生成默认构造函数，在这种情况下，默认构造函数必须为private，

在类类型中，如果将该类声明为public，则默认构造函数将隐式赋予访问修饰符public（第6.6节）；如果该类被声明为受保护的，则默认构造函数将隐式给予访问修饰符保护（第6.6节）；如果该类被声明为私有，则默认构造函数被隐式赋予访问修饰符私有（第6.6节）；否则，默认构造函数具有无访问修饰符暗含的默认访问权限。

但是，当您使用如下代码实例化“内部内部”实例时，

public class Outer {
    private class Inner {}
        public String foo() {
            return new Inner().toString(); 
        }
}

编译器必须生成一个Outer可以合法调用的构造函数（您不能合法调用私有默认构造函数，因为它是私有的）。因此，编译器必须生成一个新的合成构造函数。根据JLS的13.1节，新的构造函数必须是合成的

除默认构造函数和类初始化方法外，编译器引入的任何在源代码中没有对应结构的构造都必须标记为合成。

此第二个构造函数在源代码中没有对应的构造，因此此新构造函数必须是合成的。由于JLS需要私有默认构造函数，因此仍必须生成第一个私有构造函数。