構造方法的初始化順序

2019-11-18 11:53:51

字體：大中小

來源：轉載

供稿：網友

　　想像一下你正在用java寫程序，并且用下面的代碼初始化類 A 和 B 的對象：
　　
　　class A {
　　int a = f();
　　int f() {
　　return 1;
　　}
　　}
　　
　　class B extends A {
　　int b = a;
　　int f() {
　　return 2;
　　}
　　}
　　
　　public class CtorDemo1 {
　　public static void main(String args[]) {
　　B bobj = new B();
　　System.out.PRintln(bobj.b);
　　}
　　}
　　
　　現在，似乎很明顯的當初始化完成后，bobj.b的值將是1。究竟，類B中的b 的值是用類A中的a的值初始化的，而a 是用f 的值初始化的，而它的值為1，對嗎？
　　
　　實際上， bobj.b 的值是2，要知道為什么需要知道對象初始化的問題。
　　
　　當一個對象被創建時，初始化是以下面的順序完成的：
　　
　　1. 設置成員的值為缺省的初始值 (0, false, null)
　　2. 調用對象的構造方法 (但是還沒有執行構造方法體)
　　3. 調用父類的構造方法
　　4. 使用初始化程序和初始塊初始化成員
　　5. 執行構造方法體
　　
　　看看在實際中是如何一步一步完成的，看看下面的例子：
　　
　　class A {
　　A() {
　　System.out.println("A.A called");
　　}
　　}
　　
　　class B extends A {
　　int i = f();
　　int j;
　　{
　　j = 37;
　　System.out.println("initialization block executed");
　　}
　　
　　B() {
　　System.out.println("B.B called");
　　}
　　
　　int f() {
　　System.out.println("B.f called");
　　return 47;
　　}
　　}
　　
　　public class CtorDemo2 {
　　public static void main(String args[]) {
　　B bobj = new B();
　　}
　　}
　　
　　程序的輸出是：
　　
　　A.A called
　　B.f called
　　initialization block executed
　　B.B called
　　
　　B 的構造方法被調用，但是最先做的事情是隱含的調用父類的構造方法。父類必須自己負責初始化它自己的狀態而不是讓子類來做。
　　
　　然后B對象的成員被初始化，這包含一個對B.f 的調用和包圍在{}中的初始塊的執行。最后B的構造方法體被執行。
　　
　　你可能會問“什么是對父類的構造方法的隱含調用”。這意味著假如你的構造方法的第一行不是下面內容之一：
　　
　　super();
　　super(args);
　　this();
　　this(args);
　　
　　則有下面的調用：
　　
　　super();
　　
　　提供給構造方法的第一行。
　　
　　假如類沒有構造方法呢？在這種情況下，一個缺省的構造方法(也叫"無參構造方法")由java編譯器自動生成。缺省構造方法只有在類沒有任何其它的構造方法時才產生。
　　
　　更深入的明白這個，假設在文件A.java中有這樣的代碼：
　　
　　public class A {
　　public static void main(String args[]) {
　　A aref = new A();
　　}
　　}
　　
　　假如你想編譯然后列出A.class 中的字節碼，輸入下面的內容：
　　
　　$ javac A.java
　　$ javap -c -classpath . A
　　
　　輸出：
　　
　　Compiled from A.java
　　public class A extends java.lang.Object {
　　public A();
　　public static void main(java.lang.String[]);
　　}
　　
　　Method A()
　　0 aload_0
　　1 invokespecial #1
　　4 return
　　
　　Method void main(java.lang.String[])
　　0 new #2
　　3 dup
　　4 invokespecial #3
　　7 astore_1
　　8 return
　　
　　在main 中，注重對 A 的構造方法的調用(就是invokespecial 行)，以及A的構造方法中產生的類似的對Object 構造方法的調用。
　　
　　假如父類沒有缺省構造方法，你必須明確使用"super(args)"調用父類的某個構造方法，例如，下面是一個錯誤的用法：
　　
　　
　　class A {
　　A(int i) {}
　　}
　　
　　class B extends A {}
　　
　　在上面的情況下， A 沒有缺省的構造方法，但是B的構造方法必須調用A的某個構造方法。
　　
　　讓我們來看看初始化的另一個例子：
　　
　　class A {
　　A() {
　　System.out.println("A.A called");
　　}
　　
　　A(int i) {
　　this();
　　System.out.println("A.A(int) called");
　　}
　　}
　　
　　class B extends A {
　　int i = f();
　　int j;
　　{
　　j = 37;
　　System.out.println("initialization block executed");
　　}
　　
　　B() {
　　this(10);
　　System.out.println("B.B() called");
　　}
　　
　　B(int i) {
　　super(i);
　　System.out.println("B.B(int) called");
　　}
　　
　　int f() {
　　System.out.println("B.f called");
　　return 47;
　　}
　　}
　　
　　public class CtorDemo3 {
　　public static void main(String args[]) {
　　B bobj = new B();
　　}
　　}
　　
　　程序的輸出是：
　　
　　A.A called
　　A.A(int) called
　　B.f called
　　initialization block executed
　　B.B(int) called
　　B.B() called
　　
　　這個例子明確使用super() 和 this() 調用。this()調用是調用同一個類中的另一個構造方法；這個方法被稱為“顯式構造方法調用”。當那樣的構造方法被調用，它將執行通常的s uper() 過程以及后續的操作。這意味著A.A 的方法體在A.A(int)之前執行，而這兩個都在B.B(int) 和B.B 前執行。
　　
　　假如返回第一個例子，你就可以回答為什么打印的是2而不是1。B 沒有構造方法，因此生成一個缺省構造方法，然后它調用super()，然后調用A 產生的缺省構造方法。
　　
　　然后A中的成員被初始化，成員a 被設置為方法f()的值，但是因為B 對象正被初始化，f() 返回值2。換句話說，調用的是B中的f()方法。
　　
　　A產生的構造方法體被執行，然后B的成員被初始化，而b 被賦予值a，也就是2。最后，B的構造方法被執行。
　　
　　最后一個例子說明了第一個例子的一個小小的變異版本：
　　
　　
　　class A {
　　int a = f();
　　int f() {
　　return 1;
　　}
　　}
　　
　　class B extends A {
　　int b = 37;
　　int f() {
　　return b;
　　}
　　}
　　
　　public class CtorDemo4 {
　　public static void main(String args[]) {
　　B bobj = new B();
　　System.out.println(bobj.a);
　　System.out.println(bobj.f());
　　}
　　}
　　
　　程序的輸出是：
　　0
　　37
　　
　　你可能會期望輸出的兩個值bobj.a 和bobj.f()是一樣的，但是正如你看到的他們不一樣。這是正確的，即使是在a是從B的f方法中初始化的并且打印的是a 和 B的 f 方法的值。
　　
　　這兒的問題是當a通過對B的f方法調用而初始化，而該方法返回成員b的值，而該成員還沒有被初始化。因為這個，b的值就是剛開始的初始值0 。
　　
　　這些例子解釋了編程中重要的一點――在對象的構造階段調用可重載的方法是不明智的。

上一篇：到2004年Java技術發展預測

下一篇：JAVA程序員必讀：基礎篇(2.a)語言基礎