深度拷貝的重要性

#include <iostream>
#include <cstdlib>
#include <vector>  
using   namespace   std; 

class   CDemo   {  
public:  
    CDemo():str(Null){};  
    ~CDemo()   
    {   
        if(str)   delete[]   str;   
    };  
    char*   str;  
}; 

int   main(int   argc,   char**   argv)   {  
    CDemo   d1;  
    d1.str=new   char[32];  
    strcpy(d1.str, "trend   micro"); 

    vector<CDemo>   *a1=new   vector<CDemo>();  
    
    a1->push_back(d1); 
    delete   a1; 
   
    return EXIT_SUCCESS;
}

這個程式在退出時，會出問題，什麼問題？重複delete同一片記憶體，程式崩潰。
我們把解構函式改為如下，可以更清楚的看到這一點：
    ~CDemo()  
    {  
        if(str)
        {
            static int i=0;
            cout<<"&CDemo"<<i++<<"="<<(int*)this<<",    str="<<(int *)str<<endl;
            delete[]   str;     
        }
    }; 

那到底那裡錯誤？

這句a1的聲明和初始化語句“vector<CDemo>   *a1=new   vector<CDemo>();  ”說明a1所含元素是“CDemo”類型的，在執行“a1->push_back(d1);  ”這條語句時，會調用CDemo的拷貝建構函式，雖然CDemo類中沒有定義拷貝建構函式，但是編譯器會為CDemo類構建一個預設的拷貝建構函式（淺拷貝），這就好像任何對象如果沒有定義建構函式，編譯器會構建一個預設的建構函式一樣。

正是這裡出了問題。a1中的所有CDemo元素的str成員變數沒有初始化，只有一個四位元組（32位機）指標空間。
“a1->push_back(d1);”這句話執行完後，a1裡的CDemo元素與d1是不同的對象，但是a1裡的CDemo元素的str與d1.str指向的是同一塊記憶體，這從後來的列印資訊就可以看出來。

我們知道，局部變數，如“CDemo   d1;  ” 在main函數退出時，自動釋放所佔記憶體空間，
那麼會自動調用CDemo的解構函式“~CDeme”，問題就出在這裡。

前面的“delete   a1;”已經把 d1.str 釋放了（因為a1裡的CDemo元素的str與d1.str指向的是同一塊記憶體），main函數退出時，又要釋放已經釋放掉的 d1.str 記憶體空間，所以程式最後崩潰。

 

解釋清楚了。
這裡最核心的問題歸根結底就是淺拷貝和深拷貝的問題。如果CDemo類添加一個這樣的拷貝建構函式就可以解決問題：
    CDemo(const   CDemo   &cd) 
    { 
        this->str   =   new   char[strlen(cd.str)+1]; 
        strcpy(str,cd.str); 
    };
這就是深拷貝。

或者這樣用：
    vector<CDemo*>   *a1=new   vector<CDemo*>(); 
    a1->push_back(&d1); 
那麼在    “delete   a1;” a1釋放，同時a1裡麵包含的元素(”CDemo*“類型，仍然是一個指標，4位元組空間)。 
詳細出處參考：http://www.itqun.net/content-detail/70928_2.html