從語(yǔ)法上來(lái)說(shuō)，構(gòu)造函數(shù)可以拋出異常。但從邏輯上和風(fēng)險(xiǎn)控制上，構(gòu)造函數(shù)中盡量不要拋出異常。萬(wàn)不得已，一定要注意防止內(nèi)存泄露。

1.構(gòu)造函數(shù)拋出異常導(dǎo)致內(nèi)存泄漏

在C++構(gòu)造函數(shù)中，既需要分配內(nèi)存，又需要拋出異常時(shí)要特別注意防止內(nèi)存泄露的情況發(fā)生。因?yàn)樵跇?gòu)造函數(shù)中拋出異常，在概念上將被視為該對(duì)象沒有被成功構(gòu)造，因此當(dāng)前對(duì)象的析構(gòu)函數(shù)就不會(huì)被調(diào)用。同時(shí)，由于構(gòu)造函數(shù)本身也是一個(gè)函數(shù)，在函數(shù)體內(nèi)拋出異常將導(dǎo)致當(dāng)前函數(shù)運(yùn)行結(jié)束，并釋放已經(jīng)構(gòu)造的成員對(duì)象，包括其基類的成員，即執(zhí)行直接基類和成員對(duì)象的析構(gòu)函數(shù)。考察如下程序。

#include <iostream>
using namespace std;

class C
{
int m;
public:
C(){cout<<"in C constructor"<<endl;}
~C(){cout<<"in C destructor"<<endl;}
};

class A
{
public:
A(){cout<<"in A constructor"<<endl;}
~A(){cout<<"in A destructor"<<endl;}
};

class B:public A
{
public:
C c;
char* resource;

B()
{
resource=new char[100];
cout<<"in B constructor"<<endl;
throw -1;
}
~B()
{
cout<<"in B destructor"<<endl;
delete[] resource;
}
};

int main()
{
try
{
B b;
}
catch(int)
{
cout<<"catched"<<endl;
}
}

程序輸出結(jié)果：

in A constructor
in C constructor
in B constructor
in C destructor
in A destructor
catched

從輸出結(jié)果可以看出，在構(gòu)造函數(shù)中拋出異常，當(dāng)前對(duì)象的析構(gòu)函數(shù)不會(huì)被調(diào)用，如果在構(gòu)造函數(shù)中分配了內(nèi)存，那么會(huì)造成內(nèi)存泄露，所以要格外注意。

此外，在構(gòu)造對(duì)象b的時(shí)候，先要執(zhí)行其直接基類A的構(gòu)造函數(shù)，再執(zhí)行其成員對(duì)象c的構(gòu)造函數(shù)，然后再進(jìn)入類B的構(gòu)造函數(shù)。由于在類B的構(gòu)造函數(shù)中拋出了異常，而此異常并未在構(gòu)造函數(shù)中被捕捉，所以導(dǎo)致類B的構(gòu)造函數(shù)執(zhí)行中斷，對(duì)象b并未構(gòu)造完成。在類B的構(gòu)造函數(shù)“回滾”的過程中，c的析構(gòu)函數(shù)和類A的析構(gòu)函數(shù)相繼被調(diào)用。最后，由于b并沒有被成功構(gòu)造，所以main()函數(shù)結(jié)束時(shí)，并不會(huì)調(diào)用b的析構(gòu)函數(shù)，也就很容易造成內(nèi)存泄露。

2.使用智能指針管理內(nèi)存資源

使用RAII（Resource Acquisition is Initialization）技術(shù)可以避免內(nèi)存泄漏。RAII即資源獲取即初始化，也就是說(shuō)在構(gòu)造函數(shù)中申請(qǐng)分配資源，在析構(gòu)函數(shù)中釋放資源。因?yàn)镃++的語(yǔ)言機(jī)制保證了，當(dāng)一個(gè)對(duì)象創(chuàng)建的時(shí)候，自動(dòng)調(diào)用構(gòu)造函數(shù)，當(dāng)對(duì)象超出作用域的時(shí)候會(huì)自動(dòng)調(diào)用析構(gòu)函數(shù)。所以，在RAII的指導(dǎo)下，我們應(yīng)該使用類來(lái)管理資源，將資源和對(duì)象的生命周期綁定。智能指針是RAII最具代表的實(shí)現(xiàn)，使用智能指針，可以實(shí)現(xiàn)自動(dòng)的內(nèi)存管理，再也不需要擔(dān)心忘記delete造成的內(nèi)存泄漏。

因此，當(dāng)構(gòu)造函數(shù)不得已拋出異常時(shí)，可以利用“智能指針”unique_ptr來(lái)防止內(nèi)存泄露。參考如下程序

#include <iostream>
using namespace std;

class A
{
public:
A() { cout << "in A constructor" << endl; }
~A() { cout << "in A destructor" << endl; }
};

class B
{
public:
unique_ptr<A> pA;
B():pA(new A)
{
cout << "in B constructor" << endl;
throw - 1;
}
~B()
{
cout << "in B destructor" << endl;
}
};

int main()
{
try
{
B b;
}
catch (int)
{
cout << "catched" << endl;
}
}

程序運(yùn)行結(jié)果：

in A constructor
in B constructor
in A destructor
catched

從程序的運(yùn)行結(jié)果來(lái)看，通過智能指針對(duì)內(nèi)存資源的管理，盡管在類B構(gòu)造函數(shù)拋出異常導(dǎo)致類B析構(gòu)函數(shù)未被執(zhí)行，但類A的析構(gòu)函數(shù)仍然在對(duì)象pA生命周期結(jié)束時(shí)被調(diào)用，避免了資源泄漏。

以上就是C++構(gòu)造函數(shù)拋出異常需要注意的地方的詳細(xì)內(nèi)容，更多關(guān)于C++構(gòu)造函數(shù)的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！