關於C++內存泄漏的一些簡單理解

關於類的自定義賦值運算符和複製構造函數的重要性。

反面例子:

class a{//沒有自定義的複製構造函數和賦值運算符
public:
	a(int num=0){ ptr = new int(num); }
	~a(){ delete ptr; }
private:
	int *ptr;
};

void doNothing(a dummy){}//值傳遞對象的危害
int main(){
	a x(1);

	{
	a y(2);
	x = y;//默認賦值運算符,使得x.ptr和y.prt指向了同一個地方,x.ptr原來所指的內存被拋棄
	}
	//y越界,調用析構函數刪掉了y.ptr,同時x.ptr也被刪除(它們指向相同)
	a z(3);//這條語句後,x.ptr的值居然爲3了!因爲系統在之前x.ptr指向的地方又開闢了內存
	doNothing(z);//doNothing()以值傳遞參數,默認複製構造函數以值傳遞指針,所以類似於上面的{}內的情況
	//z.ptr和x.ptr又爲不確定值
}

修改後:

class a{
public:
	a(int num=0){ ptr = new int(num); }
	a(const a & obj){ ptr = new int(*(obj.ptr)); }//自定義複製構造函數,第2句代碼不會出錯了
	a& operator = (a& from){ if(this == &from) return *this; delete ptr; ptr = new int(*(from.ptr)); return *this; }//自定義賦值運算符,第1句代碼不會出錯了
	~a(){ delete ptr; }
private:
	int *ptr;
};

void doNothing(a dummy){}//值傳遞對象的危害
int main(){
	a x(1);

	{
	a y(2);
/*1*/	x = y;//自定義賦值運算符,使得x.ptr和y.prt指向了不同地方,它們的數值相同
	}
	//y越界,調用析構函數刪掉了y.ptr,而x.ptr被保留
	a z(3);//這條語句後,x.ptr的值不會變成3了
/*2*/	doNothing(z);//doNothing()以值傳遞參數,調用自定義複製構造函數,以引用傳遞對象,並刪除原來的內存並開闢新的內存,數值相等
        //dummy.ptr被析構後,z.ptr不受影響

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章