摘 要:建構函式與解構函式是一個類中看似較為簡單的兩類函式,但在實際運用過程中總會出現一些意想不到的執行錯誤。本文將較系統的介紹建構函式與解構函式的原理及在C#中的運用,以及在使用過程中需要注意的若干事項。
關鍵字:建構函式;解構函式;垃圾回收器;非託管資源;託管資源
一.建構函式與解構函式的原理
作為比C更先進的語言,C#提供了更好的機制來增強程式的安全性。C#編譯器具有嚴格的型別安全檢查功能,它幾乎能找出程式中所有的語法問題,這的確幫了程式設計師的大忙。但是程式通過了編譯檢查並不表示錯誤已經不存在了,在“錯誤”的大家庭裡,“語法錯誤”的地位只能算是冰山一角。級別高的錯誤通常隱藏得很深,不容易發現。
根據經驗,不少難以察覺的程式錯誤是由於變數沒有被正確初始化或清除造成的,而初始化和清除工作很容易被人遺忘。微軟利用面向物件的概念在設計C#語言時充分考慮了這個問題並很好地予以解決:把物件的初始化工作放在建構函式中,把清除工作放在解構函式中。當物件被建立時,建構函式被自動執行。當物件消亡時,解構函式被自動執行。這樣就不用擔心忘記物件的初始化和清除工作。
二.建構函式在C#中的運用
建構函式的名字不能隨便起,必須讓編譯器認得出才可以被自動執行。它的命名方法既簡單又合理:讓建構函式與類同名。除了名字外,建構函式的另一個特別之處是沒有返回值型別,這與返回值型別為void的函式不同。如果它有返回值型別,那麼編譯器將不知所措。在你可以訪問一個類的`方法、屬性或任何其它東西之前, 第一條執行的語句是包含有相應類的建構函式。甚至你自己不寫一個建構函式,也會有一個預設建構函式提供給你。
class TestClass
{
public TestClass(): base() {} // 由CLR提供
}
下面列舉了幾種型別的建構函式
1)預設建構函式
class TestClass
{
public TestClass(): base() {}
}
上面已介紹,它由系統(CLR)提供。
2)例項建構函式
例項建構函式是實現對類中例項進行初始化的方法成員。如:
using System;
class Point
{
public double x, y;
public Point()
{
this.x = 0;
this.y = 0;
}
public Point(double x, double y)
{
this.x = x;
this.y = y;
}
}
class Test
{
static void Main()
{
Point a = new Point();
Point b = new Point(3, 4); // 用建構函式初始化物件
}
}
聲明瞭一個類Point,它提供了兩個建構函式。它們是過載的。一個是沒有引數的Point建構函式和一個是有兩個double引數的Point建構函式。如果類中沒有提供這些建構函式,那麼會CLR會自動提供一個預設建構函式的。但一旦類中提供了自定義的建構函式,如Point()和Point(double x, double y),則預設建構函式將不會被提供,這一點要注意。
3) 靜態建構函式
靜態建構函式是實現對一個類進行初始化的方法成員。它一般用於對靜態資料的初始化。靜態建構函式不能有引數,不能有修飾符而且不能被呼叫,當類被載入時,類的靜態建構函式自動被呼叫。如:
using ;
class Employee
{
private static DataSet ds;
static Employee()
{
ds = new DataSet(...);
}
}
聲明瞭一個有靜態建構函式的類Employee。注意靜態建構函式只能對靜態資料成員進行初始化,而不能對非靜態資料成員進行初始化。但是,非靜態建構函式既可以對靜態資料成員賦值,也可以對非靜態資料成員進行初始化。
如果類僅包含靜態成員,你可以建立一個private的建構函式:private TestClass() {…},但是private意味著從類的外面不可能訪問該建構函式。所以,它不能被呼叫,且沒有物件可以被該類定義例項化。
以上是幾種型別建構函式的簡單運用,下面將重點介紹一下在類的層次結構中(即繼承結構中)基類和派生類的建構函式的使用方式。派生類物件的初始化由基類和派生類共同完成:基類的成員由基類的建構函式初始化,派生類的成員由派生類的建構函式初始化。
當建立派生類的物件時,系統將會呼叫基類的建構函式和派生類的建構函式,構 造函式的執行次序是:先執行基類的建構函式,再執行派生類的建構函式。如果派生類又有物件成員,則,先執行基類的建構函式,再執行成員物件類的建構函式,最後執行派生類的建構函式。
至於執行基類的什麼建構函式,預設情況下是執行基類的無參建構函式,如果要執行基類的有參建構函式,則必須在派生類建構函式的成員初始化表中指出。如:
class A
{ private int x;
public A( ) { x = 0; }
public A( int i ) { x = i; }
};
class B : A
{ private int y;
public B( ) { y = 0; }
public B( int i ) { y = i; }
public B( int i, int j ):A(i) { y = j; }
};
B b1 = new B(); //執行基類A的建構函式A(),再執行派生類的建構函式B()
B b2 = new B(1); //執行基類A的建構函式A(),再執行派生類的建構函式B(int)
B b3 = new B(0,1); //執行執行基類A的建構函式A(int) ,再執行派生類的
建構函式B(int,int)
在這裡建構函式的執行次序是一定要分析清楚的。另外,如果基類A中沒有提供無參建構函式public A( ) { x = 0; },則在派生類的所有建構函式成員初始化表中必須指出基類A的有參建構函式A(i),如下所示:
class A
{ private int x;
public A( int i ) { x = i; }
};
class B : A
{ private int y;
public B():A(i) { y = 0; }
public B(int i):A(i) { y = i; }
public B(int i, int j):A(i) { y = j; }
};
三.解構函式和垃圾回收器在C#中的運用
解構函式是實現銷燬一個類的例項的方法成員。解構函式不能有引數,不能任何修飾符而且不能被呼叫。由於解構函式的目的與建構函式的相反,就加字首‘~’以示區別。
雖然C#(更確切的說是CLR)提供了一種新的記憶體管理機制---自動記憶體管理機制(Automatic memory management),資源的釋放是可以通過“垃圾回收器” 自動完成的,一般不需要使用者干預,但在有些特殊情況下還是需要用到解構函式的,如在C#中非託管資源的釋放。
資源的釋放一般是通過"垃圾回收器"自動完成的,但具體來說,仍有些需要注意的地方:
1. 值型別和引用型別的引用其實是不需要什麼"垃圾回收器"來釋放記憶體的,因為當它們出了作用域後會自動釋放所佔記憶體,因為它們都儲存在棧(Stack)中;
2. 只有引用型別的引用所指向的物件例項才儲存在堆(Heap)中,而堆因為是一個自由儲存空間,所以它並沒有像"棧"那樣有生存期("棧"的元素彈出後就代表生存期結束,也就代表釋放了記憶體),並且要注意的是,"垃圾回收器"只對這塊區域起作用;
然而,有些情況下,當需要釋放非託管資源時,就必須通過寫程式碼的方式來解決。通常是使用解構函式釋放非託管資源,將使用者自己編寫的釋放非託管資源的程式碼段放在解構函式中即可。需要注意的是,如果一個類中沒有使用到非託管資源,那麼一定不要定義解構函式,這是因為物件執行了解構函式,那麼"垃圾回收器"在釋放託管資源之前要先呼叫解構函式,然後第二次才真正釋放託管資源,這樣一來,兩次刪除動作的花銷比一次大多的。下面使用一段程式碼來示解構函式是如何使用的:
public class ResourceHolder
{
~ResourceHolder()
{
// 這裡是清理非託管資源的使用者程式碼段
}
}
四.小結
建構函式與解構函式雖然是一個類中形式上較簡單的函式,但它們的使用決非看上去那麼簡單,因此靈活而正確的使用建構函式與解構函式能夠幫你更好的理解CLR的記憶體管理機制,以及更好的管理系統中的資源。