C++智能指針的頭文件:
1. shared_ptr: 智能指針從本質(zhì)上來說是一個模板類,用類實(shí)現(xiàn)對指針對象的管理。
shared_ptr能解決的問題:
1.1 從避免出現(xiàn)懸垂指針引出shared_ptr的實(shí)現(xiàn)原理: 先來看一個普通指針可能出現(xiàn)的懸垂問題: 當(dāng)有多個指針指向同一個基礎(chǔ)對象時,如果某個指針delete了該基礎(chǔ)對象,對于其他指針來說,它們是無法感知的,此時則出現(xiàn)了懸垂指針,如果再對其他指針進(jìn)行操作,則可能會導(dǎo)致core dump。 (core dump的原因:因?yàn)橐呀?jīng)調(diào)用了delete,相當(dāng)于已經(jīng)將內(nèi)存資源歸還給了系統(tǒng),如果有其他地方向系統(tǒng)申請資源時,系統(tǒng)則重新分配這塊內(nèi)存。此時有兩種情況:① 原始的懸垂指針調(diào)用delete,系統(tǒng)檢測到二次釋放,直接core dump;② 原始的懸垂指針對指針地址上的內(nèi)存進(jìn)行讀、寫操作,可能意外的改寫了其他程序的內(nèi)容,即“踩內(nèi)存”,導(dǎo)致發(fā)生意想不到的情況。)
普通指針出現(xiàn)懸垂的根本原因在于:當(dāng)多個指針同時指向同一個內(nèi)存資源時,如果通過其中的某一個指針delete釋放了資源,其他指針無法感知到。 解決方法自然想到了“引用計(jì)數(shù)” ---- 通過一塊額外的內(nèi)存,實(shí)現(xiàn)對原始內(nèi)存的管理。 在這塊 “控制塊” 內(nèi)存中,保存當(dāng)前對原始內(nèi)存資源的引用計(jì)數(shù)。 普通指針多指針場景下出現(xiàn)懸垂指針的原因: 引入“控制塊”,保存對于基礎(chǔ)對象的“引用計(jì)數(shù)”,示例中有ptr1、ptr2、ptr3三個指針同時指向同一基礎(chǔ)對象,因此對應(yīng)這個基礎(chǔ)對象的引用計(jì)數(shù)為 3: 當(dāng)有某個指針退出作用域,或調(diào)用了delete釋放資源時,系統(tǒng)并非真正的釋放基礎(chǔ)對象,而是對引用計(jì)數(shù)減一。 那么何時才可以刪除基礎(chǔ)對象呢?當(dāng)只有一個指針指向基礎(chǔ)對象的時候,就可以大大方方的通過該指針將基礎(chǔ)對象刪除(真正的調(diào)用delete釋放基礎(chǔ)對象的資源)。 對于“控制塊”的實(shí)現(xiàn)方式: 對“控制塊”中“引用計(jì)數(shù)”的管理: 1、構(gòu)造函數(shù): 當(dāng)創(chuàng)建類的新對象時,初始化指針,并將引用計(jì)數(shù)設(shè)置為 1; 2、拷貝構(gòu)造函數(shù): 當(dāng)對象作為另一個對象的副本時(即發(fā)生“拷貝構(gòu)造”時),拷貝構(gòu)造函數(shù)拷貝副本指針,并對引用計(jì)數(shù) 加1; 3、拷貝賦值運(yùn)算符: 當(dāng)使用“拷貝賦值運(yùn)算符”(=)時,處理復(fù)雜一點(diǎn): a. 先使“左操作數(shù)”的指針的引用計(jì)數(shù)減1 (為何減一:因?yàn)樵撝羔樢呀?jīng)指向別的地方,則指向原基礎(chǔ)對象的指針個數(shù)減1), 如果減1后引用計(jì)數(shù)降為0,則釋放指針?biāo)笇ο蟮膬?nèi)存資源; b. 然后增加“右操作數(shù)”所指對象的引用計(jì)數(shù)(為何加一:因?yàn)榇藭r左操作數(shù)轉(zhuǎn)而指向此基礎(chǔ)對象,則指向此基礎(chǔ)對象的指針個數(shù)加1); 4、析構(gòu)函數(shù): 調(diào)用析構(gòu)函數(shù)時,析構(gòu)函數(shù)先使引用計(jì)數(shù)減1,如果減至0則delete釋放對象。 shared_ptr類的“構(gòu)造函數(shù)”使得基礎(chǔ)對象的引用計(jì)數(shù)遞增,shared_ptr類的“析構(gòu)函數(shù)”使得基礎(chǔ)對象的引用計(jì)數(shù)遞減。 當(dāng)最后一個指向基礎(chǔ)對象的shared_ptr被析構(gòu)時,會調(diào)用delete釋放基礎(chǔ)對象的內(nèi)存資源。 需要C/C++ Linux服務(wù)器架構(gòu)師學(xué)習(xí)資料加qun812855908獲?。ㄙY料包括C/C++,Linux,golang技術(shù),Nginx,ZeroMQ,MySQL,Redis,fastdfs,MongoDB,ZK,流媒體,CDN,P2P,K8S,Docker,TCP/IP,協(xié)程,DPDK,ffmpeg等),免費(fèi)分享 注意 make_shared 是 函數(shù)模板,不是類模板,make_shared函數(shù)模板的返回值類型是 shared_ptr。
make_shared的優(yōu)點(diǎn):
make_shared的缺點(diǎn):
1.2.1 優(yōu)點(diǎn):效率更高: 假設(shè)原始對象類型為 widget,shared_ptr的“控制塊”中需要維護(hù)的關(guān)于“引用計(jì)數(shù)”的信息包括:
如果通過原始的new表達(dá)式分配對象,然后傳遞給shared_ptr(即使用shared_ptr內(nèi)部的構(gòu)造函數(shù)),則“控制塊內(nèi)存”與“基礎(chǔ)對象內(nèi)存”是分離開的,如圖所示: 此時是兩個分配內(nèi)存的動作,所以控制塊與基礎(chǔ)對象的內(nèi)存是分離的(可能造成內(nèi)存碎片)??刂茐K的內(nèi)存是在shared_ptr的構(gòu)造函數(shù)中分配的。
如果使用 make_shared 的方式,則只需要一次分配內(nèi)存,分配出的內(nèi)存結(jié)構(gòu)如圖所示:
1.2.2 優(yōu)點(diǎn):異常安全: 可能會出現(xiàn)異常的情況:
C++是不保證參數(shù)求值順序,以及內(nèi)部表達(dá)式的求值順序的,所以可能的執(zhí)行順序如下:
此時,如果程序在第2步時拋出一個異常(比如out of memory等,Rhs的構(gòu)造函數(shù)異常的),那么在第1步中new分配的Lhs對象內(nèi)存將無法釋放,導(dǎo)致內(nèi)存泄漏。 這個問題的核心在于 shared_ptr 沒有立即獲得new分配出來的裸指針,shared_ptr與new結(jié)合使用時是要分成兩步。 修復(fù)這個問題的方式有兩種: (1)不要將new操作放到函數(shù)形參初始化中,這樣將無法保證求值順序:
(2)更推薦的方法,是使用make_shared,一步到位 :
1.2.3 缺點(diǎn):構(gòu)造函數(shù)是保護(hù)或私有時無法使用: 當(dāng)我們想要創(chuàng)建的對象沒有公有的構(gòu)造函數(shù)時,make_shared就無法使用了。 1.2.4 對象內(nèi)存可能無法及時回收: make_shared的優(yōu)點(diǎn)是只需申請一次內(nèi)存,帶來了性能上的提升。但這一性能同樣也給make_shared帶來了缺點(diǎn): 智能指針的“控制塊”中保存著兩類關(guān)于“引用計(jì)數(shù)”的信息:
“弱引用計(jì)數(shù)”用來保存當(dāng)前正在指向此基礎(chǔ)對象的weak_ptr指針的個數(shù),weak_ptr會保持控制塊的生命周期,因此有一種特殊情況是:強(qiáng)引用的引用計(jì)數(shù)已經(jīng)降為0,沒有shared_ptr再持有基礎(chǔ)對象,然而由于仍有weak_ptr指向基礎(chǔ)對象,弱引用的引用計(jì)數(shù)非0,原本因?yàn)閺?qiáng)引用計(jì)數(shù)已經(jīng)歸0就可以釋放的基礎(chǔ)對象內(nèi)存,現(xiàn)在變成了“強(qiáng)引用、弱引用都減為0時才能釋放”, 意外的延遲了內(nèi)存釋放的時間。這對于內(nèi)存要求高的場景來說,是一個需要注意的問題。 (一般情況下,程序中無需考慮這種微小的差別。) 1.3 shared_ptr實(shí)現(xiàn)說明: 摘自cppreference: 在典型的實(shí)現(xiàn)中,shared_ptr 只保有兩個指針:
控制塊是一個動態(tài)分配的對象,其中包含:
1.4 shared_ptr的線程安全性: 多線程環(huán)境下,調(diào)用不同shared_ptr實(shí)例的 成員函數(shù)是不需要額外的同步手段的(例如use_count()等成員函數(shù)),即使這些shared_ptr擁有的是同樣的對象。 但是,如果多線程訪問(有寫操作)同一個shared_ptr,則需要線程同步,否則就會有race condition發(fā)生。 shared_ptr的引用計(jì)數(shù)本身是安全且無鎖的,但shared_ptr中封裝的基礎(chǔ)對象的讀寫則不是。 出現(xiàn)這種情況的原因是:shared_ptr有兩個數(shù)據(jù)成員(指向被管理對象的指針,和指向控制塊的指針),讀寫操作不能原子化。 1.5 shared_from_this: 1.5.1 多個shared_ptr管理同一指針時的重復(fù)釋放問題: 在使用shared_ptr管理指針時,有一個原則就是要盡量避免“先new、后用裸指針初始化shared_ptr” 的方式,這是因?yàn)楫?dāng)有兩個或多個shared_ptr同時管理一個指針時,多個shared_ptr之間無法共享彼此的引用計(jì)數(shù),導(dǎo)致可能造成double free。 異常場景示例:(兩個shared_ptr共同管理同一個裸指針)
由此引出一個使用shared_ptr的原則: 當(dāng)我們使用智能指針管理資源時,必須統(tǒng)一使用智能指針,而不能在某些地方使用智能指針,某些地方使用raw pointer,否則不能保持智能指針管理這個類對象的語義,從而產(chǎn)生各種錯誤。 給shared_ptr管理的資源必須在分配時立即交給shared_ptr,即:shared_ptr sp(new T());,而不是先new出ptr,再在后面的某個地方將ptr賦給shared_ptr。 1.5.1 shared_from_this的使用場景: 上述的情況同樣可能會發(fā)生在 this指針 上面。 當(dāng)一個類被shared_ptr管理(當(dāng)使用shared_ptr管理類對象時,實(shí)際上是管理的類對象的 *this指針),且在類的成員函數(shù)中需要把當(dāng)前類對象作為參數(shù)傳遞給其他函數(shù)時,就需要返回當(dāng)前對象的this指針,但是,直接傳遞this指針(相當(dāng)于裸指針)到類外,有可能會被多個shared_ptr所管理,造成與上面一樣的二次釋放的異常錯誤。 錯誤示例:
出現(xiàn)上述異常的原因很簡單,類的成員函數(shù)將對象的this指針返回出去,this是一個普通指針,交給智能指針sp2管理,而sp2根本感知不到這個裸指針已經(jīng)被其他智能指針sp1給管理起來了。 使用shared_ptr直接管理this指針導(dǎo)致“重復(fù)釋放”的原因在于:
C++11 引入shared_from_this,使用方式如下:
使用shared_from_this 改寫上面的錯誤示例:
shared_from_this的使用公式為:
上面的例子中,雖然在類成員函數(shù) object_ptr() 中先將this指針封裝成了一個shared_ptr,但是this指針的引用計(jì)數(shù)并沒有因此而比正常時多1,這涉及到shared_from_this的實(shí)現(xiàn)原理。 1.5.2 shared_from_this的實(shí)現(xiàn)原理: 要實(shí)現(xiàn)上述的shared_from_this 的功能,首先要考慮兩個設(shè)計(jì)原則: 1、首先要考慮的是: 在類對象本身當(dāng)中不能存儲類對象本身的shared_ptr,否則類對象shared_ptry永遠(yuǎn)也不會為0,從而這些資源永遠(yuǎn)不會釋放,除非程序結(jié)束。 2、其次,類對象肯定是外部函數(shù)通過某種機(jī)制分配的,而且一經(jīng)分配立即交給shared_ptr管理(強(qiáng)調(diào):給shared_ptr管理的資源必須在分配時交給shared_ptr),而且以后凡是需要共享使用類對象的地方必須使用這個shared_ptr當(dāng)作右值來構(gòu)造生產(chǎn)或者拷貝產(chǎn)生另一個shared_ptr從而達(dá)到共享使用的目的。 基于以上兩點(diǎn)要求,boost中使用的是 weak_ptr 的方式來實(shí)現(xiàn)的。 boost 1.39.0 中是這樣實(shí)現(xiàn)的: 1、首先生成類A:會依次調(diào)用 enable_shared_from_this 的構(gòu)造函數(shù) 以及 類A的構(gòu)造函數(shù)。 enable_shared_from_this 類中有一個 weak_ptr 成員,在enable_shared_from_this構(gòu)造函數(shù)中對其初始化,此時weak_ptr無效的,不指向任何對象。 2、接著,外部程序會把指向類A 對象的this指針作為初始化參數(shù)來初始化一個shared_ptr,就是下面的過程:
關(guān)鍵點(diǎn)在于這個shared_ptr如何初始化, shared_ptr模板類中定義了如下的構(gòu)造函數(shù):
而在這里對 enable_shared_from_this 的成員weak_ptr進(jìn)行拷貝賦值,使得整個 weak_ptr作為類對象 shared_ptr的一個觀察者。這時,當(dāng)類對象本身需要自身的shared_ptr時,就可以從這個weak_ptr來生成一個了。 2. weak_ptr: 2.1 weak_ptr的特性:
weak_ptr 模板類中常用的成員函數(shù):
2.2 weak_ptr的使用場景:
3. unique_ptr 與 auto_ptr: 智能指針可分為兩類:
C++11中共有四種智能指針:auto_ptr、unique_ptr、shared_ptr、weak_ptr。 所有這些智能指針都是為了管理動態(tài)分配對象的生命周期而設(shè)計(jì)的,換言之,通過保證這樣的對象在適當(dāng)?shù)臅r機(jī)以適當(dāng)?shù)姆绞轿鰳?gòu)(包括發(fā)生異常的場合),來防止資源泄漏。 auto_ptr是個從c++98中殘留下來的棄用特性,它是一種對智能指針進(jìn)行標(biāo)準(zhǔn)化的嘗試,這種嘗試后來成為了c++11中的unique_ptr。 要正確的完成這個特性就需要移動語義,但在c++98中卻并沒有這樣的語義。作為一種變通手段,auto_ptr使用了 拷貝復(fù)制操作 來完成移動任務(wù),這就導(dǎo)致:
3.1 auto_ptr的核心實(shí)現(xiàn)代碼:
3.2 unique_ptr的核心實(shí)現(xiàn)代碼: unique_ptr的設(shè)計(jì)主要有如下兩點(diǎn):
unique_ptr必須直接初始化,且不能通過隱式轉(zhuǎn)換來構(gòu)造,因?yàn)閡nique_ptr的構(gòu)造函數(shù)被聲明為explicit。
3.3 unique_ptr 的常用操作:
|
|
來自: 新用戶73286115 > 《待分類》