C++指針說明管理

C++語言發展到今天，依靠著C++自身的自由性，很大部分還體現在其靈活的C++指針運用上，從最初的pascal發展至今的object pascal，C++在指針的運用上，絕不遜色於C語言的指針。

對於給定的資源的擁有著，是負責釋放資源的一個對象或者是一段代碼。所有權分立為兩種級別--自動的和顯式的automatic and explicit），如果一個對象的釋放是由語言本身的機制來保證的，這個對象的就是被自動地所有。

例如，一個嵌入在其他對象中的對象，他的清除需要其他對象來在清除的時候保證。外面的對象被看作嵌入類的所有者。類似地，每個在棧上創建的對象作為自動變量）的釋放破壞）是在控制流離開了對象被定義的作用域的時候保證的。

這種情況下，作用於被看作是對象的所有者。注意所有的自動所有權都是和語言的其他機制相容的，包括異常。無論是如何退出作用域的--正常流程控制退出、一個break語句、一個return、一個goto、或者是一個throw--自動資源都可以被清除。

到目前為止，一切都很好！問題是在引入指針、句柄和抽象的時候產生的。如果通過一個C++指針訪問一個對象的話，比如對象在堆中分配，C++不自動地關注它的釋放。程序員必須明確的用適當的程序方法來釋放這些資源。比如說。

• 淺析C++接口實現方法
• 怎樣更好的學習C++語言？
• 解析學習C++時的疑難問題
• C++語言入門介紹
• C++中的C++函數說明

如果一個對象是通過調用new來創建的，它需要用delete來回收。一個文件是用CreateFile(Win32 API)打開的，它需要用CloseHandle來關閉。

用EnterCritialSection進入的臨界區Critical Section）需要LeaveCriticalSection退出，等等。一個"裸"C++指針，文件句柄，或者臨界區狀態沒有所有者來確保它們的最終釋放。基本的資源管理的前提就是確保每個資源都有他們的所有者。

一個C++指針，一個句柄，一個臨界區狀態只有在我們將它們封裝入對象的時候才會擁有所有者。這就是我們的第一規則：在構造函數中分配資源，在析構函數中釋放資源。當你按照規則將所有資源封裝的時候，你可以保證你的程序中沒有任何的資源洩露。這點在當封裝對象Encapsulating Object）在棧中建立或者嵌入在其他的對象中的時候非常明顯。但是對那些動態申請的對象呢？

不要急！任何動態申請的東西都被看作一種資源，並且要按照上面提到的方法進行封裝。這一對象封裝對象的鏈不得不在某個地方終止。它最終終止在最高級的所有者，自動的或者是靜態的。這些分別是對離開作用域或者程序時釋放資源的保證。

下面是資源封裝的一個經典例子。在一個多線程的應用程序中，線程之間共享對象的問題是通過用這樣一個對象聯系臨界區來解決的。每一個需要訪問共享資源的客戶需要獲得臨界區。例如，這可能是Win32下臨界區的實現方法

class CritSect  
{  
friend class Lock;  
public:  
CritSect () { InitializeCriticalSection (&_critSection); }  
~CritSect () { DeleteCriticalSection (&_critSection); }  
private  
void Acquire ()  
{  
EnterCriticalSection (&_critSection);  
}  
void Release ()  
{  
LeaveCriticalSection (&_critSection);  
}  
CRITICAL_SECTION _critSection;  
}; 

這裡聰明的部分是我們確保每一個進入臨界區的客戶最後都可以離開。"進入"臨界區的狀態是一種資源，並應當被封裝。封裝器通常被稱作一個鎖lock）。