關於類的自定義賦值運算符和複製構造函數的重要性。
反面例子:
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不受影響