1. 程式人生 > 程式設計 >C++建構函式丟擲異常需要注意的地方

C++建構函式丟擲異常需要注意的地方

從語法上來說,建構函式可以丟擲異常。但從邏輯上和風險控制上,建構函式中儘量不要丟擲異常。萬不得已,一定要注意防止記憶體洩露。

1.建構函式丟擲異常導致記憶體洩漏

在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的解構函式,也就很容易造成記憶體洩露。

2.使用智慧指標管理記憶體資源

使用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生命週期結束時被呼叫,避免了資源洩漏。

以上就是C++建構函式丟擲異常需要注意的地方的詳細內容,更多關於C++建構函式的資料請關注我們其它相關文章!