構(gòu)造函數(shù)、析構(gòu)函數(shù)與賦值函數(shù)是每個(gè)類最基本的函數(shù)。它們太普通以致讓人容易麻痹大意，其實(shí)這些貌似簡(jiǎn)單的函數(shù)就象沒(méi)有頂蓋的下水道那樣危險(xiǎn)。
    每個(gè)類只有一個(gè)析構(gòu)函數(shù)和一個(gè)賦值函數(shù)，但可以有多個(gè)構(gòu)造函數(shù)（包含一個(gè)拷貝構(gòu)造函數(shù)，其它的稱為普通構(gòu)造函數(shù)）。對(duì)于任意一個(gè)類A，如果不想編寫上述函數(shù)，C++編譯器將自動(dòng)為A產(chǎn)生四個(gè)缺省的函數(shù)，如
    A(void);                    // 缺省的無(wú)參數(shù)構(gòu)造函數(shù)
    A(const A &a);                // 缺省的拷貝構(gòu)造函數(shù)
    ~A(void);                    // 缺省的析構(gòu)函數(shù)
    A & operate =(const A &a);    // 缺省的賦值函數(shù)

這不禁讓人疑惑，既然能自動(dòng)生成函數(shù)，為什么還要程序員編寫？
原因如下：
（1）如果使用“缺省的無(wú)參數(shù)構(gòu)造函數(shù)”和“缺省的析構(gòu)函數(shù)”，等于放棄了自主“初始化”和“清除”的機(jī)會(huì)，C++發(fā)明人Stroustrup的好心好意白費(fèi)了。
（2）“缺省的拷貝構(gòu)造函數(shù)”和“缺省的賦值函數(shù)”均采用“位拷貝”而非“值拷貝”的方式來(lái)實(shí)現(xiàn)，倘若類中含有指針變量，這兩個(gè)函數(shù)注定將出錯(cuò)。
   
對(duì)于那些沒(méi)有吃夠苦頭的C++程序員，如果他說(shuō)編寫構(gòu)造函數(shù)、析構(gòu)函數(shù)與賦值函數(shù)很容易，可以不用動(dòng)腦筋，表明他的認(rèn)識(shí)還比較膚淺，水平有待于提高。
本章以類String的設(shè)計(jì)與實(shí)現(xiàn)為例，深入闡述被很多教科書忽視了的道理。String的結(jié)構(gòu)如下：
    class String
    {
      public:
        String(const char *str = NULL);    // 普通構(gòu)造函數(shù)
        String(const String &other);    // 拷貝構(gòu)造函數(shù)
        ~ String(void);                    // 析構(gòu)函數(shù)
        String & operate =(const String &other);    // 賦值函數(shù)
      private:
        char      *m_data;                // 用于保存字符串
    };
9.1 構(gòu)造函數(shù)與析構(gòu)函數(shù)的起源
    作為比C更先進(jìn)的語(yǔ)言，C++提供了更好的機(jī)制來(lái)增強(qiáng)程序的安全性。C++編譯器具有嚴(yán)格的類型安全檢查功能，它幾乎能找出程序中所有的語(yǔ)法問(wèn)題，這的確幫了程序員的大忙。但是程序通過(guò)了編譯檢查并不表示錯(cuò)誤已經(jīng)不存在了，在“錯(cuò)誤”的大家庭里，“語(yǔ)法錯(cuò)誤”的地位只能算是小弟弟。級(jí)別高的錯(cuò)誤通常隱藏得很深，就象狡猾的罪犯，想逮住他可不容易。
    根據(jù)經(jīng)驗(yàn)，不少難以察覺(jué)的程序錯(cuò)誤是由于變量沒(méi)有被正確初始化或清除造成的，而初始化和清除工作很容易被人遺忘。Stroustrup在設(shè)計(jì)C++語(yǔ)言時(shí)充分考慮了這個(gè)問(wèn)題并很好地予以解決：把對(duì)象的初始化工作放在構(gòu)造函數(shù)中，把清除工作放在析構(gòu)函數(shù)中。當(dāng)對(duì)象被創(chuàng)建時(shí)，構(gòu)造函數(shù)被自動(dòng)執(zhí)行。當(dāng)對(duì)象消亡時(shí)，析構(gòu)函數(shù)被自動(dòng)執(zhí)行。這下就不用擔(dān)心忘了對(duì)象的初始化和清除工作。
    構(gòu)造函數(shù)與析構(gòu)函數(shù)的名字不能隨便起，必須讓編譯器認(rèn)得出才可以被自動(dòng)執(zhí)行。Stroustrup的命名方法既簡(jiǎn)單又合理：讓構(gòu)造函數(shù)、析構(gòu)函數(shù)與類同名，由于析構(gòu)函數(shù)的目的與構(gòu)造函數(shù)的相反，就加前綴‘~’以示區(qū)別。
除了名字外，構(gòu)造函數(shù)與析構(gòu)函數(shù)的另一個(gè)特別之處是沒(méi)有返回值類型，這與返回值類型為void的函數(shù)不同。構(gòu)造函數(shù)與析構(gòu)函數(shù)的使命非常明確，就象出生與死亡，光溜溜地來(lái)光溜溜地去。如果它們有返回值類型，那么編譯器將不知所措。為了防止節(jié)外生枝，干脆規(guī)定沒(méi)有返回值類型。（以上典故參考了文獻(xiàn)[Eekel, p55-p56]）
9.2 構(gòu)造函數(shù)的初始化表
    構(gòu)造函數(shù)有個(gè)特殊的初始化方式叫“初始化表達(dá)式表”（簡(jiǎn)稱初始化表）。初始化表位于函數(shù)參數(shù)表之后，卻在函數(shù)體 {} 之前。這說(shuō)明該表里的初始化工作發(fā)生在函數(shù)體內(nèi)的任何代碼被執(zhí)行之前。
    構(gòu)造函數(shù)初始化表的使用規(guī)則：
?    如果類存在繼承關(guān)系，派生類必須在其初始化表里調(diào)用基類的構(gòu)造函數(shù)。
例如
    class A
    {…
        A(int x);        // A的構(gòu)造函數(shù)
};   
    class B : public A
    {…
        B(int x, int y);// B的構(gòu)造函數(shù)
    };
    B::B(int x, int y)
     : A(x)                // 在初始化表里調(diào)用A的構(gòu)造函數(shù)
    {
      …
}   
?    類的const常量只能在初始化表里被初始化，因?yàn)樗荒茉诤瘮?shù)體內(nèi)用賦值的方式來(lái)初始化（參見(jiàn)5.4節(jié)）。
?    類的數(shù)據(jù)成員的初始化可以采用初始化表或函數(shù)體內(nèi)賦值兩種方式，這兩種方式的效率不完全相同。
    非內(nèi)部數(shù)據(jù)類型的成員對(duì)象應(yīng)當(dāng)采用第一種方式初始化，以獲取更高的效率。例如
    class A
{…
    A(void);                // 無(wú)參數(shù)構(gòu)造函數(shù)
    A(const A &other);        // 拷貝構(gòu)造函數(shù)
    A & operate =( const A &other);    // 賦值函數(shù)
}；

    class B
    {
      public:
        B(const A &a);    // B的構(gòu)造函數(shù)
      private:   
        A  m_a;            // 成員對(duì)象
};

示例9-2(a)中，類B的構(gòu)造函數(shù)在其初始化表里調(diào)用了類A的拷貝構(gòu)造函數(shù)，從而將成員對(duì)象m_a初始化。
示例9-2 (b)中，類B的構(gòu)造函數(shù)在函數(shù)體內(nèi)用賦值的方式將成員對(duì)象m_a初始化。我們看到的只是一條賦值語(yǔ)句，但實(shí)際上B的構(gòu)造函數(shù)干了兩件事：先暗地里創(chuàng)建m_a對(duì)象（調(diào)用了A的無(wú)參數(shù)構(gòu)造函數(shù)），再調(diào)用類A的賦值函數(shù)，將參數(shù)a賦給m_a。

B::B(const A &a)
 : m_a(a)           
{
   …
}    B::B(const A &a)
{
m_a = a;
…
}
 示例9-2(a) 成員對(duì)象在初始化表中被初始化      示例9-2(b) 成員對(duì)象在函數(shù)體內(nèi)被初始化

對(duì)于內(nèi)部數(shù)據(jù)類型的數(shù)據(jù)成員而言，兩種初始化方式的效率幾乎沒(méi)有區(qū)別，但后者的程序版式似乎更清晰些。若類F的聲明如下：
class F
{
  public:
    F(int x, int y);        // 構(gòu)造函數(shù)
  private:
    int m_x, m_y;
    int m_i, m_j;
}
示例9-2(c)中F的構(gòu)造函數(shù)采用了第一種初始化方式，示例9-2(d)中F的構(gòu)造函數(shù)采用了第二種初始化方式。

F::F(int x, int y)
 : m_x(x), m_y(y)           
{
   m_i = 0;
   m_j = 0;
}    F::F(int x, int y)
{
   m_x = x;
   m_y = y;
   m_i = 0;
   m_j = 0;
}
 示例9-2(c) 數(shù)據(jù)成員在初始化表中被初始化     示例9-2(d) 數(shù)據(jù)成員在函數(shù)體內(nèi)被初始化
9.3 構(gòu)造和析構(gòu)的次序
    構(gòu)造從類層次的最根處開(kāi)始，在每一層中，首先調(diào)用基類的構(gòu)造函數(shù)，然后調(diào)用成員對(duì)象的構(gòu)造函數(shù)。析構(gòu)則嚴(yán)格按照與構(gòu)造相反的次序執(zhí)行，該次序是唯一的，否則編譯器將無(wú)法自動(dòng)執(zhí)行析構(gòu)過(guò)程。
一個(gè)有趣的現(xiàn)象是，成員對(duì)象初始化的次序完全不受它們?cè)诔跏蓟碇写涡虻挠绊?，只由成員對(duì)象在類中聲明的次序決定。這是因?yàn)轭惖穆暶魇俏ㄒ坏?，而類的?gòu)造函數(shù)可以有多個(gè)，因此會(huì)有多個(gè)不同次序的初始化表。如果成員對(duì)象按照初始化表的次序進(jìn)行構(gòu)造，這將導(dǎo)致析構(gòu)函數(shù)無(wú)法得到唯一的逆序。[Eckel, p260-261]
9.4 示例：類String的構(gòu)造函數(shù)與析構(gòu)函數(shù)
    // String的普通構(gòu)造函數(shù)
    String::String(const char *str)
{
    if(str==NULL)
    {
        m_data = new char[1];
        *m_data = ‘\0’;
    }   
    else
    {
        int length = strlen(str);
        m_data = new char[length+1];
        strcpy(m_data, str);
    }
}   

// String的析構(gòu)函數(shù)
    String::~String(void)
{
    delete [] m_data;   
// 由于m_data是內(nèi)部數(shù)據(jù)類型，也可以寫成 delete m_data;
    }
9.5 不要輕視拷貝構(gòu)造函數(shù)與賦值函數(shù)
    由于并非所有的對(duì)象都會(huì)使用拷貝構(gòu)造函數(shù)和賦值函數(shù)，程序員可能對(duì)這兩個(gè)函數(shù)有些輕視。請(qǐng)先記住以下的警告，在閱讀正文時(shí)就會(huì)多心：
?    本章開(kāi)頭講過(guò)，如果不主動(dòng)編寫拷貝構(gòu)造函數(shù)和賦值函數(shù)，編譯器將以“位拷貝”的方式自動(dòng)生成缺省的函數(shù)。倘若類中含有指針變量，那么這兩個(gè)缺省的函數(shù)就隱含了錯(cuò)誤。以類String的兩個(gè)對(duì)象a,b為例，假設(shè)a.m_data的內(nèi)容為“hello”，b.m_data的內(nèi)容為“world”。
現(xiàn)將a賦給b，缺省賦值函數(shù)的“位拷貝”意味著執(zhí)行b.m_data = a.m_data。這將造成三個(gè)錯(cuò)誤：一是b.m_data原有的內(nèi)存沒(méi)被釋放，造成內(nèi)存泄露；二是b.m_data和a.m_data指向同一塊內(nèi)存，a或b任何一方變動(dòng)都會(huì)影響另一方；三是在對(duì)象被析構(gòu)時(shí)，m_data被釋放了兩次。

?    拷貝構(gòu)造函數(shù)和賦值函數(shù)非常容易混淆，常導(dǎo)致錯(cuò)寫、錯(cuò)用。拷貝構(gòu)造函數(shù)是在對(duì)象被創(chuàng)建時(shí)調(diào)用的，而賦值函數(shù)只能被已經(jīng)存在了的對(duì)象調(diào)用。以下程序中，第三個(gè)語(yǔ)句和第四個(gè)語(yǔ)句很相似，你分得清楚哪個(gè)調(diào)用了拷貝構(gòu)造函數(shù)，哪個(gè)調(diào)用了賦值函數(shù)嗎？
String  a(“hello”);
String  b(“world”);
String  c = a;    // 調(diào)用了拷貝構(gòu)造函數(shù)，最好寫成 c(a);
c = b;     // 調(diào)用了賦值函數(shù)
本例中第三個(gè)語(yǔ)句的風(fēng)格較差，宜改寫成String c(a) 以區(qū)別于第四個(gè)語(yǔ)句。
9.6 示例：類String的拷貝構(gòu)造函數(shù)與賦值函數(shù)
    // 拷貝構(gòu)造函數(shù)
    String::String(const String &other)
    {   
// 允許操作other的私有成員m_data
    int length = strlen(other.m_data);   
    m_data = new char[length+1];
    strcpy(m_data, other.m_data);
}

// 賦值函數(shù)
    String & String::operate =(const String &other)
    {   
        // (1) 檢查自賦值
        if(this == &other)
            return *this;
       
        // (2) 釋放原有的內(nèi)存資源
        delete [] m_data;
       
        // （3）分配新的內(nèi)存資源，并復(fù)制內(nèi)容
    int length = strlen(other.m_data);   
    m_data = new char[length+1];
        strcpy(m_data, other.m_data);
       
        // （4）返回本對(duì)象的引用
        return *this;
}   
   
    類String拷貝構(gòu)造函數(shù)與普通構(gòu)造函數(shù)（參見(jiàn)9.4節(jié)）的區(qū)別是：在函數(shù)入口處無(wú)需與NULL進(jìn)行比較，這是因?yàn)?#8220;引用”不可能是NULL，而“指針”可以為NULL。
    類String的賦值函數(shù)比構(gòu)造函數(shù)復(fù)雜得多，分四步實(shí)現(xiàn)：
（1）第一步，檢查自賦值。你可能會(huì)認(rèn)為多此一舉，難道有人會(huì)愚蠢到寫出 a = a 這樣的自賦值語(yǔ)句！的確不會(huì)。但是間接的自賦值仍有可能出現(xiàn)，例如
   
// 內(nèi)容自賦值
b = a;
…
c = b;
…
a = c;        // 地址自賦值
b = &a;
…
a = *b;

也許有人會(huì)說(shuō)：“即使出現(xiàn)自賦值，我也可以不理睬，大不了化點(diǎn)時(shí)間讓對(duì)象復(fù)制自己而已，反正不會(huì)出錯(cuò)！”
他真的說(shuō)錯(cuò)了。看看第二步的delete，自殺后還能復(fù)制自己?jiǎn)?？所以，如果發(fā)現(xiàn)自賦值，應(yīng)該馬上終止函數(shù)。注意不要將檢查自賦值的if語(yǔ)句
if(this == &other)
錯(cuò)寫成為
    if( *this == other)
（2）第二步，用delete釋放原有的內(nèi)存資源。如果現(xiàn)在不釋放，以后就沒(méi)機(jī)會(huì)了，將造成內(nèi)存泄露。
（3）第三步，分配新的內(nèi)存資源，并復(fù)制字符串。注意函數(shù)strlen返回的是有效字符串長(zhǎng)度，不包含結(jié)束符‘\0’。函數(shù)strcpy則連‘\0’一起復(fù)制。
（4）第四步，返回本對(duì)象的引用，目的是為了實(shí)現(xiàn)象 a = b = c 這樣的鏈?zhǔn)奖磉_(dá)。注意不要將 return *this 錯(cuò)寫成 return this 。那么能否寫成return other 呢？效果不是一樣嗎？
不可以！因?yàn)槲覀儾恢绤?shù)other的生命期。有可能other是個(gè)臨時(shí)對(duì)象，在賦值結(jié)束后它馬上消失，那么return other返回的將是垃圾。
9.7 偷懶的辦法處理拷貝構(gòu)造函數(shù)與賦值函數(shù)
    如果我們實(shí)在不想編寫拷貝構(gòu)造函數(shù)和賦值函數(shù)，又不允許別人使用編譯器生成的缺省函數(shù)，怎么辦？
    偷懶的辦法是：只需將拷貝構(gòu)造函數(shù)和賦值函數(shù)聲明為私有函數(shù)，不用編寫代碼。
例如：
    class A
    { …
      private:
        A(const A &a);                // 私有的拷貝構(gòu)造函數(shù)
        A & operate =(const A &a);    // 私有的賦值函數(shù)
    };

如果有人試圖編寫如下程序：
    A  b(a);    // 調(diào)用了私有的拷貝構(gòu)造函數(shù)
    b = a;        // 調(diào)用了私有的賦值函數(shù)
編譯器將指出錯(cuò)誤，因?yàn)橥饨绮豢梢圆僮鰽的私有函數(shù)。
9.8 如何在派生類中實(shí)現(xiàn)類的基本函數(shù)
    基類的構(gòu)造函數(shù)、析構(gòu)函數(shù)、賦值函數(shù)都不能被派生類繼承。如果類之間存在繼承關(guān)系，在編寫上述基本函數(shù)時(shí)應(yīng)注意以下事項(xiàng)：
?    派生類的構(gòu)造函數(shù)應(yīng)在其初始化表里調(diào)用基類的構(gòu)造函數(shù)。
?    基類與派生類的析構(gòu)函數(shù)應(yīng)該為虛（即加virtual關(guān)鍵字）。例如
#include <iostream.h>
class Base
{
  public:
    virtual ~Base() { cout<< "~Base" << endl ; }
};

class Derived : public Base
{
  public:
    virtual ~Derived() { cout<< "~Derived" << endl ; }
};

void main(void)
{
    Base * pB = new Derived;  // upcast
    delete pB;
}

輸出結(jié)果為：
    ~Derived
    ~Base
如果析構(gòu)函數(shù)不為虛，那么輸出結(jié)果為
    ~Base

?    在編寫派生類的賦值函數(shù)時(shí)，注意不要忘記對(duì)基類的數(shù)據(jù)成員重新賦值。例如：
class Base
{
  public:
…
    Base & operate =(const Base &other);    // 類Base的賦值函數(shù)
  private:
    int  m_i, m_j, m_k;
};

class Derived : public Base
{
  public:
…
    Derived & operate =(const Derived &other);    // 類Derived的賦值函數(shù)
  private:
    int  m_x, m_y, m_z;
};

Derived & Derived::operate =(const Derived &other)
{
    //（1）檢查自賦值
    if(this == &other)
        return *this;

    //（2）對(duì)基類的數(shù)據(jù)成員重新賦值
    Base::operate =(other);    // 因?yàn)椴荒苤苯硬僮魉接袛?shù)據(jù)成員

    //（3）對(duì)派生類的數(shù)據(jù)成員賦值
    m_x = other.m_x;
    m_y = other.m_y;
    m_z = other.m_z;

    //（4）返回本對(duì)象的引用
    return *this;
}

9.9 一些心得體會(huì)
有些C++程序設(shè)計(jì)書籍稱構(gòu)造函數(shù)、析構(gòu)函數(shù)和賦值函數(shù)是類的“Big-Three”，它們的確是任何類最重要的函數(shù)，不容輕視。
也許你認(rèn)為本章的內(nèi)容已經(jīng)夠多了，學(xué)會(huì)了就能平安無(wú)事，我不能作這個(gè)保證。如果你希望吃透“Big-Three”，請(qǐng)好好閱讀參考文獻(xiàn)[Cline] [Meyers] [Murry]。