[轉]http://m.shnenglu.com/tiandejian/archive/2007/05/11/ec_14.html
第14條: 要留心資源管理類中的復制行為
第 13 條 中介紹了“資源獲取即初始化”( Resource Acquisition Is Initialization ,簡稱 RAII )的概念,它是資源管理的主要內容。同時第 13 條 中 還使用 auto_ptr 和 tr1::shared_ptr 作為示例,描述了這一概念是如何管理堆上的資源的。然而并不是所有的資源都分配于堆上,對于不分配于堆上的資源,類似于 auto_ptr 和 tr1::shared_ptr 這一類的智能指針并不適合于處理它們。這是千真萬確的,你必須不時地自己動手,創建自己的資源管理類。
舉例說,你正使用一個 C 語言的 API 所提供 的 lock 和 unlock 函 數 來處理 Mutex 類型的互斥對象:
void lock(Mutex *pm); // 通過 pm 為互斥量上鎖
void unlock(Mutex *pm); // 為互斥量解鎖
為了確保你曾上鎖的互斥量都得到解鎖,你應該自己編寫一個類來管理互斥鎖。這樣的類的基本結構應遵 循 RAII 的 原理,那就是:資源在構造過程中獲得,在析構過程中釋放:
class Lock {
public:
explicit Lock(Mutex *pm)
: mutexPtr(pm)
{ lock(mutexPtr); } // 獲取資源
~Lock() { unlock(mutexPtr); } // 釋放資源
private:
Mutex *mutexPtr;
};
客戶端程序員通過傳統 的 RAII 風 格來使用 Lock 類:
Mutex m; // 定義互斥量以便使用
...
{ // 創建程序塊用來定義臨界區
Lock ml(&m); // 為互斥量上鎖
... // 進行臨界區操作
} // 在程序塊末尾互斥量將自動解鎖
這樣可以正常工作,但是如果復制一個 Lock 對象,將會發生些什么呢?
Lock ml1(&m); // 為 m 上鎖
Lock ml2(ml1); // 把 ml1 復制給 ml2
// 將會發生什么呢?
有一個問題是所有 的 RAII 類創建者必須面對的,那就是:當復制一個 RAII 對象時需要做些什么呢?以上是對于這個一般化問題的一個較具體的示例。大多數時候,以下四種可行的方案供你選擇。
l 禁止復制。 在許多情況下,允許 RAII 被復制沒有任何意義。比如對于 Lock 類來說就是這樣,因為復制同步原型在大多數情況下都沒有什么意義。當復制一個 RAII 類無意義時,你就應該禁止它。第 6 條中詳細介紹了實現方法:將拷貝賦值運算符聲明為私有的。對于 Lock 而言,應該是下面的情形:
class Lock: private Uncopyable { // 防止復制 — 參見第 6 條
public:
... // 同上
};
l 為基礎資源進行引用計數。 有時,我們期望能保留對一個資源的所有權,直到其所涉及的最后一個對象被刪除為止。在這種情況下,復制一個 RAII 對象將會添加一個引用資源對象的計數。這就是 tr1::shared_ptr 所使用的“復制”的含義。
通常情況下, RAII 類可以通過包含一個 tr1::shared_ptr 數據成員來實現引用計數復制行為。舉例說,如果 Lock 曾希望使用引用計數,它可能會將 mutexPtr 的類型從 Mutex* 更改為 tr1::shared_ptr<Mutex> 。但是不幸的是, tr1::shared_ptr 默認的行為是:當引用計數值變為零時,刪除其所指向的內容,但這不是我們想要的。當一個 Mutex 用完時,我們希望對其進行的操作是解鎖,而不是刪除它。
所幸的是, tr1::shared_ptr 允許定義一個“刪除器”,它是一個函數或一個函數對象,在引用計數值為零時,它將得到調用。( auto_ptr 并不包含這一特性,它總是刪除它所指向的內容。)刪除器可作為 tr1::shared_ptr 構造函數的另一個可選參數,所以代碼應該是這樣的:
class Lock {
public:
explicit Lock(Mutex *pm) // 初始化 shared_ptr ,參數為
: mutexPtr(pm, unlock) // 所指向的互斥量和解鎖函數
lock(mutexPtr.get()); // 關于 "get" 的信息請參見第 15 條
}
private:
std::tr1::shared_ptr<Mutex> mutexPtr;
}; // 使用 shared_ptr 而不是裸指針
在本示例中,請注意 Lock 類不再聲明析構函數。這是因為我們不再需要它了。第 5 條中介紹了一個類的析構函數(無論是編譯器自動生成的還是用戶自定義的)會自動為類的非靜態數據成員進行析構。本示例中 mutexPtr 就將被自動析構。 當互斥量的引用計數變為零時, 析構函數會析構 mutexPtr ,然而此時實際上 將會調用 tr1::shared_ptr 的刪除器 unlock 。(通常你應該為這個類的代碼添加一段注釋,告訴人們你并沒有忘記編寫析構函數,而是把工作留給了編譯器自動生成的默認析構函數。這樣人們思路會更清晰一些。他們會感激你的。)
l 復制主要的資源。 一些時候,你可以在需要的情況下為資源復制出任意份數的副本,此時你需要一個資源管理類的唯一理由就是:確保每份副本在其工作完成之后得到釋放。在這種情況下,復制資源管理對象的同時,也要復制出其涉及的資源。也可以說,復制一個資源管理對象時,將進行“深度復制”。
標準 string 類型的一些實現版本中,包含著一個指向堆內存的指針,這個指針所指向的就是字符串所保存的位置。這樣的 string 對象包含著一個指向堆內存的指針。當一個 string 對象被復制完成之后,復制出的這一副本將由這一指針和其指向的內存共同組成。這樣的 string 就進行了一次深度復制。
l 傳遞主要資源的所有權。 在少數情況下,你可能需要確保僅僅有一個 RAII 對象引用了一個未定義類型的資源,當復制這一 RAII 對象時,資源的所有權也從源對象傳遞到目標對象了。如同第 13 條中所解釋的,這是通過 auto_ptr 所實現的“復制”的含義。
拷貝函數(拷貝構造函數和拷貝賦值運算符)可能由編譯器自動生成,但是如果編譯器自動生成版本無法滿足你的需要(第 5 條中解釋了 C++ 中的默認行為),你就應該自己編寫這些漢書。在一些情況下,你可能還會需要這些函數的范型版本。這些版本將在第 45 條中介紹。
牢記在心
l 復制一個 RAII 對象的同時也要復制其所管理的對象,所以資源管理的復制行為由 RAII 對象的復制行為決定。
l 一般的 RAII 類在復制時應遵循兩條原則:不允許使用復制,要進行資源計數。但也不要拘泥于這兩個原則。