分享
 
 
 

逐步深入剖析java类的构造方式

王朝java/jsp·作者佚名  2008-05-19
窄屏简体版  字體: |||超大  

概要:本文通过查看一个精心构造的类结构的运行输出和使用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为我们提供的便利。

说完上面这些你现在应该很容易看懂上面的结果和下面将要叙述的

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
推荐阅读
 
 
 
>>返回首頁<<
 
靜靜地坐在廢墟上,四周的荒凉一望無際,忽然覺得,淒涼也很美
© 2005- 王朝網路 版權所有