首先，我們要明確一點！一個函數執行的過程中，如果拋出異常，會導致函數提前終止！

在C++構造函數中，既需要分配內存，又需要拋出異常時要特別注意防止內存泄露的情況發生。因為在構造函數中拋出異常，在概念上將被視為該對象沒有被成功構造，因此當前對象的析構函數就不會被調用。同時，由于構造函數本身也是一個函數，在函數體內拋出異常將導致當前函數運行結束，并釋放已經構造的成員對象，包括其基類的成員，即執行直接基類和成員對象的析構函數。所以在構造函數中盡量不要拋出異常，但可以拋出異常（后面給出方法），要注意內存泄漏的問題！

舉個栗子：

#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;} }

輸出：

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

從輸出結果可以看出，在構造函數中拋出異常，當前對象的析構函數不會被調用，在構造函數中分配了內存，造成內存泄露，所以要格外注意。

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

構造函數異常，可以總結如下：???

1.C++中通知對象構造失敗的唯一方法那就是在構造函數中拋出異常；???

2.構造函數拋出異常時，析構函數將不會被執行；???

3.拋出異常時，其子對象將被逆序析構。

---

使用智能指針管理內存資源

使用RAII（Resource Acquisition is Initialization）技術可以避免內存泄漏。RAII即資源獲取即初始化，也就是說在構造函數中申請分配資源，在析構函數中釋放資源。因為C++的語言機制保證了，當一個對象創建的時候，自動調用構造函數，當對象超出作用域的時候會自動調用析構函數。所以，在RAII的指導下，我們應該使用類來管理資源，將資源和對象的生命周期綁定。智能指針是RAII最具代表的實現，使用智能指針，可以實現自動的內存管理，再也不需要擔心忘記delete造成的內存泄漏。

因此，當構造函數不得已拋出異常時，可以利用“智能指針”unique_ptr來防止內存泄露。參考如下程序

#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;} }

運行結果：

in A constructor in B constructor in A destructor catched

?從程序的運行結果來看，通過智能指針對內存資源的管理，盡管在類B構造函數拋出異常導致類B析構函數未被執行，但類A的析構函數仍然在對象pA生命周期結束時被調用，避免了資源泄漏。

---

析構函數中拋出異常？
在析構函數中是可以拋出異常的，但是這樣做很危險，請盡量不要這要做。原因在《More Effective C++》中提到兩個：
（1）如果析構函數拋出異常，則異常點之后的程序不會執行，如果析構函數在異常點之后執行了某些必要的動作比如釋放某些資源，則這些動作不會執行，會造成諸如資源泄漏的問題。
（2）通常異常發生時，c++的異常處理機制在異常的傳播過程中會進行棧展開（stack-unwinding），因發生異常而逐步退出復合語句和函數定義的過程，被稱為棧展開。在棧展開的過程中就會調用已經在棧構造好的對象的析構函數來釋放資源，此時若其他析構函數本身也拋出異常，則前一個異常尚未處理，又有新的異常，會造成程序崩潰。

那么如果無法保證在析構函數中不發生異常， 該怎么辦?

其實還是有很好辦法來解決的。那就是把異常完全封裝在析構函數內部，決不讓異常拋出析構函數之外。這是一種非常簡單，也非常有效的方法。

~ClassName(){try {do_something();}catch(…) { //這里可以什么都不做，只是保證catch塊的程序拋出的異常不會被扔出析構函數之外}}

---

綜上：在構造函數和析構函數中拋出異常會導致內存泄漏等問題出現。

總結

以上是生活随笔為你收集整理的27.能否在构造函数中抛出异常？析构函数呢？的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。