構造器和方法的區別
摘要
要學習Java,你必須理解構造器。因為構造器可以提供許多特殊的方法，這個對於初學者經常混淆。但是，構造器和方法又有很多重要的區別。原作者：Robert Nielsen 原站：www.javaworld.com
我們說構造器是一種方法，就象講澳大利亞的鴨嘴獸是一種哺育動物。（按：老外喜歡打比喻，我也就照著翻譯）。要理解鴨嘴獸，那么先必須理解它和其他哺育動物的區別。同樣地，要理解構造器，那么就要了解構造器和方法的區別。所有學習java的人，尤其是對那些要認證考試的，理解構造器是非常重要的。下面將簡單介紹一下 ，最後用一個表作了些簡單的總結。
功能和作用的不同
構造器是為了創建一個類的實例。這個過程也可以在創建一個對象的時候用到：platypus p1 = new Platypus();
相反，方法的作用是為了執行java代碼。
修飾符，返回值和命名的不同
構造器和方法在下面三個方便的區別：修飾符，返回值，命名。和方法一樣，構造器可以有任何訪問的修飾： public, protected, private或者沒有修飾（通常被package 和 friendly調用）. 不同於方法的是，構造器不能有以下非訪問性質的修飾： abstract, final, native, static, 或者 synchronized。
返回類型也是非常重要的。方法能返回任何類型的值或者無返回值（void），構造器沒有返回值，也不需要void。
最後，談談兩者的命名。構造器使用和類相同的名字，而方法則不同。按照習慣，方法通常用小寫字母開始，而構造器通常用大寫字母開始。構造器通常是一個名詞，因為它和類名相同；而方法通常更接近動詞，因為它說明一個操作。
"this"的用法
構造器和方法使用關鍵字this有很大的區別。方法引用this指向正在執行方法的類的實例。靜態方法不能使用this關鍵字，因為靜態方法不屬於類的實例，所以this也就沒有什麼東西去指向。構造器的this指向同一個類中，不同參數列表的另外一個構造器，我們看看下面的代碼：
public class Platypus {
String name;
Platypus(String input) {
name = input;
}
Platypus() {
this("John/Mary Doe");
}
public static void main(String args【】) {
Platypus p1 = new Platypus("digger");
Platypus p2 = new Platypus();
}
}
在上面的代碼中，有2個不同參數列表的構造器。第一個構造器，給類的成員name賦值，第二個構造器，調用第一個構造器，給成員變數name一個初始值 "John/Mary Doe".
在構造器中，如果要使用關鍵字this,那么，必須放在第一行，如果不這樣，將導致一個編譯錯誤。
"super"的用法
構造器和方法，都用關鍵字super指向超類，但是用的方法不一樣。方法用這個關鍵字去執行被重載的超類中的方法。看下面的例子：
class mammal {
void getBirthInfo() {
System.out.println("born alive.");
}
}
class Platypus extends Mammal {
void getBirthInfo() {
System.out.println("hatch from eggs");
System.out.print("a mammal normally is ");
super.getBirthInfo();
}
}
在上面的例子中，使用super.getBirthInfo()去調用超類Mammal中被重載的方法。
構造器使用super去調用超類中的構造器。而且這行代碼必須放在第一行，否則編譯將出錯。看下面的例子：
public class SuperClassDemo {
SuperClassDemo() {}
}
class Child extends SuperClassDemo {
Child() {
super();
}
}
在上面這個沒有什麼實際意義的例子中，構造器 Child()包含了 super,它的作用就是將超類中的構造器SuperClassDemo實例化，並加到 Child類中。
編譯器自動加入代碼
編譯器自動加入代碼到構造器，對於這個，java程式設計師新手可能比較混淆。當我們寫一個沒有構造器的類，編譯的時候，編譯器會自動加上一個不帶參數的構造器，例如：public class Example {}
編譯後將如下代碼：
public class Example {
Example() {}
}
在構造器的第一行，沒有使用super，那么編譯器也會自動加上，例如：
public class TestConstructors {
TestConstructors() {}
}
編譯器會加上代碼，如下：
public class TestConstructors {
TestConstructors() {
super;
}
}
仔細想一下，就知道下面的代碼
public class Example {}
經過會被編譯器加代碼形如：
public class Example {
Example() {
super;
}
}
繼承
構造器是不能被繼承的。子類可以繼承超類的任何方法。看看下面的代碼：public class Example {
public void sayHi {
system.out.println("Hi");
}
Example() {}
}
public class SubClass extends Example {
}
類 SubClass 自動繼承了父類中的sayHi方法，但是，父類中的構造器 Example()卻不能被繼承。
構造器
構造器負責類中成員變數（域）的初始化。C#的類有兩種構造器：實例構造器和靜態構造器。實例構造器負責初始化類中的實例變數，它只有在用戶用new關鍵字為對象分配記憶體時才被調用。而且作為引用類型的類，其實例化後的對象必然是分配在託管堆（Managed Heap）上。這裡的託管的意思是指該記憶體受.NET的CLR運行時管理。和C++不同的是，C#中的對象不可以分配在棧中，用戶只聲明對象是不會產生構造器調用的。實例構造器分為預設構造器和非預設構造器。預設構造器是在一個類沒有聲明任何構造器的情況下，編譯器強制為該類添加的一個無參數的構造器，該構造器僅僅調用父類的無參數構造器。預設構造器實際上是C#編譯器為保證每一個類都有至少一個構造器而採取的附加規則。注意這裡的三個要點：
子類沒有聲明任何構造器；
編譯器為子類加的預設構造器一定為無參數的構造器；
父類一定要存在一個無參數的構造器。
看下面例子的輸出：
using System;public class MyClass1{ public MyClass1() { Console.WriteLine(“MyClass1 Parameterless Contructor!”); } public MyClass1(string param1) { Console.WriteLine(“MyClass1 Constructor Parameters : ”+param1); }}public class MyClass2:MyClass1{}public class Test{ public static void Main() { MyClass2 myobject1=new MyClass2(); }}
編譯程式並運行可以得到下面的輸出：
MyClass1 Parameterless Contructor!
讀者可以去掉MyClass1的無參構造器public MyClass1()看看編譯結果。
構造器在繼承時需要特別的注意，為了保證父類成員變數的正確初始化，子類的任何構造器默認的都必須調用父類的某一構造器，具體調用哪個構造器要看構造器的初始化參數列表。如果沒有初始化參數列表，那么子類的該構造器就調用父類的無參數構造器；如果有初始化參數列表，那么子類的該構造器就調用父類對應的參數構造器。看下面例子的輸出：
using System;public class MyClass1{ public MyClass1() { Console.WriteLine("MyClass1 Parameterless Contructor!"); } public MyClass1(string param1) { Console.WriteLine("MyClass1 Constructor Parameters : "+param1); }}public class MyClass2:MyClass1{ public MyClass2(string param1):base(param1) { Console.WriteLine("MyClass2 Constructor Parameters : "+param1); }}public class Test{ public static void Main() { MyClass2 myobject1=new MyClass2("Hello"); }}
編譯程式並運行可以得到下面的輸出：
MyClass1 Constructor Parameters : Hello
MyClass2 Constructor Parameters : Hello
C#支持變數的聲明初始化。類內的成員變數聲明初始化被編譯器轉換成賦值語句強加在類的每一個構造器的內部。那么初始化語句與調用父類構造器的語句的順序是什麼呢？看下面例子的輸出：
using System;public class MyClass1{ public MyClass1() { Print(); } public virtual void Print() {}}public class MyClass2: MyClass1{ int x = 1; int y; public MyClass2() { y = -1; Print(); } public override void Print() { Console.WriteLine("x = , y = ", x, y); }}public class Test{ static void Main() { MyClass2 MyObject1 = new MyClass2(); }}
編譯程式並運行可以得到下面的輸出：
x = 1, y = 0
x = 1, y = -1
容易看到初始化語句在父類構造器調用之前，最後執行的才是本構造器內的語句。也就是說變數初始化的優先權是最高的。
我們看到類的構造器的聲明中有public修飾符，那么當然也可以有protected/private/ internal修飾符。根據修飾符規則，我們如果將一個類的構造器修飾為private，那么我們在繼承該類的時候，我們將不能對這個private的構造器進行調用，我們是否就不能對它進行繼承了嗎？正是這樣。實際上這樣的類在我們的類內的成員變數都是靜態（static）時，而又不想讓類的用戶對它進行實例化，這時必須禁止編譯器為我們暗中添加的構造器（編譯器添加的構造器都為public），就很有必要作一個private的實例構造器了。protected/internal也有類似的用法。
類的構造器沒有返回值,這一點是不言自明的。
靜態構造器初始化類中的靜態變數。靜態構造器不象實例構造器那樣在繼承中被隱含調用，也不可以被用戶直接調用。掌握靜態構造器的要點是掌握它的執行時間。靜態構造器的執行並不確定（編譯器沒有明確定義）。但有四個準則需要掌握：
在一個程式的執行過程中，靜態構造器最多只執行一次。
靜態構造器在類的靜態成員初始化之後執行。或者講編譯器會將靜態成員初始化語句轉換成賦值語句放在靜態構造器執行的最開始。
靜態構造器在任何類的靜態成員被引用之前執行。
靜態構造器在任何類的實例變數被分配之前執行。
看下面例子的輸出：
using System;class MyClass1{ static MyClass1() { Console.WriteLine("MyClass1 Static Contructor"); } public static void Method1() { Console.WriteLine("MyClass1.Method1"); }}class MyClass2{ static MyClass2() { Console.WriteLine("MyClass2 Static Contructor"); } public static void Method1() { Console.WriteLine("MyClass2.Method1"); }}class Test{ static void Main() { MyClass1.Method1(); MyClass2.Method1(); }}
編譯程式並運行可以得到下面的輸出：
MyClass1 Static Contructor
MyClass1.Method1
MyClass2 Static Contructor
MyClass2.Method1
當然也可能輸出：
MyClass1 Static Contructor
MyClass2 Static Contructor
MyClass1.Method1
MyClass2.Method1
值得指出的是實例構造器內可以引用實例變數，也可引用靜態變量。而靜態構造器內能引用靜態變數。這在類與對象的語義下是很容易理解的。
實際上如果我們能夠深刻地把握類的構造器的唯一目的就是保證類內的成員變數能夠得到正確的初始化，我們對各種C#中形形色色的構造器便有會心的理解--它沒有理由不這樣！
析構器
由於.NET平台的自動垃圾收集機制，C#語言中類的析構器不再如傳統C++那么必要，析構器不再承擔對象成員的記憶體釋放--自動垃圾收集機制保證記憶體的回收。實際上C#中已根本沒有delete操作！析構器只負責回收處理那些非系統的資源，比較典型的如：打開的檔案，獲取的視窗句柄，資料庫連線，網路連線等等需要用戶自己動手釋放的非記憶體資源。我們看下面例子的輸出：using System;class MyClass1{ ~MyClass1() { Console.WriteLine("MyClass1's destructor"); }}class MyClass2: MyClass1{ ~MyClass2() { Console.WriteLine("MyClass2's destructor"); }}public class Test{ public static void Main() { MyClass2 MyObject = new MyClass2(); MyObject = null; GC.Collect(); GC.WaitForPendingFinalizers(); }}
編譯程式並運行可以得到下面的輸出：
MyClass2's destructor
MyClass1's destructor
其中程式中最後兩句是保證類的析構器得到調用。GC.Collect()是強迫通用語言運行時進行啟動垃圾收集執行緒進行回收工作。而GC.WaitForPendingFinalizers()是掛起目前的執行緒等待整個終止化（Finalizaion）操作的完成。終止化（Finalizaion）操作保證類的析構器被執行，這在下面會詳細說明。
析構器不會被繼承，也就是說類內必須明確的聲明析構器，該類才存在析構器。用戶實現析構器時，編譯器自動添加調用父類的析構器，這在下面的Finalize方法中會詳細說明。析構器由於垃圾收集機制會被在合適的的時候自動調用，用戶不能自己調用析構器。只有實例析構器，而沒有靜態析構器。
那么析構器是怎么被自動調用的？這在 .Net垃圾回收機制由一種稱作終止化（Finalizaion）的操作來支持。.Net系統預設的終止化操作不做任何操作，如果用戶需要釋放非受管資源，用戶只要在析構器內實現這樣的操作即可--這也是C#推薦的做法。我們看下面這段代碼：
using System;class MyClass1{ ~MyClass1() { Console.WritleLine("MyClass1 Destructor"); }}
而實際上，從生成的中間代碼來看我們可以發現，這些代碼被轉化成了下面的代碼：
using System;class MyClass1{ protected override void Finalize() { try {Console.WritleLine("My Class1 Destructor"); } finally { base.Finalize(); } }}
實際上C#編譯器不允許用戶自己重載或調用Finalize方法--編譯器徹底禁止了父類的Finalize方法（由於C#的單根繼承性質，System.Object類是所有類的祖先類，自然每個類都有Finalize方法），好像這樣的方法根本不存在似的。我們看下面的代碼實際上是錯的：
using System;class MyClass{ override protected void Finalize() {}// 錯誤 public void MyMethod() { this.Finalize();// 錯誤 }}
但下面的代碼卻是正確的：
using System;class MyClass{ public void Finalize() { Console.WriteLine("My Class Destructor"); }}public class Test{ public static void Main() { MyClass MyObject=new MyClass(); MyObject.Finalize(); }}
實際上這裡的Finalize方法已經徹底脫離了“終止化操作”的語義，而成為C#語言的一個一般方法了。值得注意的是這也禁止了父類System.Object的Finalize方法，所以要格外小心！
終止化操作在.Net運行時里有很多限制，往往不被推薦實現。當對一個對象實現了終止器（Finalizer）後，運行時便會將這個對象的引用加入一個稱作終止化對象引用集的佇列，作為要求終止化的標誌。當垃圾收集開始時，若一個對象不再被引用但它被加入了終止化對象引用集的佇列，那么運行時並不立即對此對象進行垃圾收集工作，而是將此對象標誌為要求終止化操作對象。待垃圾收集完成後，終止化執行緒便會被運行時喚醒執行終止化操作。顯然這之後要從終止化對象引用集的鍊表中將之刪去。而只有到下一次的垃圾收集時，這個對象才開始真正的垃圾收集，該對象的記憶體資源才被真正回收。容易看出來，終止化操作使垃圾收集進行了兩次，這會給系統帶來不小的額外開銷。終止化是通過啟用執行緒機制來實現的，這有一個執行緒安全的問題。.Net運行時不能保證終止化執行的順序，也就是說如果對象A有一個指向對象B的引用，兩個對象都有終止化操作，但對象A在終止化操作時並不一定有有效的對象A引用。.Net運行時不允許用戶在程式運行中直接調用Finalize()方法。如果用戶迫切需要這樣的操作，可以實現IDisposable接口來提供公共的Dispose()方法。需要說明的是提供了Dispose()方法後，依然需要提供Finalize方法的操作，即實現假託的析構函式。因為Dispose()方法並不能保證被調用。所以.Net運行時不推薦對對象進行終止化操作即提供析構函式，只是在有非受管資源如資料庫的連線，檔案的打開等需要嚴格釋放時，才需要這樣做。
大多數時候，垃圾收集應該交由.Net運行時來控制，但有些時候，可能需要人為地控制一下垃圾回收操作。例如在操作了一次大規模的對象集合後，我們確信不再在這些對象上進行任何的操作了，那我們可以強制垃圾回收立即執行，這通過調用System.GC.Collect() 方法即可實現，但頻繁的收集會顯著地降低系統的性能。還有一種情況，已經將一個對象放到了終止化對象引用集的鏈上了，但如果我們在程式中某些地方已經做了終止化的操作，即明確調用了Dispose()方法，在那之後便可以通過調用System.GC.SupressFinalize()來將對象的引用從終止化對象引用集鏈上摘掉，以忽略終止化操作。終止化操作的系統負擔是很重的。
在深入了解了.NET運行時的自動垃圾收集功能後，我們便會領會C#中的析構器為什麼繞了這么大的彎來實現我們的編程需求，才能把記憶體資源和非記憶體資源的回收做的遊刃有餘--這也正是析構的本原！
