C++11新特性之智慧型指標(shared_ptr/unique_ptr/weak_ptr)

shared_ptr基本用法

shared_ptr採用引用計數的方式管理所指向的物件。當有一個新的shared_ptr指向同一個物件時（複製shared_ptr等），引用計數加1。當shared_ptr離開作用域時，引用計數減1。當引用計數為0時，釋放所管理的記憶體。

這樣做的好處在於解放了程式設計師手動釋放記憶體的壓力。之前，為了處理程式中的異常情況，往往需要將指標手動封裝到類別中，透過析構函數來釋放動態分配的記憶體；現在這個過程就可以交給shared_ptr去做了。

一般我們會使用make_shared來取得shared_ptr。

cout<<"test shared_ptr base usage:"<<endl;
shared_ptr<string> p1 = make_shared<string>("");
if(p1 && p1->empty())
*p1 = "hello";
 
auto p2 = make_shared<string>("world");
cout<<*p1<<&#39; &#39;<<*p2<<endl;
 
cout<<"test shared_ptr use_count:"<<endl;
cout<<"p1 cnt:"<<p1.use_count()<<"\tp2 cnt:"<<p2.use_count()<<endl;
 
auto p3 = p2;
cout<<"p1 cnt:"<<p1.use_count()<<"\tp2 cnt:"<<p2.use_count()<<"\tp3 cnt:"<<p3.use_count()<<endl;
p2 = p1;
cout<<"p1 cnt:"<<p1.use_count()<<"\tp2 cnt:"<<p2.use_count()<<"\tp3 cnt:"<<p3.use_count()<<endl;

   

shared_ptr和new

shared_ptr可以使用一個new表達式傳回的指標初始化。

cout<<"test shared_ptr and new:"<<endl;
shared_ptr<int> p4(new int(1024));
//shared_ptr<int> p5 = new int(1024); // wrong, no implicit constructor
cout<<*p4<<endl;

但是，不能將一個new表達式傳回的指標賦值給shared_ptr。

另外，特別要注意的是，不要混用new和shared_ptr!

void process(shared_ptr<int> ptr)
{
cout<<"in process use_count:"<<ptr.use_count()<<endl;
}
 
cout<<"don&#39;t mix shared_ptr and normal pointer:"<<endl;
shared_ptr<int> p5(new int(1024));
process(p5);
int v5 = *p5;
cout<<"v5: "<<v5<<endl;
 
int *p6 = new int(1024);
process(shared_ptr<int>(p6));
int v6 = *p6;
cout<<"v6: "<<v6<<endl;

   

上面的程式片段會輸出：

in process use_count:20vcount: 5:202 0
可以看到，第二次process p6時，shared_ptr的引用計數為1，當離開process的作用域時，會釋放對應的內存，此時p6成為了懸掛指針。

所以，一旦將一個new表達式回傳的指標交給shared_ptr管理之後，就不要再透過普通指標存取這塊記憶體！

shared_ptr.reset

shared_ptr可以透過reset方法重置指向另一個對象，此時原對象的引用計數減一。

cout<<"test shared_ptr reset:"<<endl;
cout<<"p1 cnt:"<<p1.use_count()<<"\tp2 cnt:"<<p2.use_count()<<"\tp3 nt:"<<p3.use_count()<<endl;
p1.reset(new string("cpp11"));
cout<<"p1 cnt:"<<p1.use_count()<<"\tp2 cnt:"<<p2.use_count()<<"\tp3 cnt:"<<p3.use_count()<<endl;
shared_ptr deleter

   

可以自訂一個deleter函數，用於在shared_ptr釋放物件時呼叫。

void print_at_delete(int *p)
{
cout<<"deleting..."<<p<<&#39;\t&#39;<<*p<<endl;
delete p;
}
 
cout<<"test shared_ptr deleter:"<<endl;
int *p7 = new int(1024);
shared_ptr<int> p8(p7, print_at_delete);
p8 = make_shared<int>(1025);

   

unique_ptr基本用法

unique_ptr對於所指向的對象，正如其名字所示，是 獨佔 的。所以，不可以對unique_ptr進行拷貝、賦值等操作，但是可以透過release函數在unique_ptr之間轉移控制權。

cout<<"test unique_ptr base usage:"<<endl;
unique_ptr<int> up1(new int(1024));
cout<<"up1: "<<*up1<<endl;
unique_ptr<int> up2(up1.release());
cout<<"up2: "<<*up2<<endl;
//unique_ptr<int> up3(up1); // wrong, unique_ptr can not copy
//up2 = up1; // wrong, unique_ptr can not copy
unique_ptr<int> up4(new int(1025));
up4.reset(up2.release());
cout<<"up4: "<<*up4<<endl;

   

unique_ptr作為參數和返回值

上述對於拷貝的限制，有兩個特殊情況，即unique_ptr可以作為函數的返回值和參數使用，這時雖然也有隱含的拷貝存在，但是並非不可行的。

unique_ptr<int> clone(int p)
{
return unique_ptr<int>(new int(p));
}
 
void process_unique_ptr(unique_ptr<int> up)
{
cout<<"process unique ptr: "<<*up<<endl;
}
 
cout<<"test unique_ptr parameter and return value:"<<endl;
auto up5 = clone(1024);
cout<<"up5: "<<*up5<<endl;
process_unique_ptr(move(up5));
//cout<<"up5 after process: "<<*up5<<endl; // would cause segmentfault

   

這裡的std::move函數，以後再單獨具體細說^_^

unique_ptr deleter

unique_ptrdeldeleter，和shared_deltrdeleter的類型。還好我們有decltype這個利器，不然寫起來好麻煩。

cout<<"test unique_ptr deleter:"<<endl;
int *p9 = new int(1024);
unique_ptr<int, decltype(print_at_delete) *> up6(p9, print_at_delete);
unique_ptr<int> up7(new int(1025));
up6.reset(up7.release());

   

weak_ptr

weak_ptr一般和shared_ptr搭配使用。它可以指向shared_ptr所指向的對象，但卻不增加對象的參考計數。這樣就有可能出現weak_ptr所指向的物件實際上已經被釋放了的情況。因此，weak_ptr有一個lock函數，嘗試取回一個指向物件的shared_ptr。

cout<<"test weak_ptr basic usage:"<<endl;
auto p10 = make_shared<int>(1024);
weak_ptr<int> wp1(p10);
cout<<"p10 use_count: "<<p10.use_count()<<endl;
//p10.reset(new int(1025)); // this will cause wp1.lock() return a false obj
shared_ptr<int> p11 = wp1.lock();
if(p11) cout<<"wp1: "<<*p11<<" use count: "<<p11.use_count()<<endl;

總結

shared_ptr採用引用計數的方式管理所指向的物件。

shared_ptr可以使用一個new表達式傳回的指標初始化；但是，不能將一個new表達式傳回的指標賦值給shared_ptr。

一旦將一個new表達式傳回的指標交給shared_ptr管理之後，就不要再透過普通指標存取這塊記憶體。

shared_ptr可以透過reset方法重置指向另一個對象，此時原對象的引用計數減一。
可以自訂deleter函數，用於在shared_ptr釋放物件時呼叫。
unique_ptr對於所指向的對象，是獨佔的。
不可以對unique_ptr進行拷貝、賦值等操作，但是可以透過release函數在unique_ptr之間轉移控制權。
unique_ptr可以作為函數的回傳值和參數使用。
unique_ptr同樣可以設定deleter，需要在模板參數中指定deleter的類型。
weak_ptr一般和shared_ptr配合使用。它可以指向shared_ptr所指向的對象，但卻不增加對象的參考計數。
weak_ptr有一個lock函數，試著取回一個指向物件的shared_ptr。

以上就是本文的全部內容，希望對大家的學習有所幫助，也希望大家多多支持PHP中文網。

更多C++11新特性之智慧指標(shared_ptr/unique_ptr/weak_ptr)相關文章請關注PHP中文網！