不好馴服的析構函數

不好馴服的析構函數

本文假定您對C++的面向對象機制有一些瞭解，並且對指針比較清楚。您可以隨便轉載，但是必須保證文章的完整性，並且註明出處。

很願意和您交朋友：[email protected]。

注：想問我是學C還是C++的朋友就不要發郵件了，謝謝！

首先看一個深拷貝的例子

 #include <iostream> using namespace std; const int SIZE = 9; const int DEFAULT_NUM = 6; class A { private: int *p; int size; public: A(A&); A(); ~A(); void set(); //設置A的各個元素的值 void showEle(); //輸出p的各個元素 void showAdd(); //輸出p的地址 int *getP(); int getSize(); }; A::A() { p = NULL; size = 0; } A::~A() { delete []p; p = NULL; size = 0; } A::A(A &right) { size = right.getSize(); p = new int[size]; memcpy(p,right.getP(), sizeof(int)*size); } void A::set()//設置A的各個元素的值 { p = new int[SIZE]; size = SIZE; for(int n=0; n<size; n++) { p[n] = DEFAULT_NUM; } } void A::showEle() { for(int n=0; n<size; n++) { cout<<p[n]<<endl; } } void A::showAdd() { cout<<p<<endl; } int *A::getP() { return p; } int A::getSize() { return size; } int main() { A a; a.set(); a.showEle(); a.showAdd(); A b(a); b.showEle(); b.showAdd(); return 0; } 可能我寫的有點亂，成員變量包括一個指針，其實是一個數組，想要深拷貝。

所以我們需要重載拷貝構造函數。

初學C++的時候，直接記住了參數是引用類型，當時對語言沒有深入的理解（雖然現在也不深入），也就沒有往心裏去，這些天模擬STL，遇到了好多關於深拷貝的問題，而且這問題出的很怪異（我會在下午提出），因此想到了拷貝構造函數，所以在這裏需要深究一下。

拷貝構造函數的參數是引用類型。

我們可以試想一下不是引用的情況，也就是說，拷貝構造函數是下邊這個樣子：

A::A(A right) { size = right.getSize(); p = new int[size]; memcpy(p,right.getP(), sizeof(int)*size); } 參數傳遞的是一個對象，按值傳遞，那麼這個對象就會被複制到right，複製的時候又會調用拷貝構造函數，那又會複製一個對象到第二次調用的這個拷貝構造函數裏邊，因此又需要第三次調用拷貝構造函數。。。想一下，是不是無限循環？

簡單地說：傳值需要調用拷貝構造函數，而不是引用類型的拷貝構造函數又需要調用拷貝構造函數。因此無限循環。

Ok，把引用的這個問題說明白，下邊說一下我這幾天遇到的這個問題：

請先看一段代碼：

#include <iostream> #include <vector> using namespace std; class A { private: int *p; int size; public: void setSize(int); void setP(int*); int getSize() const; int *getP() const; void fun(); //設置相應的值，爲拷貝做準備 void show(); ~A(); //析構函數 A(); A operator = (A right) //重載的等號 { int *rightP = right.getP(); size = right.getSize(); p = new int[size]; memcpy(p, rightP, size*sizeof(int)); return *this; } ; }; void A::setSize(int newSize) { size = newSize; } void A::setP(int *newP) { p = newP; } void A::show() { for(int n=0;n<size;n++) { cout<<p[n]<<endl; } } int *A::getP() const { return p; } int A::getSize() const { return size; } A::A() { p = NULL; size = 0; } void A::fun() { p = new int [9]; for(int n=0;n<9;n++) { p[n] = n+1; } size = 9; } //關鍵是下邊的析構函數，如果進行delete操作，該程序就會出錯 A::~A() { delete []p; p = NULL; size = 0; } int main() { A a; a.fun(); cout<<"a.show():"<<endl; a.show(); A b; b = a; cout<<"b.show()"<<endl; b.show(); cout<<"a.show()"<<endl; a.show(); return 0; } 可以試着運行一下，在我電腦上邊出現了下邊這個錯誤

很恐怖的錯誤。呵呵，讓我們詳細分析一下。

第一次a.show()成功，說明對象a建立沒有問題;b.show()失敗，說明沒有複製成功;第二次a.show()失敗，說明a被修改了，可以猜想一下，是不是被調用了析構函數？

現在重載 = 的時候是按值傳遞，那麼，我們傳進去的是地址p和size。

之後是執行拷貝的函數，這個沒啥問題，把right中的相關數據拷貝。

然後就開始執行析構函數了，首先析構的是傳進來的參數，也就是right，由於right的p和主函數中a的p相等，因此right的p被delete了也就是a的p被delete了，在這裏，我們把主函數中的a不小心析構了一點點（把p給delete了）。因爲函數的返回的是值，所以第二步析構的是(*this)，這樣，就把複製後的p給delete了。到這裏，我們悲劇地把內存中所有的p都delete了。

所以，當再次輸出a和b的時候，全都是隨機值。

細心的朋友可能會發現，當第二次輸出a和b的時候仍然是輸出了10個，也就是開始的size值。a的size是10不難理解。由於析構函數是在函數返回後調用的，所以返回的b的size是不改變的（返回是在改變以前）。

我們試着改一下：

下邊是我在參數上邊加了&，這樣，當再次輸出a的時候沒有錯誤

A operator = (A &right) //重載的等號 { int *rightP = right.getP(); size = right.getSize(); p = new int[size]; memcpy(p, rightP, size*sizeof(int)); return *this; } 下邊是在參數right和返回值都加了&，這樣就沒有錯誤了。

A &operator = (A &right) //重載的等號 { int *rightP = right.getP(); size = right.getSize(); p = new int[size]; memcpy(p, rightP, size*sizeof(int)); return *this; } 正好符合我們的分析。