概要:本文通过查看一个精心构造的类结构的运行输出和使用javap工具查看实际生成的java字节码(bytecode)向java程序员展示了一个类在运行时是如何构造生成的。
关键字: java 构造 javap 字节码 bytecode 按照java规范,一个类实例的构造过程是遵循以下顺序的:
1.如果构造方法(constructor,也有翻译为构造器和构造函数的)是有参数的则进行参数绑定。
2.内存分配将非静态成员赋予初始值(原始类型的成员的值为规定值,例如int型为0,float型为0.0f,boolean型为false;对象类型的初始值为null),静态成员是属于类对象而非类实例,所以类实例的生成不进行静态成员的构造或者初始化,后面将讲述静态成员的生成时间。
3.如果构造方法中存在this()调用(可以是其它带参数的this()调用)则执行之,执行完毕后进入第6步继续执行,如果没有this调用则进行下一步。
4.执行显式的super()调用(可以是其它带参数的super()调用)或者隐式的super()调用(缺省构造方法),此步骤又进入一个父类的构造过程并一直上推至Object对象的构造。
5.执行类申明中的成员赋值和初始化块。
6.执行构造方法中的其它语句。
现在来看看精心构造的一个实例:
class Parent
{
int pm1;
int pm2=10;
int pm3=pmethod();
{
System.out.println("Parent's instance initialize block");
}
public static int spm1=10;
static
{
System.out.println("Parent's static initialize block");
}
Parent()
{
System.out.println("Parent's default constructor");
}
static void staticmethod()
{
System.out.println("Parent's staticmethod");
}
int pmethod()
{
System.out.println("Parent's method");
return 3;
}
}
class Child extends Parent
{
int cm1;
int cm2=10;
int cm3=cmethod();
Other co;
public static int scm1=10;
{
System.out.println("Child's instance initialize block");
}
static
{
System.out.println("Child's static initialize block");
}
Child()
{
co=new Other();
System.out.println("Child's default constructor");
}
Child(int m)
{
this();
cm1=m;
System.out.println("Child's self-define constructor");
}
static void staticmethod()
{
System.out.println("Child's staticmethod");
}
int cmethod()
{
System.out.println("Child's method");
return 3;
}
}
class Other
{
int om1;
Other() {
System.out.println("Other's default constructor");
}
}
public class InitializationTest
{
public static void main(String args[])
{
Child c;
System.out.println("program start");
System.out.println(Child.scm1);
c= new Child(10);
System.out.println("program end");
}
}
进入此文件所在的目录,然后
编译此文件:javac InitializationTest.java
运行此程序:java ?classpath . InitializationTest
得到的结果是:
program start
Parent's static initialize block
Child's static initialize block
10
Parent's method
Parent's instance initialize block
Parent's default constructor
Child's method
Child's instance initialize block
Other's default constructor
Child's default constructor
Child's self-define constructor
program end
如果没有看过上面的关于类的构造的说明,很容易让人误解为类的构造顺序是如下的结果(忽略参数绑定、内存分配和非静态成员的缺省值赋值):
1.完成父类的非静态成员初始化赋值以及执行初始化块(这个的先后顺序取决于源文件中的书写顺序,可以将初始化块置于成员声明前,那么先执行的将是初始化块,将上面的代码稍稍变动一下就可以验证这一点。)
2.调用父类的构造方法完成父类构造。
3.完成非静态成员的初始化赋值以及执行初始化块。
4.调用构造方法完成对象的构造,执行构造方法体中的其它内容。
如果根据以上java规范中给出的顺序也可以合理的解释程序的输出结果,那么如何亲眼看到是规范中的顺序而不是以上根据程序的输出推断的顺序呢?
下面就使用JDK自带的javap工具看看实际的顺序,这个工具是一个根据编译后的字节码生成一份字节码的助记符格式的文档的工具,就像根据机器码生成汇编代码那样。
反编译:javap -c -classpath . Child
输出的结果是(已经经过标记,交替使用黑体和斜体表示要讲解的每一块):
Compiled from InitializationTest.java
class Child extends Parent {
int cm1;
int cm2;
int cm3;
Other co;
public static int scm1;
static {};
Child();
Child(int);
int cmethod();
static void staticmethod();
}
Method static {}
0 bipush 10
2 putstatic #22
5 getstatic #20
8 ldc #5
10 invokevirtual #21
13 return
Method Child()
0 aload_0
1 invokespecial #14
4 aload_0
5 bipush 10
7 putfield #16
10 aload_0
11 aload_0
12 invokevirtual #18
15 putfield #17
18 getstatic #20
21 ldc #2
23 invokevirtual #21
26 aload_0
27 new #8
30 dup
31 invokespecial #13
34 putfield #19
37 getstatic #20
40 ldc #1
42 invokevirtual #21
45 return
Method Child(int)
0 aload_0
1 invokespecial #12
4 aload_0
5 iload_1
6 putfield #15
9 getstatic #20
12 ldc #4
14 invokevirtual #21
17 return
Method int cmethod()
0 getstatic #20
3 ldc #3
5 invokevirtual #21
8 iconst_3
9 ireturn
Method void staticmethod()
0 getstatic #20
3 ldc #6
5 invokevirtual #21
8 return
请仔细浏览一下这个输出并和源代码比较一下。
下面解释如何根据这个输出得到类实例的实际的构造顺序,在开始说明前先解释一下输出的语句的格式,语句中最前面的一个数字是指令的偏移值,这个我们在此可以不管,第二项是指令助记符,可以从字面上大致看出指令的意思。
例如 getstatic 指令将一个静态成员压入一个称为操作数堆栈(后续的指令就可以引用这个数据结构中的成员)的数据结构,而 invokevirtual 指令是调用java虚拟机方法,第三项是操作数(#号后面跟一个数字,实际上是类的成员的标记),有些指令没有这一项,因为有些指令如同汇编指令中的某些指令一样是不需要操作数的(可能是操作数是隐含的或者根本就不需要),这是java中的一个特色。
如果你直接检查字节码,你会看到成员信息没有直接嵌入指令而是像所有由java类使用的常量那样存储在一个共享池中,将成员信息存储在一个常量池中可以减小字节码指令的大小,因为指令只需要存储常量池中的一个索引而不是整个常量。
需要说明的是常量池中的项目的顺序是和编译器相关的,因此在你的环境中看到的可能和我上面给出的输出不完全一样,第四项是对前面的操作数的说明,实际的字节码中也是没有的,根据这个你能很清楚的得到实际上使用的是哪个成员或者调用的是哪个方法,这也是javap为我们提供的便利。
说完上面这些你现在应该很容易看懂上面的结果和下面将要叙述的