動態內存使用最多的是在C++應用程序的代碼中。有過編程經驗的程序員雖然都知道new操作符的使用一定要與delete匹配,在某些場合仍然可能有內存溢出。當異常被擲出時,程序的正常控制流程被改變,因此導致潛在的內存溢出。例如,
void g() //可能擲出
{
if (some_condition == false)
throw X();
}
void func()
{
string * pstr = new string;
g(); //如果 g 擲出一個異常,內存溢出
delete pstr; //如果 g 擲出一個異常,則此行為不能達到的代碼行。
}
int main()
{
try
{
func();
}
catch(...)
{}
}
當 g 擲出一個異常,異常處理機制展開堆棧:g()退出,同時控制被轉移到 main() 的 catch(...)代碼塊。這時,無論怎樣,func()中的delete語句都不會被執行,由此導致pstr的內存溢出。要是使用局部自動串變量,而不是使用動態分配-內存溢出就不會出現了:string str; //局部自動對象
g(); //沒有內存溢出
許多數據重要的結構以及應用,象鏈表,STL容器,串,數據庫系統以及交互式應用必須使用動態內存分配,因此仍然冒著萬一發生異常導致內存溢出的風險。C++標准化委員會意識到了這個漏洞並在標准庫中添加了一個特殊的類模板,它就是std::auto_ptr,其目的是促使動態內存和異常之前進行平滑的交互。Auto_ptr保證當異常擲出時分配的對象(即:new操作符分配的對象)能被自動銷毀,內存能被自動釋放。下面我們就來討論使用動態內存時,如何正確和有效地使用auto_ptr來避免資源溢出。這個技術適用於文件,線程,鎖定以及與此類似的資源。
Auto_ptr的定義可以在<memory.h>中找到。與標准庫中其它的成員一樣,它被聲明在命名空間std::中。當你實例化auto_ptr對象時,對它進行初始化的方法是用一個指針指向動態分配的對象,下面是實例化和初始化auto_ptr對象的例子:
#include <memory>
#include <string>
using namespace std;
void func()
{
auto_ptr<string> pstr (new string); /* 創建並初始化auto_ptr */
}
auto_ptr後面的尖括弧裡指定auto_ptr指針的類型,在這個例子中是string。然後auto_ptr句柄的名字,在這個例子中是pstr。最後是用動態分配的對象指針初始化這個實例。注意你只能使用auto_ptr構造器的拷貝,也就是說,下面的代碼是非法的:
auto_ptr<string> pstr = new string; //編譯出錯
Auto_ptr是一個模板,因此它是完全通用的。它可以指向任何類型的對象,包括基本的數據類型:
auto_ptr<int> pi (new int);
一旦你實例化一個auto_ptr,並用動態分配的對象地址對它進行了初始化,就可以將它當作普通的對象指針使用,例如:
*pstr = "hello world"; //賦值
pstr->size(); //調用成員函數
之所以能這樣做是因為auto_ptr重載了操作符&,*和->。不要被語法誤導,記住pstr是一個對象,不是一個指針。
auto_ptr是如何解決前面提到的內存溢出問題呢?auto_ptr的析構函數自動摧毀它綁定的動態分配對象。換句話說,當pstr的析構函數執行時,它刪除構造pstr期間創建的串指針。你絕不能刪除auto_ptr,因為它是一個本地對象,它的析構函數是被自動調用的。讓我們看一下函數func()的修訂版本,這次使用了auto_ptr:
void func()
{
auto_ptr<string> pstr (new string);
g(); //如果g()擲出異常,pstr 被自動摧毀
}
C++保證在堆棧展開過程中,自動存儲類型的對象被自動摧毀。因此,如果g()擲出異常,pstr的析構函數將會在控制被轉移到catch(...)塊之前執行。因為pstr的析構函數刪除其綁定的串指針,所以不會有內存溢出發生。這樣我們在使用動態分配對象時,利用auto_ptr就實現了自動和安全的本地對象。
如何避免使用auto_ptr的缺陷
auto_ptr並不是完美無缺的,它的確很方便,但也有缺陷,在使用時要注意避免。首先,不要將auto_ptr對象作為STL容器的元素。C++標准明確禁止這樣做,否則可能會碰到不可預見的結果(在另文中討論)。
auto_ptr的另一個缺陷是將數組作為auto_ptr的參數:
auto_ptr<char> pstr (new char[12] ); //數組;為定義
記住不管什麼時候使用數組的new操作時,必須要用delete[]來摧毀數組。因為auto_ptr的析構函數只對非數組類型起作用。所以數組是不能被正確摧毀的話,程序的行為是不明確的。總之,auto_ptr控制一個由new分配的單對象指針,僅此而已。