淺談RAII&智能指針-創(chuàng)新互聯(lián)

關(guān)于RAII，官方給出的解釋是這樣的“資源獲取就是初始化”。聽起來貌似不是很懂的哈，其實(shí)說的通俗點(diǎn)的話就是它是一種管理資源，避免內(nèi)存泄漏的一種方法。它可以保證在各種情況下，當(dāng)你對(duì)對(duì)象進(jìn)行使用時(shí)先通過構(gòu)造函數(shù)來進(jìn)行資源的分配和初始化，最后通過析構(gòu)函數(shù)來進(jìn)行清理，有效的保證了資源的正確分配和釋放。（特別是在異常中，因?yàn)楫惓Ｍ鶗?huì)改變代碼正確的執(zhí)行順序，這就很容易引起資源管理的混亂和內(nèi)存的泄漏）

網(wǎng)站制作、成都做網(wǎng)站的關(guān)注點(diǎn)不是能為您做些什么網(wǎng)站，而是怎么做網(wǎng)站，有沒有做好網(wǎng)站，給創(chuàng)新互聯(lián)建站一個(gè)展示的機(jī)會(huì)來證明自己，這并不會(huì)花費(fèi)您太多時(shí)間，或許會(huì)給您帶來新的靈感和驚喜。面向用戶友好，注重用戶體驗(yàn)，一切以用戶為中心。

 其中智能指針就是RAII的一種實(shí)現(xiàn)模式，所謂的智能就是它可以自動(dòng)化的來管理它所指向那份空間的資源分配和釋放。下面先介紹一下庫(kù)中的智能指針吧：

這是Boost庫(kù)中的智能指針：

而在STL中之前是只有auto_ptr的，但在C++11標(biāo)準(zhǔn)中也引入了unique_ptr/shared_ptr/weak_ptr。（ps:unique_ptr就是Boost中的scoped_ptr）

 接下來我就來好好的，仔細(xì)地介紹介紹它們哈：

1.auto_ptr（管理權(quán)的轉(zhuǎn)移）

 很多人看書和資料上面說auto_ptr是一種變性類型的RAII，其實(shí)這里所說的變性實(shí)際上是一種管理權(quán)轉(zhuǎn)移特質(zhì)，auto_ptr實(shí)際上就是通過這一特質(zhì)來實(shí)現(xiàn)資源的管理和釋放的，這就好比說一扇門只有一把鑰匙，拿鑰匙的人擁有開這扇門的權(quán)利，而當(dāng)另一個(gè)人從這個(gè)人這兒把鑰匙拿走后，他開門的權(quán)利也轉(zhuǎn)到另一個(gè)人那了，因?yàn)殍€匙被拿走了。

下面是一個(gè)簡(jiǎn)單的auto_ptr的實(shí)現(xiàn)，它能很好的證明上面的例子：

template
class AutoPtr
{
public:
	AutoPtr(T* ptr=NULL)
		:_ptr(ptr)
	{}
	AutoPtr(AutoPtr& a)
		:_ptr(a._ptr)
	{
		a._ptr = NULL;
	}
	AutoPtr& operator=(AutoPtr& a)
	{
		_ptr = a._ptr;
		a._ptr = NULL;
		return *this;
	}
	T& operator*()
	{
		return *_ptr;
	}
	T* operator->()
	{
		return _ptr;
	}
	~AutoPtr()
	{
		if (_ptr != NULL)
		{
			delete _ptr;
		}
	}
protected:
	T* _ptr;
};

當(dāng)發(fā)生賦值運(yùn)算和拷貝構(gòu)造時(shí)，之前的指針在賦值過后就被置成空了，也就是說真正能夠訪問內(nèi)存的只有當(dāng)前的指針。當(dāng)然這種方法也使它的局限性很高，因?yàn)橹暗闹羔槦o法對(duì)再訪問該區(qū)域，這使得它的實(shí)用性并不強(qiáng)，之所以保留它主要還是為了維護(hù)之前的一些程序。

2.scoped_ptr(簡(jiǎn)單粗暴的獨(dú)裁者)

首先我們先來看下它的簡(jiǎn)單實(shí)現(xiàn)吧：

template
class ScopedPtr
{
public:
	ScopedPtr(T* ptr = NULL)
		:_ptr(ptr)
	{}
	~ScopedPtr()
	{
		if (_ptr != NULL)
		{
			delete _ptr;
		}
	}
	T& operator*()
	{
		return *_ptr;
	}
	T* operator->()
	{
		return _ptr;
	}
protected:
	ScopedPtr(const ScopedPtr& s);
	ScopedPtr& operator=(const ScopedPtr& s);
protected:
	T* _ptr;
};

其實(shí)從代碼中我們能很容易看出它的簡(jiǎn)單粗暴了，它就根本不允許你對(duì)它進(jìn)行拷貝構(gòu)造和賦值，它將賦值重載和拷貝構(gòu)造兩個(gè)函數(shù)只進(jìn)行了聲明而沒有實(shí)現(xiàn)，這樣它就強(qiáng)制限定你不可能在使用其他指針訪問這塊空間，所以說說它是個(gè)獨(dú)裁者一點(diǎn)也不為過，當(dāng)然這種指針一般是在特殊的場(chǎng)合出現(xiàn)，并不常用，因?yàn)樗拗屏酥羔樀囊粋€(gè)很重要的特點(diǎn)：靈活性！

3.shared_ptr(計(jì)數(shù)器原理應(yīng)用)

 shared_ptr是比較流行和實(shí)用的智能指針了，它通過計(jì)數(shù)器原理解決了上述兩種智能指針訪問唯一性的問題，它允許多個(gè)指針訪問同一塊空間，并且在析構(gòu)時(shí)也能夠保證內(nèi)存正確釋放。那它是怎樣一種機(jī)制呢？且看下面的代碼：

template
class SharedPtr
{
public:
	SharedPtr(T* ptr=NULL)
		:_ptr(ptr)
		, _pcount(new int(1))
	{}
	SharedPtr(SharedPtr& s)
		:_ptr(s._ptr)
		, _pcount(s._pcount)
	{
		
		++(*_pcount);
	}
	SharedPtr& operator=(SharedPtr s)
	{
		swap(_ptr, s._ptr);
		swap(_pcount, s._pcount);
		return *this;
	}
	T& operator*()
	{
		return *_ptr;
	}
	T* operator->()
	{
		return _ptr;
	}
	~SharedPtr()
	{
		Reservs();
	}
public:
	void Reservs()
	{
		if (--(*_pcount) == 0)
		{
			delete _ptr;
			delete _pcount;
		}
	}
protected:
	T* _ptr;
	int* _pcount;
};

首先它在類模版中的成員變量增加了計(jì)數(shù)指針用來統(tǒng)計(jì)該內(nèi)存目前被多少指針管理，然后凡是有拷貝和賦值的統(tǒng)統(tǒng)在計(jì)數(shù)器上進(jìn)行累加，而在析構(gòu)的時(shí)候只需要檢查計(jì)數(shù)器內(nèi)當(dāng)前的計(jì)數(shù)是否唯1，不唯1的話說明當(dāng)前還有多個(gè)指針在使用它，那此時(shí)我們并不釋放它，只將它的計(jì)數(shù)減1就好；如果析構(gòu)時(shí)它的計(jì)數(shù)到1了，那就說明當(dāng)前只有一個(gè)指針在維護(hù)它，這時(shí)候再去釋放該內(nèi)存就變得很合理了。這就是shared_ptr整個(gè)實(shí)現(xiàn)過程和實(shí)現(xiàn)原理。

4.scoped_array和shared_ptr

 關(guān)于scoped_array和shared_array，它們和scoped_ptr和shared_ptr其實(shí)大同小異，它們的實(shí)現(xiàn)原理都是一樣的，只不過一個(gè)是用new[]和delete[]的，一個(gè)是用new和delete的。本質(zhì)上他們是沒有任何區(qū)別的，通過下面的代碼我們能夠很直觀看出來：

scoped_array:

template
class ScopedArry
{
public:
	ScopedArry(T* ptr = NULL)
		:_ptr(ptr)
	{}
	~ScopedArry()
	{
		if (_ptr != NULL)
		{
			delete[] _ptr;
		}
	}
	T& operator[](int index)
	{
		return _ptr[index];
	}
protected:
	ScopedArry(const ScopedPtr& s);
	ScopedArry& operator=(const ScopedArry& s);
protected:
	T* _ptr;
};

shared_array:

template
class SharedArry
{
public:
	SharedArry(T* ptr = NULL)
		:_ptr(ptr)
		, _pcount(new int(1))
	{}
	SharedArry(SharedArry& s)
		:_ptr(s._ptr)
		, _pcount(s._pcount)
	{

		++(*_pcount);
	}
	SharedArry& operator=(SharedArry s)
	{
		swap(_ptr, s._ptr);
		swap(_pcount, s._pcount);
		return *this;
	}
	T& operator[](int index)
	{
		return _ptr[index];
	}
	~SharedArry()
	{
		if (--(*_pcount) == 0)
		{
			delete[] _ptr;
		}
	}
protected:
	T* _ptr;
	int* _pcount;
};

整體而言數(shù)組我們只用重載[]就可以對(duì)其元素進(jìn)行訪問，并不用重載*和&來訪問它們了，這比指針相對(duì)而言能方便點(diǎn)。

5.weak_ptr(輔助shared_ptr)

上面介紹了shared_ptr,在這里要說明一點(diǎn)的是我上面的代碼并不是庫(kù)中的標(biāo)準(zhǔn)代碼，只是造了幾個(gè)輪子，這是為了方便向大家講解它們的實(shí)現(xiàn)原理和運(yùn)行機(jī)制，其實(shí)真正庫(kù)里的代碼實(shí)現(xiàn)是很復(fù)雜的，下面我們可以看看boost庫(kù)中shared_ptr和weak_ptr的框架類圖：

其實(shí)通過這張圖我們可以看出智能指針的實(shí)現(xiàn)要比我們想象的復(fù)雜，但是它們實(shí)現(xiàn)的原理和我們介紹的是一樣一樣的，感興趣的同學(xué)可以去庫(kù)里面研究研究，博主就不一一的發(fā)出來了。

 OK,我們?cè)倩氐秸}上來，為什么說weak_ptr是輔助shared_ptr的呢？其實(shí)在真正的運(yùn)用中我們還會(huì)發(fā)現(xiàn)shared_ptr還有些不足之處，它有時(shí)并不能很好完成一些任務(wù)，并且還會(huì)出現(xiàn)一些問題，其中和weak_ptr有關(guān)的一個(gè)問題就是——循環(huán)引用。

那循環(huán)引用是怎么造成的呢？請(qǐng)看下圖：

再來個(gè)代碼吧：

#include 
#include 
using namespace boost;
struct ListNode
{
shared_ptr _prev;
shared_ptr _next;
//weak_ptr _prev;
//weak_ptr _next;
~ ListNode()
{
cout<<"~ListNode()" < p1( new ListNode ());
shared_ptr  p2( new ListNode ());
cout <<"p1->Count:" << p1. use_count()<Count:" << p2. use_count()<_next = p2;
// p2節(jié)點(diǎn)的_prev指向 p1節(jié)點(diǎn)
p2->_prev = p1;
cout <<"p1->Count:" << p1. use_count ()<Count:" << p2. use_count ()<
當(dāng)我們用shared_ptr創(chuàng)建兩個(gè)雙向結(jié)點(diǎn)時(shí)，并將它們連接起來后就會(huì)出現(xiàn)問題，試想當(dāng)你用p1的_next指向p2時(shí)，它的引用計(jì)數(shù)會(huì)加1，同樣p2的_prev指向p1時(shí)也會(huì)使p1的引用計(jì)數(shù)增加，這就會(huì)出現(xiàn)一個(gè)問題——當(dāng)你釋放的時(shí)候，p2是要先釋放的，對(duì)吧？可是p2在釋放時(shí)并沒法將其指向的空間釋放掉，因?yàn)樗挠?jì)數(shù)是2，它只會(huì)將計(jì)數(shù)器減1，而真正要釋放那塊空間的是p1_next，同樣當(dāng)p1進(jìn)行釋放時(shí)也只是計(jì)數(shù)器減1，它所指向的那塊空間也沒有被釋放，真正釋放那塊空間的其實(shí)是p2_prev,這時(shí)就導(dǎo)致了一個(gè)問題，就是兩邊都在等著對(duì)方先釋放，因此陷入無限的循環(huán)當(dāng)中。
 這就是循環(huán)引用的出現(xiàn)的原因，從中我們可以清楚找到問題所在，就是在創(chuàng)建_next和_prev時(shí)使得其引用計(jì)數(shù)進(jìn)行了累加，因此為了解決此類問題我們引入了weak_ptr,它就是用來解決循環(huán)引用問題的，使用weak_ptr類型的指針并不會(huì)使shared_ptr的引用計(jì)數(shù)加1，這也就不會(huì)產(chǎn)生循環(huán)引用的問題了。下面可以通過上述代碼的運(yùn)行結(jié)果直觀的看到weak_ptr實(shí)現(xiàn)機(jī)制：
使用shared_ptr:
使用weak_ptr:
這其實(shí)也是weak_ptr存在的意義，輔助shared_ptr，使得它們用起來跟我們使用平常的指針一模一樣，并且還非常方便，不用我們?nèi)タ紤]內(nèi)存的釋放和泄漏的問題。
 好了，由于博主水平并不是很高，只能向大家解釋這么多了，有要補(bǔ)刀或有問題的大神請(qǐng)?jiān)谙路搅粞怨?/p>
另外有需要云服務(wù)器可以了解下創(chuàng)新互聯(lián)scvps.cn，海內(nèi)外云服務(wù)器15元起步，三天無理由+7*72小時(shí)售后在線，公司持有idc許可證，提供“云服務(wù)器、裸金屬服務(wù)器、高防服務(wù)器、香港服務(wù)器、美國(guó)服務(wù)器、虛擬主機(jī)、免備案服務(wù)器”等云主機(jī)租用服務(wù)以及企業(yè)上云的綜合解決方案，具有“安全穩(wěn)定、簡(jiǎn)單易用、服務(wù)可用性高、性價(jià)比高”等特點(diǎn)與優(yōu)勢(shì)，專為企業(yè)上云打造定制，能夠滿足用戶豐富、多元化的應(yīng)用場(chǎng)景需求。
            

            網(wǎng)站題目：淺談RAII&智能指針-創(chuàng)新互聯(lián)            

            分享URL：http://m.jiaotiyi.com/article/djchpp.html