Effective C++筆記之十三：以獨(dú)立語句將newed對(duì)象置入智能指針
? ? ? ? 假設(shè)我們有個(gè)函數(shù)用來揭示處理程序的優(yōu)先權(quán)，另一個(gè)函數(shù)用來在某動(dòng)態(tài)分配所得的Widget 上進(jìn)行某些帶有優(yōu)先權(quán)的處理:
int priority () ;
void processWidget(std::trl::shared_ptr pw, int priority); ? ? ? ?考慮如下調(diào)用:
processWidget(std::trl::shared ptr (new Widget) , priority()); ? ? ? ?令人驚訝的是，雖然我們在此使用"對(duì)象管理式資源"( object-managing resources) ，上述調(diào)用卻可能泄漏資源。
? ? ? ?編譯器產(chǎn)出一個(gè)processWidget調(diào)用碼之前，必須首先核算即將被傳遞的各個(gè)實(shí)參。上述第二實(shí)參只是一個(gè)單純的對(duì)priority 函數(shù)的調(diào)用，但第一實(shí)參std::trl::shared_ptr
1.執(zhí)行"new Widget" 表達(dá)式
2.調(diào)用trl::shared_ptr 構(gòu)造函數(shù)
? ? ? ?于是在調(diào)用processWidget之前，編譯器必須創(chuàng)建代碼，做以下三件事：
1.調(diào)用priority
2.執(zhí)行"new Widget"
3.調(diào)用trl::shared_ptr 構(gòu)造函數(shù)
? ? ? ?C++ 編譯器以什么樣的次序完成這些事情呢?彈性很大。這和其他語言如Java和C# 不同，那兩種語言總是以特定次序完成函數(shù)參數(shù)的核算?？梢源_定的是"new Widget" 一定執(zhí)行于trl::shared_ptr 構(gòu)造函數(shù)被調(diào)用之前，因?yàn)檫@個(gè)表達(dá)式的結(jié)果還要被傳遞作為trl::shared_ptr 構(gòu)造函數(shù)的一個(gè)實(shí)參，但對(duì)priority的調(diào)用則可以排在第一或第二或第三執(zhí)行。如果編譯器選擇以第二順位執(zhí)行它(說不定可因此生成更高效的代碼，誰知道!) ，最終獲得這樣的操作序列：
1.執(zhí)行"new Widget"
2.調(diào)用priority
3.調(diào)用trl::shared_ptr構(gòu)造函數(shù)
? ? ? ?現(xiàn)在請你想想，萬一對(duì)priority 的調(diào)用導(dǎo)致異常，會(huì)發(fā)生什么事?在此情況下"new Widget" 返回的指針將會(huì)遺失，因?yàn)樗形幢恢萌雝rl::shared_ptr 內(nèi)，后者是我們期盼用來防衛(wèi)資源泄漏的武器。是的，在對(duì)processWidget的調(diào)用過程中可能引發(fā)資源泄漏，因?yàn)樵?資源被創(chuàng)建(經(jīng)由"new widget") "和"資源被轉(zhuǎn)換為資源管理對(duì)象"兩個(gè)時(shí)間點(diǎn)之間有可能發(fā)生異常干擾。
? ? ? ?避免這類問題的辦法很簡單:使用分離語旬，分別寫出(1)創(chuàng)建Widget ， (2) 將它置入一個(gè)智能指針內(nèi)，然后再把那個(gè)智能指針傳給processWidget:
std::trl::shared ptr pw(new Widget);// 以獨(dú)立語句將newed 對(duì)象存儲(chǔ)于(置入)智能指針內(nèi)
processWidget(pw, priority()); // 這個(gè)調(diào)用動(dòng)作絕不至于造成泄漏。
需要記住的
以獨(dú)立語句將newed 對(duì)象存儲(chǔ)于(置入)智能指針內(nèi)。如果不這樣做，一旦異常被拋出，有可能導(dǎo)致難以察覺的資源泄漏。
下載文檔
