Java：私有内部类合成构造函数[复制]

Question

我有一个外部类，它有一个私有内部类。

在我的外层类方法中，我按如下方式实例化内部类：

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

编译器将此代码转换为：

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

使用反射显示内部类具有以下合成构造函数：

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

由于internal类是private，编译器向其添加private构造函数，因此没有人可以实例化该类。但是显然，Outer类应该能够实例化它，因此编译器添加了另一个包私有构造函数，该构造函数反过来调用私有构造函数。另外，由于包私有构造函数的名称中有$，所以普通Java代码不能调用它。

问题：为什么要合成一个私有构造函数和一个包私有构造函数？为什么不只合成包私有构造函数并使用它呢？

Answer 1

最可能的答案是尊重您在源代码中声明的内容。这样做仍然允许在声明私有构造函数时通过反射使用它。

这也避免了检查私有构造函数是否在内部类中实际调用。

Answer 2

这不是一个答案，我认为斯布里奇已经很好地涵盖了这一点。这只是一个产生您描述的行为的工作示例：

public class Outer {
    private class Inner {
    }

    public static void main(String[] args) {
        printConstructors();

        //only one constructor is printed but two would appear if you 
        //uncommented the line below

        //new Outer().new Inner();
    }

    private static void printConstructors() {
        Constructor[] constructors = Outer.Inner.class.getDeclaredConstructors();
        for (Constructor c : constructors) {
            System.out.println(c.toGenericString());
        }
    }
}

Answer 3

如果你像这样写代码，

public class Outer {
      private class Inner {}
}

您将注意到，只有一个构造函数private Outer$Inner（Outer）

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

在类类型中，如果该类被声明为public，则默认构造函数被隐式地赋予访问修饰符public（§6.6）；如果该类被声明为受保护，则默认构造函数隐式地被赋予访问修饰符protected（§6.6）；如果类被声明为private，则默认构造函数被隐式地赋予访问修饰符private（§6.6）；否则，默认构造函数具有由无访问修饰符暗示的默认访问权限。

但是，当您使用如下代码实例化一个内部-外部的实例时，

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

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

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

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