JAVA private私有类的 默认构造函数 的生成过程

如果一个类没有定义任何构造函数，则编译器将生成一个缺省的构造函数，该构造函数的访问修改符和类的访问修改符相同，例如： class test将生成test()构造函数 public class test将生成public test()构造函数。 在使用内部类的情况，上述的特性将使编译器表现出一个特别现象。需要说明的是，下面的例子仅针对Windows系统下jdk编译器，作者并没有尝试使用其他的编译器的情况。但由于java编译器生成的是class文件这种中间形式的代码，所以下面的讨论应该适用于任何符合java标准的编译器。 编译下面的代码：

public class Wrapper
{
private class InnerClass
{}

private void testInnerClass()
{
    InnerClass inner = new InnerClass();
}

public static void main(String[] args)
{
    Wrapper wrapper = new Wrapper();
    wrapper.testInnerClass();
}
}

将产生三个class文件：Wrapper、Wrapper$InnerClass和Wrapper$1。对于前两个文件，了解内部类的读者都会理解，但第三个类Wrapper$1的作用是什么呢？

使用java的反射机制，或者使用javap反汇编器，将发现Wrapper$1类没有任何成员变量和方法，而Wrapper$InnerClass则除了有一个private Wrapper$InnerClass()构造方法外，还有一个Wrapper$InnerClass(Wrapper$1)构造方法，使用javap，你将发现Wrapper$InnerClass(Wrapper$1)并没有使用Wrapper$1类型的参数，而只是直接调用了private Wrapper$InnerClass()。如果读者仔细思考一下创建一个新的类实例的过程，大概已经明白了产生上述现象的原因：

当程序试图创建一个Wrapper$InnerClass的类实例时，却不能使用其缺省的构造函数，因为Wrapper$InnerClass()是private的，不能由外部使用。因此编译器不得不再生成一个可访问的构造函数，由于这里只有Wrapper类的private void testInnerClass()方法使用了new InnerClass()，所以编译器只（需）为这个新的构造函数生成了Default-Access的访问修改符。同时，为了和已有的缺省构造函数有所区别，就加入了一个Wrapper$1类型的参数，为此，编译器还要生成一个Wrapper$1类。 为了更简单，（也许）更清晰的看到编译器生成的class代码工作的原理，读者可以使用java反编译器，来 看看class反编译后生成的java源程序，下面是作者使用Jad反编译后生成的Wrapper类的代码：

// Decompiled by Jad v1.5.7d. Copyright 2000 Pavel Kouznetsov.
// Jad home page: http://www.geocities.com/SiliconValley/Bridge/8617/jad.html
// Decompiler options: packimports(3) 
// Source File Name: Wrapper.java


public class Wrapper
{
private class InnerClass
{

private InnerClass()
{
}

InnerClass(_cls1 _pcls1)
{
this();
}
}


public Wrapper()
{
}

private void testInnerClass()
{
InnerClass innerclass = new InnerClass(null);
}

public static void main(String args[])
{
Wrapper wrapper = new Wrapper();
wrapper.testInnerClass();
}

// Unreferenced inner classes:

/* anonymous class */
class _cls1
{
}

}

显然，Wrapper$1类不会有任何实际的作用。那么为什么编译器一定要生成Wrapper$1类，而不使用随便一个基本类型（例如byte）来作为占位符呢？我想，大概是因为使用Wrapper$1可以使用更少的内存吧，因为一个空类是不会占用任何内存的（Wrapper$1类没有任何成员变量，也就不会需要任何指向它的指针变量，事实上，即使删除Wrapper$1.class文件，也不会影响程序运行，jvm将不会给出任何错误提示。），而任何一个可以有实际值的参数都会要求开辟一些内存来存放它。那么java的编译器不会做优化吗？问题是java编译器最终产生的只是class代码，在class代码的层次，无法向虚拟机表达这样的优化。而java虚拟机恐怕也不宜加入这种优化特性，所以sun就采用了现在的这种解决方法。