快捷導(dǎo)航

C++智能指針模板應(yīng)用詳細介紹

更新時間：2022年08月22日 09:08:44 作者：Shawn-Summer

從比較簡單的層面來看，智能指針是RAII(Resource Acquisition Is Initialization，資源獲取即初始化)機制對普通指針進行的一層封裝。這樣使得智能指針的行為動作像一個指針，本質(zhì)上卻是一個對象，這樣可以方便管理一個對象的生命周期

智能指針模板類

void remodel(std::string & str)
{
    std::string *ps =new std::string(str);
    ....
    if(oh_no)
        throw exception();
    ...
    delete ps;
    return;
}

如果上面這段函數(shù)出現(xiàn)異常,那么就會發(fā)生內(nèi)存泄漏。傳統(tǒng)指針在執(zhí)行動態(tài)內(nèi)存分配時具有缺陷,很容易導(dǎo)致內(nèi)存泄漏。如果有一個指針,指針被釋放的同時,它指向的內(nèi)存也能被釋放,那就完美了。這種指針就是智能指針。

我們只介紹3個智能指針模板類:auto_ptr、unique_ptr、shared_ptr,順便會提一下weak_ptr。其中auto_ptr已經(jīng)被拋棄了,它是一個過時的產(chǎn)物,我們介紹它只為拋磚引玉。

使用智能指針

這些智能指針模板定義了類似指針的對象,我們把new獲得的地址賦給這種對象,當智能指針過期時,它的析構(gòu)函數(shù)會自動釋放動態(tài)內(nèi)存。

必須包含頭文件memory,這個文件包含模板定義。我們使用模板實例化來創(chuàng)建所需指針.

類模板大概是:

template<class X>
class auto_ptr
{
public:
    explicit auto_ptr(X* p) noexcept;
    ....
}

所以我們實例化:

auto_ptr<double> pd(new double);或者auto_ptr<string> ps(new string);。

對于其他兩種智能指針也是一樣的構(gòu)造語法。

//智能指針1.cpp
#include<iostream>
#include<string>
#include<memory>
class Report
{
private:
    std::string str;
public:
    Report(const std::string &s):str(s){std::cout<<"Object created!\n";}
    ~Report(){std::cout<<"Object deleted";}
    void comment() const{std::cout<<str<<"\n";}
};
int main()
{
    {
        std::auto_ptr<Report> ps(new Report("using auto_ptr"));
        ps->comment();
    }
    {
        std::unique_ptr<Report> ps(new Report("using unique_ptr"));
        ps->comment();
    }
    {
        std::shared_ptr<Report> ps(new Report("using shared_ptr"));
        ps->comment();
    }
}

Object created!
using auto_ptr
Object deletedObject created!
using unique_ptr
Object deletedObject created!
using shared_ptr
Object deleted

注意,所有智能指針類都有一個explicit構(gòu)造函數(shù),該構(gòu)造函數(shù)將指針作為參數(shù)。所以它不會將指針轉(zhuǎn)換成智能指針對象。

shared_ptr<double> pd;
double *p_reg=new double;
pd=p_reg;//不允許因為構(gòu)造函數(shù)是`explicit`修飾的,所以不能隱式類型轉(zhuǎn)換
pd=shared_ptr<double>(p_reg);//允許,使用賦值運算符
shared_ptr<double> pshared=p_reg;//不允許,因為不能隱式類型轉(zhuǎn)換
shared_ptr<double> pshared(p_reg);//允許調(diào)用構(gòu)造函數(shù)。

智能指針和傳統(tǒng)指針有很多類似的語法:例如可以使用*ps來解除引用,也可以使用ps->來訪問結(jié)構(gòu)成員。

但是最重要的不同是:我們只能用能進行delete或者delete[]的指針來構(gòu)造智能指針。

也就是說:

int a=5;
int *p=&a;
shared_ptr<int> ps(p);

上面這段代碼就是錯誤的,因為p無法使用delete.

#include<memory>
#include<iostream>
int main()
{
    using namespace std;
    /*{
        auto_ptr<int[]> ps(new int[2]{1,2});
        cout<<ps[0]<<endl;
        cout<<ps[1]<<endl;
    }*/
    {
        unique_ptr<int[]> ps(new int[2]{1,2});
        cout<<ps[0]<<endl;
        cout<<ps[1]<<endl;
    }
    {
        shared_ptr<int []> ps(new int[2]{1,2});
        cout<<ps[0]<<endl;
        cout<<ps[1]<<endl;
    }
}

上面代碼告訴我們,我們可以使用<int []>這樣實例化模板,這是為了模擬動態(tài)數(shù)組。

關(guān)于智能指針的注意事項

auto_ptr<string> ps(new string("I reigned lonely as a cloud."));
auto_ptr<string> pd;
pd=ps;

上面這段代碼不會報錯,但是你可能會問:pd和ps都是智能指針,如果我們把ps賦給pd;那么就說明這兩個指針指向同一個string對象,那么當這兩個指針消失時,會對同一個string對象釋放兩次?

我們看看我們?nèi)绾伪苊膺@種問題:

進行深復(fù)制
建立所有權(quán)概念,對于特定的對象,只能有一個智能指針擁有它,這樣就只有擁有它的智能指針的析構(gòu)函數(shù)才會釋放內(nèi)存。然后賦值運算會轉(zhuǎn)讓所有權(quán)。auto_ptr和unique_ptr都是使用這種策略,但是unique_ptr更嚴格。
使用引用計數(shù),每個對象都會記錄有多少個智能指針指向它,然后賦值運算時,計數(shù)加1,指針過期時計數(shù)減1。當最后一個指針過期時,才會調(diào)用delete,這是shared_ptr的策略。

實際上,上述這些策略也適用于復(fù)制構(gòu)造函數(shù)。

實際上,unique_ptr就是"唯一指針",指針和被指向的對象一一對應(yīng),而shared_ptr就是"分享指針",它允許多個指針指向同一個對象。所以說,shared_ptr的用法更像C風(fēng)格指針。

我們看上面的代碼,pd=ps后,由于string對象的所有權(quán)交給了pd,所以*ps就無法使用了。

//智能指針3.cpp
#include<iostream>
#include<string>
#include<memory>
int main()
{
    using namespace std;
    auto_ptr<string> films[5]=
    {
        auto_ptr<string>(new string("1")),
        auto_ptr<string>(new string("2")),
        auto_ptr<string>(new string("3")),
        auto_ptr<string>(new string("4")),
        auto_ptr<string>(new string("5"))
    };
    auto_ptr<string> p;
    p=films[2];
    for(int i=0;i<5;i++)
    {
        cout<<*films[i]<<endl;
    }
    cout<<*p<<endl;
}

上面這段代碼會出錯,因為p=films[2];使得,films[2]的所有權(quán)轉(zhuǎn)讓給p了,所以cout<<*film[2]就會出錯。但是如果使用shared_ptr代替auto_ptr就可以正常運行了。如果使用unique_ptr呢?程序會在編譯階段報錯,而不是在運行階段報錯,所以說unique_ptr更加嚴格。

unique_ptr優(yōu)于auto_ptr

首先就是上面談過的,unique_ptr的所有權(quán)概念比auto_ptr要嚴格,所以unique_ptr更加安全。

unique_ptr<string> ps(new string("I reigned lonely as a cloud."));
unique_ptr<string> pd;
pd=ps;

上述代碼會在編譯階段報錯,因為出現(xiàn)了危險的懸掛指針ps(即野指針,指針指向被刪除的內(nèi)存,如果使用野指針修改內(nèi)存是會造成嚴重后果)。

但是有時候?qū)⒁粋€智能指針賦給另一個并不會留下懸掛指針:

unique_ptr<string> demo(const char*s)
{
    unique_ptr<string> temp(new string(s));
    return temp;
}
...
unique_ptr<string>ps;
ps= demo("something");
...

demo()函數(shù)返回一個臨時變量temp,然后臨時變量temp被賦給ps,那么temp就變成懸掛指針了,但是我們知道ps=demo("something")一旦運行結(jié)束,demo()里的所有局部變量都會消失包括temp。所以即使temp是野指針,我們也不會使用它。神奇的是,編譯器也允許上面這種賦值。

總之,程序試圖將一個unique_ptr賦給另一個時,如果源unique_ptr是個臨時右值,編譯器允許這么做;如果源unique_ptr會存在一段世界,編譯器禁止這么做。

unique_ptr<string> pu1;
pu1=unique_ptr<string>(new string("yo!"));

上面這段代碼也是允許的,因為unique_ptr<string>(new string("yo!"))是一個臨時右值(右值都是臨時的,右值只在當前語句有效,語句結(jié)束后右值就會消失)

unique_ptr<string> ps(new string("I reigned lonely as a cloud."));
unique_ptr<string> pd;
pd=std::move(ps);

上面代碼是正確的,如果你想要進行將unique_ptr左值,賦給unique_ptr左值,那么你必須使用move()函數(shù),這個函數(shù)會將左值轉(zhuǎn)換成右值。

以上所說,反映了一個事實:unique_ptr比auto_ptr安全。其實unique_ptr還有一個優(yōu)點:auto_ptr的析構(gòu)函數(shù)只能使用delete,而unique_ptr的析構(gòu)函數(shù)可以使用delete[]和delete。

選擇智能指針

首先明確一個事實:shared_ptr更方便;unique_ptr更安全。

如果程序需要適用多個指向同一個對象的指針,那么只能選擇shared_ptr;如果不需要多個指向同一個對象的指針,那么兩種指針都可以使用?？傊?嫌麻煩的話就全部用shared_ptr.

#include<memory>
#include<iostream>
#include<vector>
#include<cstdlib>
#include<algorithm>
std::unique_ptr<int> make_int(int n)
{
    return std::unique_ptr<int>(new int(n));
}
void show(const std::unique_ptr<int> &pi)
{
    std::cout<<*pi<<' ';
}
int main()
{
    using std::vector;
    using std::unique_ptr;
    using std::rand;
    int size=10;
    vector<unique_ptr<int>> vp(size);
    for(int i=0;i<size;i++)
        vp[i]=make_int(rand()%1000);//#1
    vp.push_back(make_int(rand()%1000));//#2
    std::for_each(vp.begin(),vp.end(),show);//#3
}

上面這段代碼是使用unique_ptr寫的,#1.#2是沒有問題的,因為函數(shù)返回值是臨時右值,#3就要注意了.show()函數(shù)使用的是引用參數(shù),如果換成按值傳遞,那就會出錯,因為這會導(dǎo)致,使用unique_ptr左值初始化pi,這時不允許的,記得嗎?在使用unique_ptr時,它的賦值運算符要求:只能用右值賦給左值。(實際上,它的復(fù)制構(gòu)造函數(shù)也要求只接受右值)。

當unique_ptr是右值的時候,我們可以把他賦給shared_ptr。

shared_ptr包含一個顯式構(gòu)造函數(shù),他會把右值unique_ptr轉(zhuǎn)換成shared_ptr:

unique_ptr<int> pup(make_int(rand()%1000));//ok
shared_ptr<int> spp(pup);//不允許,構(gòu)造函數(shù)不能接受`unique_ptr`的左值
shared_ptr<int> spr(make_int(rand()%1000));//ok

weak_ptr

weak_ptr正如它名字所言:一個虛弱的指針,一個不像是指的指針。weak_ptr是用來輔助shared_ptr的。

為什么說weak_ptr不像指針呢?是因為它沒有重載*和[]運算符。

通常,我們使用shared_ptr來初始化weak_ptr,那么這兩個指針都指向是同一塊動態(tài)內(nèi)存。

weak_ptr是shared_ptr的輔助,所以它幫忙能查看這塊動態(tài)內(nèi)存的信息:包括引用計數(shù)、存的信息。

#include<memory>
#include<iostream>
int main()
{
    using std::shared_ptr;
    using std::weak_ptr;
    using std::cout;
    using std::endl;
    shared_ptr<int> p1(new int(255));
    weak_ptr<int>wp(p1);
    cout<<"引用計數(shù): "<<wp.use_count()<<endl;
    cout<<"存儲信息: "<<*(wp.lock())<<endl;
    shared_ptr<int> p2=p1;
    cout<<"引用計數(shù): "<<wp.use_count()<<endl;
    cout<<"存儲信息: "<<*(wp.lock())<<endl;
}