條目13中介紹了“資源獲取即初始化”(Resource Acquisition Is Initialization,簡稱RAII)的概念,它是資源管理的中心內(nèi)容。同時條目13中還使用auto_ptr和tr1::shared_ptr作為示例,描述了如何利用這一概念來管理堆上的資源。然而并不是所有的資源都分配于堆上,對于不分配于堆上的資源,諸如auto_ptr和tr1::shared_ptr這一類的智能指針并不適合于處理它們。這是千真萬確的,你必須不時地自己動手,創(chuàng)建自己的資源管理類。
舉例說,你正使用一個C版本的API所提供的lock和unlock函數(shù)來處理Mutex類型的互斥對象:
void lock(Mutex *pm); // 通過pm為互斥量上鎖
void unlock(Mutex *pm); // 為互斥量解鎖
為了確保你曾上鎖的互斥量都得到解鎖,你應(yīng)該自己編寫一個類來管理互斥鎖。這樣的類的基本結(jié)構(gòu)應(yīng)遵循RAII的原理,那就是:資源在構(gòu)造過程中獲得,在析構(gòu)過程中釋放:
class Lock {
public:
explicit Lock(Mutex *pm)
: mutexPtr(pm)
{ lock(mutexPtr); } // 獲取資源
~Lock() { unlock(mutexPtr); } // 釋放資源
private:
Mutex *mutexPtr;
};
客戶通過傳統(tǒng)的RAII風(fēng)格來使用Lock類:
Mutex m; // 定義互斥量以便使用
...
{ // 創(chuàng)建程序塊用來定義臨界區(qū)
Lock ml(&m); // 為互斥量上鎖
... // 進(jìn)行臨界區(qū)操作
} // 在程序塊末尾互斥量將自動解鎖
這樣可以正常工作,但是如果復(fù)制一個Lock對象,將會發(fā)生些什么呢?
Lock ml1(&m); // 為m上鎖
Lock ml2(ml1); // 把ml1復(fù)制給ml2
// 將會發(fā)生什么呢?
有一個問題是所有的RAII類創(chuàng)建者必須面對的,那就是:當(dāng)復(fù)制一個RAII對象時應(yīng)做些什么。以上是對于這個一般化問題的一個較具體的示例。大多數(shù)時候,以下四種可行的方案供你選擇。
l 禁止復(fù)制。在許多情況下,允許RAII被復(fù)制沒有任何意義。比如對于Lock類來說就是這樣,因為復(fù)制同步原型在大多數(shù)情況下都沒有什么意義。當(dāng)復(fù)制一個RAII類無意義時,你就應(yīng)該禁止它。條目6中詳細(xì)介紹了實現(xiàn)方法:將拷貝賦值運算符聲明為私有的。對于Lock而言,應(yīng)該是下面的情形:
class Lock: private Uncopyable { // 防止復(fù)制 — 參見條目6
public:
... // 同上
};
l 為潛在生成的資源進(jìn)行引用計數(shù)。有時,我們期望能保留對一個資源的所有權(quán),直到其所涉及的最后一個對象被刪除為止。在這種情況下,復(fù)制一個RAII對象將會添加一個引用資源對象的計數(shù)。這就是tr1::shared_ptr所使用的“復(fù)制”的含義。
通常情況下,RAII類可以通過包含一個tr1::shared_ptr數(shù)據(jù)成員來實現(xiàn)引用計數(shù)復(fù)制行為。舉例說,如果Lock在設(shè)計時之初就期望使用引用計數(shù),它可能會用tr1::shared_ptr<Mutex>代替Mutex*來作為mutexPtr的類型。但是不幸的是,tr1::shared_ptr默認(rèn)的行為是:當(dāng)引用計數(shù)值變?yōu)榱銜r,刪除其所指向的內(nèi)容,但這不是我們想要的。當(dāng)一個Mutex用完時,我們希望對其進(jìn)行的操作是解鎖,而不是刪除它。
所幸的是,tr1::shared_ptr允許指定一個“刪除器”,它是一個函數(shù)或一個函數(shù)對象,用于在引用計數(shù)值為零時進(jìn)行調(diào)用。(auto_ptr并不包含這一特性,它總是刪除它所指向的內(nèi)容。)刪除器是tr1::shared_ptr構(gòu)造函數(shù)的第二個(可選的)參數(shù),所以代碼應(yīng)該是這樣的:
class Lock {
public:
explicit Lock(Mutex *pm) // 初始化shared_ptr,參數(shù)為
: mutexPtr(pm, unlock) // 指向Mutex的指針和解鎖函數(shù)
lock(mutexPtr.get()); // 關(guān)于"get"的信息請參見條目15
}
private:
std::tr1::shared_ptr<Mutex> mutexPtr;
}; // 使用shared_ptr而不是原始指針
在本示例中,請注意Lock類不再聲明析構(gòu)函數(shù)。這是因為我們不再需要它了。條目5中介紹了類的析構(gòu)函數(shù)(無論是編譯器自動生成的還是用戶自定義的)會自動為類的非靜態(tài)數(shù)據(jù)成員進(jìn)行析構(gòu)。就像本示例中的mutexPtr。然而,當(dāng)互斥量的引用計數(shù)變?yōu)榱銜r,mutexPtr將會自動調(diào)用tr1::shared_ptr的刪除器unlock。(此時如果你為代碼添加了一段注釋,告訴人們你并沒有忘記編寫析構(gòu)函數(shù),你只是借助了默認(rèn)的編譯器行為。人們看了這樣的注釋思路會更清晰一些。他們會感激你的。)
l 復(fù)制潛在生成的資源。一些時候,你可以在需要的情況下為資源復(fù)制出任意份數(shù)的副本,此時你需要一個資源管理類的唯一理由就是:確保每份副本在其工作完成之后得到釋放。在這種情況下,復(fù)制資源管理對象的同時,也要復(fù)制出其所涉及的資源。也可以說,復(fù)制一個資源管理對象時,將進(jìn)行“深度復(fù)制”。
標(biāo)準(zhǔn)string類型的一些實現(xiàn)版本中,包含著一個指向堆內(nèi)存的指針,這個指針?biāo)赶虻木褪亲址4娴奈恢谩_@樣的string對象包含著一個指向堆內(nèi)存的指針。當(dāng)一個string對象被復(fù)制時,將同時復(fù)制這一指針和其指向的內(nèi)存。這樣的string就進(jìn)行了一次深度復(fù)制。
l 傳遞潛在生成資源的所有權(quán)。在少數(shù)情況下,你可能需要確保僅僅有一個RAII對象引用了一個原始的資源,當(dāng)復(fù)制這一RAII對象時,資源的所有權(quán)也將從源對象傳遞到目標(biāo)對象。如同條目13中所解釋的,這是通過auto_ptr所實現(xiàn)的“復(fù)制”的含義。
拷貝函數(shù)(拷貝構(gòu)造函數(shù)和拷貝賦值運算符)可以由編譯器自動生成,但是如果編譯器自動生成版本無法滿足你的需要(條目5中解釋了C++的默認(rèn)行為),你就應(yīng)該自己編寫這些函數(shù)。在一些情況下,你可能還會需要支持這些函數(shù)的一般化的版本。這些版本將在條目45中介紹。
時刻牢記
l 由于復(fù)制一個RAII對象必須要同時復(fù)制其所管理的資源,因此資源的復(fù)制行為決定RAII對象的復(fù)制行為。
l RAII類有兩種一般性的復(fù)制行為:禁止復(fù)制和進(jìn)行資源計數(shù)。同時其他的行為也是可能存在的。