詳解C++中shared_ptr的使用教程
shared_ptr是一種智能指針(smart pointer)。shared_ptr的作用有如同指針,但會(huì)記錄有多少個(gè)shared_ptrs共同指向一個(gè)對(duì)象。
這便是所謂的引用計(jì)數(shù)(reference counting)。一旦最后一個(gè)這樣的指針被銷毀,也就是一旦某個(gè)對(duì)象的引用計(jì)數(shù)變?yōu)?,這個(gè)對(duì)象會(huì)被自動(dòng)刪除。這在非環(huán)形數(shù)據(jù)結(jié)構(gòu)中防止資源泄露很有幫助。
auto_ptr由于它的破壞性復(fù)制語(yǔ)義,無(wú)法滿足標(biāo)準(zhǔn)容器對(duì)元素的要求,因而不能放在標(biāo)準(zhǔn)容器中;如果我們希望當(dāng)容器析構(gòu)時(shí)能自動(dòng)把它容納的指針元素所指的對(duì)象刪除時(shí),通常采用一些間接的方式來(lái)實(shí)現(xiàn),顯得比較繁瑣。boost庫(kù)中提供了一種新型的智能指針shared_ptr,它解決了在多個(gè)指針間共享對(duì)象所有權(quán)的問(wèn)題,同時(shí)也滿足容器對(duì)元素的要求,因而可以安全地放入容器中。
總結(jié)下幾個(gè)使用shared_ptr需要注意的問(wèn)題:
一. 相互引用鏈
class C; class B : public std::enable_shared_from_this<B> { public: ~B(){ cout << "~B" << endl; } void SetPC(std::shared_ptr<C>& pc){ _pc = pc; } private: std::shared_ptr<C> _pc; }; class C : public std::enable_shared_from_this<C> { public: ~C(){ cout << "~C" << endl; } void SetPB(std::shared_ptr<B>& pb){ _pb = pb; } private: std::shared_ptr<B> _pb; }; int main() { std::shared_ptr<C> pc = std::make_shared<C>(); std::shared_ptr<B> pb = std::make_shared<B>(); pc->SetPB(pb); pb->SetPC(pc); return 0; }
上面的代碼中,B和C均不能正確析構(gòu),正確的做法是,在B和C的釋放函數(shù),如Close中,將其包含的shared_ptr置空。這樣才能解開(kāi)引用鏈。
二. 自引用
還有個(gè)比較有意思的例子:
class C : public std::enable_shared_from_this < C > { public: ~C() { std::cout << "~C" << std::endl; } int32_t Decode(const char* data, size_t) { return 0; } void SetDecoder(std::function<int32_t(const char*, size_t)> decoder) { _decoder = decoder; } private: std::function<int32_t(const char*, size_t)> _decoder; }; int main() { { std::shared_ptr<C> pc = std::make_shared<C>(); auto decoder = std::bind(&C::Decode, pc, std::placeholders::_1, std::placeholders::_2); pc->SetDecoder(decoder); } // C不能正確析構(gòu) 因?yàn)榇嬖谧砸? return 0; }
上面的C類包含了一個(gè)function,該function通過(guò)std::bind引用了一個(gè)std::shared_ptr,所以_decoder其實(shí)包含了一個(gè)對(duì)shared_ptr的引用。導(dǎo)致C自引用了自身,不能正確析構(gòu)。需要在C的Close之類的執(zhí)行關(guān)閉函數(shù)中,將_decoder=nullptr,以解開(kāi)這種自引用。
三. 類中傳遞
下面的例子中有個(gè)更為隱蔽的問(wèn)題:
class Session : public std::enable_shared_from_this < Session > { public: ~Session() { std::cout << "~C" << std::endl; } void Start() { // 進(jìn)行一些異步調(diào)用 // 如 _socket.async_connect(..., boost::bind(&Session::ConnectCompleted, this), boost::asio::placeholders::error, ...) } void ConnectCompleted(const boost::system::err_code& err) { if(err) return; // ... 進(jìn)行處理 // 如 _socket.async_read(..., boost::bind(&Session::ReadCompleted, this), boost::asio::placeholders::error, ...) } void Session::ReadComplete(const boost::system::error_code& err, size_t bytes_transferred) { if (err || bytes_transferred == 0) { DisConnect(); return; } // 處理數(shù)據(jù) 繼續(xù)讀 // ProcessData(); // _socket.async_read(...) } private: std::function<int32_t(const char*, size_t)> _decoder; }; int main() { { std::shared_ptr<Session> pc = std::make_shared<Session>(); pc->Start(); } return 0; }
上面Session,在調(diào)用Start時(shí),調(diào)用了異步函數(shù),并回調(diào)自身,如果在回調(diào)函數(shù)的 boost::bind 中 傳入的是shared_from_this(),那么并無(wú)問(wèn)題,shared_ptr將被一直傳遞下去,在網(wǎng)絡(luò)處理正常時(shí),Session將正常運(yùn)行,即使main函數(shù)中已經(jīng)沒(méi)有它的引用,但是它靠boost::bind”活了下來(lái)”,boost::bind會(huì)保存?zhèn)鹘o它的shared_ptr,在調(diào)用函數(shù)時(shí)傳入。當(dāng)網(wǎng)絡(luò)遇到錯(cuò)誤時(shí),函數(shù)直接返回。此時(shí)不再有新的bind為其”續(xù)命”。Session將被析構(gòu)。
而真正的問(wèn)題在于,如果在整個(gè)bind鏈中,直接傳遞了this指針而不是shared_from_this(),那么實(shí)際上當(dāng)函數(shù)執(zhí)行完成后,Session即會(huì)析構(gòu),包括其內(nèi)部的資源(如 _socket)也會(huì)被釋放。那么當(dāng)boost底層去執(zhí)行網(wǎng)絡(luò)IO時(shí),自然會(huì)遇到錯(cuò)誤,并且仍然會(huì)”正?!被卣{(diào)到對(duì)應(yīng)函數(shù),如ReadCompleted,然后在err中告訴你:”由本地系統(tǒng)終止網(wǎng)絡(luò)連接”(或:”An attempt to abort the evaluation failed. The process is now in an indeterminate state.” )。讓人誤以為是網(wǎng)絡(luò)問(wèn)題,很難調(diào)試。而事實(shí)上此時(shí)整個(gè)對(duì)象都已經(jīng)被釋放掉了。
注:由于C++對(duì)象模型實(shí)現(xiàn)所致,成員函數(shù)和普通函數(shù)的主要區(qū)別如下:
- 成員函數(shù)帶隱式this參數(shù)
- 成員函數(shù)具有訪問(wèn)作用域,并且函數(shù)內(nèi)會(huì)對(duì)非靜態(tài)成員變量訪問(wèn)做一些轉(zhuǎn)換,如 _member_data 轉(zhuǎn)換成 this->_member_data;
也就是說(shuō),成員函數(shù)并不屬于對(duì)象,非靜態(tài)數(shù)據(jù)成員才屬于對(duì)象。
因此如下調(diào)用在編譯期是合法的:
((A*)nullptr)->Func();
而如果成員函數(shù)A::Func()沒(méi)有訪問(wèn)A的非靜態(tài)成員變量,這段代碼甚至能正確運(yùn)行,如:
class Test { public: void Say() { std::cout << "Say Test" << std::endl; } void Set(int data) { _data = data; } private: int _data; }; int main() { // 運(yùn)行成功 ((Test*)nullptr)->Say(); // 運(yùn)行會(huì)崩掉,嘗試訪問(wèn)空指針?biāo)竷?nèi)存(_data) ((Test*)nullptr)->Set(1); return 0; }
正因?yàn)檫@種特性,有時(shí)候在成員函數(shù)中糾結(jié)半天,也不會(huì)注意到這個(gè)對(duì)象已經(jīng)”不正常了”,被釋放掉了。
四. shared_ptr 使用總結(jié)
盡量不要環(huán)引用或自引用,可通過(guò)weak_ptr來(lái)避免環(huán)引用:owner持有child的shared_ptr child持有owner的weak_ptr
如果存在環(huán)引用或自引用,記得在釋放時(shí)解開(kāi)這個(gè)引用鏈
對(duì)于通過(guò)智能指針管理的類,在類中通過(guò)shared_from_this()而不是this來(lái)傳遞本身
在類釋放時(shí),盡量手動(dòng)置空其所有的shared_ptr成員,包括function
相關(guān)文章
c++中關(guān)于max_element()函數(shù)解讀
這篇文章主要介紹了c++中關(guān)于max_element()函數(shù)解讀,具有很好的參考價(jià)值,希望對(duì)大家有所幫助。如有錯(cuò)誤或未考慮完全的地方,望不吝賜教2023-02-02利用Matlab仿真實(shí)現(xiàn)圖像煙霧識(shí)別(k-means聚類圖像分割+LBP+PCA+SVM)
本文主要介紹了利用k-means聚類實(shí)現(xiàn)圖像分割+LBP算法進(jìn)行特征提取+PCA算法進(jìn)行特征降維+SVM算法訓(xùn)練二分類模型從而實(shí)現(xiàn)煙霧識(shí)別。文中介紹很詳細(xì),感興趣的朋友可以了解一下2021-12-12C/C++ 中怎樣使用SetConsoleTextAttribute()函數(shù)來(lái)控制輸出字符的顏色
這篇文章主要介紹了C/C++ 中如何使用SetConsoleTextAttribute()函數(shù)來(lái)控制輸出字符的顏色,本文通過(guò)實(shí)例代碼給大家介紹的非常詳細(xì),對(duì)大家的學(xué)習(xí)或工作具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2021-03-03C++11并發(fā)編程關(guān)于原子操作atomic的代碼示例
今天小編就為大家分享一篇關(guān)于C++11并發(fā)編程關(guān)于原子操作atomic的代碼示例,小編覺(jué)得內(nèi)容挺不錯(cuò)的,現(xiàn)在分享給大家,具有很好的參考價(jià)值,需要的朋友一起跟隨小編來(lái)看看吧2018-12-12