Java中構造函數是什麼?它應該具體怎麼用呢?

構造方法,不是構造函數,後者是C++的概念

首先要注意的是Java的構造器並不是函數,所以他並不能被繼承,這在我們extends的時候寫子類的構造器時比較的常見,即使子類構造器參數和父類的完全一樣,我們也要寫super就是因爲這個原因。 
構造器的修飾符比較的有限,僅僅只有public private protected這三個,其他的例如任何修飾符都不能對其使用,也就是說構造器不允許被成名成抽象、同步、靜態等等訪問限制以外的形式。 
因爲構造器不是函數,所以它是沒有返回值的,也不允許有返回值。但是這裏要說明一下,構造器中允許存在return語句,但是return什麼都不返回,如果你指定了返回值,雖然編譯器不會報出任何錯誤,但是JVM會認爲他是一個與構造器同名的函數罷了,這樣就會出現一些莫名其妙的無法找到構造器的錯誤,這裏是要加倍注意的。 

在我們extends一個子類的時候經常會出現一些意想不到的問題,我在這裏說一些和構造器有關的。 
首先說一下Java在構造實例時的順序(不討論裝載類的過程) 
構造的粗略過程如下 
1、分配對象空間,並將對象中成員初始化爲0或者空,java不允許用戶操縱一個不定值的對象。 
2、執行屬性值的顯式初始化(這裏有一點變化,一會解釋,但大體是這樣的) 
3、執行構造器 
4、將變量關聯到堆中的對象上 

介紹一下準備知識,以備一會來詳細說明這個的流程 
this() super()是你如果想用傳入當前構造器中的參數或者構造器中的數據調用其他構造器或者控制父類構造器時使用的,在一個構造器中你只能使用this()或者super()之中的一個,而且調用的位置只能在構造器的第一行, 在子類中如果你希望調用父類的構造器來初始化父類的部分,那就用合適的參數來調用super(),如果你用沒有參數的super()來調用父類的構造器(同時也沒有使用this()來調用其他構造器),父類缺省的構造器會被調用,如果父類沒有缺省的構造器,那編譯器就會報一個錯誤,注意此處,我們經常在繼承父類的時候構造器中並不寫和父類有關的內容,此時如果父類沒有缺省構造器,就會出現編譯器添加的缺省構造器給你添麻煩的問題了哦。例如:Class b extends a{public b(){}}就沒有任何有關父類構造器的信息,這時父類的缺省構造器就會被調用。 

舉個SL-275中的例子 
1 public class Manager extends Employee { 
2 private String department; 
3 
4 public Manager(String name, double salary, String dept) 
{ 
5 super(name, salary); 
6 department = dept; 
7 } 
8 public Manager(String n, String dept) { 
9 super(name); 
10 department = dept; 
11 } 
12 public Manager(String dept) { // 這裏就沒有super(),編譯器會自動地添加一個空參數的缺省super構造器,此時如果Employee類中沒有空參數的缺省構造器,那就會導致一個編譯錯誤 
13 department = d; 
14 } 
15 } 

你必須在構造器的第一行放置super或者this構造器,否則編譯器會自動地放一個空參數的super構造器的,其他的構造器也可以調用super或者this,調用成一個遞歸構造鏈,最後的結果是父類的構造器(可能有多級父類構造器)始終在子類的構造器之前執行,遞歸的調用父類構造器 

在具體構造類實例的過程中,上邊過程的第二步和第三步是有一些變化的,這裏的順序是這樣的,分配了對象空間及對象成員初始化爲默認值之後,構造器就遞歸的從繼承樹由根部向下調用,每個構造器的執行過程是這樣的: 
1、Bind構造器的參數 
2、如果顯式的調用了this,那就遞歸調用this構造器然後跳到步驟5 
3、遞歸調用顯式或者隱式的父類構造器,除了Object以外,因爲它沒有父類 
4、執行顯式的實例變量初始化(也就是上邊的流程中的第二步,調用返回以後執行,這個步驟相當於在父構造器執行後隱含執行的,看樣子像一個特殊處理) 
5、執行構造器的其它部分 

這裏的步驟很重要哦!!!!! 

從這個步驟中可以很明顯的發現這個實例初始化時的遞歸調用過程,估計看過這個你應該能夠理解這個遞歸構造鏈是怎麼樣回事了。 

這裏還是給出SL-275中的一個例子,讓你充分理解一下這個遞歸的過程。 

public class Object { 
... 
public Object() {} 
... 
} 
public class Employee extends Object { 
private String name; 
private double salary = 15000.00; 
private Date birthDate; 
public Employee(String n, Date DoB) { 
// implicit super(); 
name = n; 
birthDate = DoB; 
} 
public Employee(String n) { 
this(n, null); 
} 
} 

public class Manager extends Employee { 
private String department; 
public Manager(String n, String d) { 
super(n); 
department = d; 
} 
} 

在創建Manager("Joe Smith","Sales"):時,步驟如下 
0 basic initialization 
0.1 allocate memory for the complete Manager object 
0.2 initializeall instance variables to their default values (0 or null) 
1 call constructor: Manager("Joe Smith", "Sales") 
1.1 bind constructor parameters: n="Joe Smith", d="Sales" 
1.2 no explicitthis() call 
1.3 call super(n) for Employee(String) 
1.3.1 bind constructor parameters: n="Joe Smith" 
1.3.2 call this(n, null) for Employee(String, Date) 
1.3.2.1 bind constructor parameters: n="Joe Smith", DoB=null 
1.3.2.2 no explicitthis() call 
1.3.2.3 call super() for Object() 
1.3.2.3.1 no binding necessary 
1.3.2.3.2 no this() call 
1.3.2.3.3 no super() call (Object is the root) 
1.3.2.3.4 no explicitvariable initialization for Object 
1.3.2.3.5 no method body to call 
1.3.2.4 initializeexplicit Employee variables: salary=15000.00;注意:在父構造器返回後子類纔會初始化實例變量的值。 
1.3.2.5 execute body: name="Joe Smith"; date=null; 
1.3.3 - 1.3.4 steps skipped 
1.3.5 execute body: no body in Employee(String) 
1.4 no explicit initializers for Manager 
1.5 execute body: department="Sales" 

這個流程就說明了一切,這個步驟是要注意的。一會還有些內容是要涉及到這裏的。 

寫在後邊的一些在使用構造器中的注意事項。 

一、構造器中一定不要創建自身的實例,否則會造成調用棧溢出錯誤。這個規則也適用於對象的實例變量,如果對象中有自身的引用,這個引用一定不能在定義中或者構造器中初始化。 

class a 
{ 
a _a = new a(); 

public a() 
{ 
_a = new a(); 
a _b = new a(); 
} 
} 

以上三種情況都會造成棧溢出,呵呵,這樣會造成一個無窮遞歸的調用棧。 

二、如果父類是一個抽象類,那通過調用父類的構造器,也可以將它初始化,並且初始化其中的數據。 
三、如果你要在構造器中調用一個方法時,將該方法聲明爲private。 
對於這個規則是需要一些說明的,假使你的父類構造器中要調用一個非靜態方法,而這個方法不是private的又被子類所重載,這樣在實際創建子類的過程中遞歸調用到了父類的構造器時,父類構造器對這個方法的調用就會由於多態而實際上調用了子類的方法,當這個子類方法需要用到子類中實例變量的時候,就會由於變量沒有初始化而出現異常(至於爲什麼子類中的實例變量沒有初始化可以參考上邊的實例初始化過程),這是Java不想看到的情況。而當父類構造器中調用的方法是一個private方法時,多態就不會出現,也就不會出現父類構造器調用子類方法的情況,這樣可以保證父類始終調用自己的方法,即使這個方法中調用了父類中的實例變量也不會出現變量未初始化的情況(變量初始化總是在當前類構造器主體執行之前進行)。
提問者評價
o

參考資料: http://www.matrix.org.cn/resource/article/44/44041.html

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章