智慧型指標學習

最近接觸到智慧型指標很多，於是研究了一下智慧型指標的原理，寫下自己的心得體會，有不對的還請指正。

智慧型指標產生的目的：因為在c++中，存在非常複雜的指標錯誤問題，例如，某個物件生成後，指向該物件的指標可能有多個，當我們用delete語句刪除其中的乙個指標後，物件就被銷毀，那麼其餘指向該物件的指標就會懸空，這樣很容易出錯記憶體誤，為避免出現這樣的問題，出現了智慧型指標，智慧型指標有2種構造方法，一種是插入式的還有一種是非插入式的，非插入式指標一般是直接採用裸指標作為引數進行建立，不需要修改現有的物件**，而插入式是採用乙個公用的有數量統計功能的基類來派生需要智慧型指標的類，相對來說，插入式構造方法將需要更多的額外空間，而且需要修改原類。非插入式智慧型指標（shared_ptr

）可以從裸指標，另乙個shared_ptr

、乙個std::auto_ptr

、或者乙個boost::weak_ptr

來構造，還可以傳遞第二個引數給shared_ptr

的建構函式，它被稱為刪除器(deleter)。刪除器稍後會被呼叫，來處理共享資源的釋放。這對於管理那些不是用new

分配也不是用delete

釋放的資源時非常有用。shared_ptr

被建立後，它就可象普通指標一樣使用了，除了一點，它不能被顯式地刪除，列舉乙個shared_ptr

的例子，有時候把物件直接存入容器中有時會有些麻煩,以值的方式儲存物件意味著使用者將獲得容器中的元素的拷貝，對於那些複製是一種昂貴的操作的型別來說可能會有效能的問題。此外，有些容器，特別是 std::vector

, 當你加入元素時可能會複製所有元素，這更加重了效能的問題。最後，傳值的語義意味著沒有多型的行為。如果你需要在容器中存放多型的物件而且你不想切割它們，你必須用指標。如果你用裸指標，維護元素的完整性會非常複雜。從容器中刪除元素時，你必須知道容器的使用者是否還在引用那些要刪除的元素，不用擔心多個使用者使用同乙個元素。這些問題都可以用shared_ptr

來解決。插入式版本。有時我們必須使用插入式的引用計數智慧型指標。典型的情況是對於那些已經寫好了內部引用計數器的**，而我們又沒有時間去重寫它(或者已經不能獲得那些**了)。另一種情況是要求智慧型指標的大小必須與裸指標大小嚴格相等，或者shared_ptr

的引用計數器分配嚴重影響了程式的效能(這是非常罕見的情況！)。從功能的觀點來看，唯一需要插入式智慧型指標的情況是，被指類的某個成員函式需要返回this

，以便它可以用於另乙個智慧型指標(事實上，也有辦法使用非插入式智慧型指標來解決這個問題)。intrusive_ptr

不同於其它智慧型指標，因為它要求你來提供它所要的引用計數器。當 intrusive_ptr

遞增或遞減乙個非空指標上的引用計數時，它是通過分別呼叫函式 intrusive_ptr_add_ref

和 intrusive_ptr_release

來完成的。這兩個函式負責確保引用計數的正確性，並且負責在引用計數降為零時刪除指標。因此，你必須為你的類過載這兩個函式。

下面是部分實現源**：

非插入式版本：

namespace boost ;
template 
shared_ptrstatic_pointer_cast(const shared_ptr& r);
}

插入式版本（只列出了最重要的函式）

namespace boost ;

template t* get_pointer(const intrusive_ptr& p);

template intrusive_ptr

static_pointer_cast(const intrusive_ptr& r);

使用intrusive_ptr與使用shared_ptr相比，有兩個主要的不同之處。第乙個是你需要提供引用計數的機制。第二個是把this當成智慧型指標是合法的[12]

，正如我們即將看到的，有時候這樣很方便。注意，在多數情況下，應該使用非插入式的shared_ptr.

你不能用shared_ptr 來做到這一點，如果沒有進行特殊處理的話，如enable_shared_from_this.要使用boost::intrusive_ptr, 要包含"boost/intrusive_ptr.hpp" 並定義兩個普通函式intrusive_ptr_add_ref 和intrusive_ptr_release. 它們都要接受乙個引數，即指向你要使用intrusive_ptr的型別的指標。這兩個函式的返回值被忽略。通常的做法是，泛化這兩個函式，簡單地呼叫被管理型別的成員函式去完成工作(例如，呼叫add_ref 和release)。如果引用計數降為零，intrusive_ptr_release 應該負責釋放資源。以下是你應該如何實現這兩個泛型函式的示範：

template void intrusive_ptr_add_ref(t* t)

template void intrusive_ptr_release(t* t)

注意，這兩個函式應該定義在它們的引數型別所在的作用域內。這意味著如果這個函式接受的引數型別來自於乙個名字空間，則函式也必須定義在那裡。這樣做的原因是，函式的呼叫是非受限的，即允許採用引數相關查詢，而如果有多個版本的函式被提供，那麼全部名字空間肯定不是放置它們的好地方。我們稍後將看到乙個關於如何放置它們的例子，但首先，我們需要提供某類的引用計數器。

explicit

關鍵字:

c++
中的explicit關鍵字用來修飾類的建構函式，表明該建構函式是顯式的，既然有"顯式"那麼必然就有"隱式"，那麼什麼是顯示而什麼又是隱式的呢？如果c++類的建構函式有乙個引數，那麼在編譯的時候就會有乙個預設的轉換操作：將該建構函式對應資料型別的資料轉換為該類物件，如下面所示：
class myclass
....
myclass obj = 10; //ok,convert int to myclass
在上面的**中編譯器自動將整型轉換為myclass類物件，實際上等同於下面的操作：
myclass temp(10);
myclass obj = temp;
上面的所有的操作即是所謂的"隱式轉換"。

未完待續。。。。。

智慧型指標學習

智慧型指標學習

Qt 智慧型指標學習

Qt 智慧型指標學習

智慧型指標學習

智慧型指標學習

Qt 智慧型指標學習

Qt 智慧型指標學習

相關推薦