什么時(shí)候一個(gè)空類在實(shí)際上并不是空類呢？我們說，在C++處理它的時(shí)候。對(duì)于一個(gè)類來說，如果你不自己手動(dòng)聲明一個(gè)復(fù)制構(gòu)造函數(shù)、一個(gè)賦值運(yùn)算符、和一個(gè)析構(gòu)函數(shù)，編譯器就會(huì)自動(dòng)為你聲明這些函數(shù)。而且，如果你根本沒有聲明構(gòu)造函數(shù)的話，編譯器也將為你聲明一個(gè)默認(rèn)構(gòu)造函數(shù)。所有這些函數(shù)將是public的并且是inline的（參見條目30）。舉例說，如果你編寫了：
它在本質(zhì)上講與下邊這個(gè)類是等價(jià)的：
class Empty {
public:
Empty() { ... } // 默認(rèn)構(gòu)造函數(shù)
Empty(const Empty& rhs) { ... } // 拷貝構(gòu)造函數(shù)
~Empty() { ... } // 析構(gòu)函數(shù)
// 下文將分析它是否為虛函數(shù)
Empty& operator=(const Empty& rhs) // 賦值運(yùn)算符
{ ... }
};
這些函數(shù)只有在需要的時(shí)候才會(huì)生成，但是需要他們是經(jīng)常的事情。以下的代碼可以生成每一個(gè)函數(shù)：
Empty e1; // 默認(rèn)構(gòu)造函數(shù)
// 析構(gòu)函數(shù)
Empty e2(e1); // 復(fù)制構(gòu)造函數(shù)
e2 = e1; // 賦值運(yùn)算符
現(xiàn)在我們知道編譯器為你編寫了這些函數(shù)，那么這些函數(shù)是做什么的呢？默認(rèn)構(gòu)造函數(shù)和析構(gòu)函數(shù)主要作用是為編譯器提供一個(gè)放置“幕后代碼”的空間，“幕后代碼”完成的是諸如對(duì)于基類和非靜態(tài)數(shù)據(jù)成員的構(gòu)造函數(shù)和析構(gòu)函數(shù)的調(diào)用。請(qǐng)注意，對(duì)于由編譯器生成的析構(gòu)函數(shù)，除非所在的類繼承自一個(gè)擁有虛析構(gòu)函數(shù)的基類（這個(gè)情況下，析構(gòu)函數(shù)的虛擬性繼承自它的基類），其他情況均不是虛函數(shù)（參見條目7）。
對(duì)于復(fù)制構(gòu)造函數(shù)和賦值運(yùn)算符而言，編譯器所生成的版本只是簡(jiǎn)單地把原對(duì)象中所有的非靜態(tài)數(shù)據(jù)成員復(fù)制到目標(biāo)對(duì)象里。請(qǐng)參見下邊的NamedObject模板，它讓你能夠使用名字來訪問T類型對(duì)象：
template<typename T>
class NamedObject {
public:
NamedObject(const char *name, const T& value);
NamedObject(const std::string& name, const T& value);
...
private:
std::string nameValue;
T objectValue;
};
由于NamedObject中聲明了一個(gè)構(gòu)造函數(shù)，編譯器則不會(huì)為你自動(dòng)生成一個(gè)默認(rèn)構(gòu)造函數(shù)。這一點(diǎn)很重要。這意味著如果這個(gè)類已經(jīng)經(jīng)過你認(rèn)真仔細(xì)的設(shè)計(jì)，你認(rèn)為它的構(gòu)造函數(shù)必須包含參數(shù)，這時(shí)候你便不需要擔(dān)心編譯器會(huì)違背你的意愿，輕率地在你的類中添加一個(gè)沒有參數(shù)的構(gòu)造函數(shù)。
NamedObject沒有聲明復(fù)制構(gòu)造函數(shù)和賦值運(yùn)算符，所以編譯器將會(huì)自動(dòng)生成這些函數(shù)（在需要的時(shí)候）。請(qǐng)看下面代碼中對(duì)復(fù)制構(gòu)造函數(shù)的應(yīng)用：
NamedObject<int> no1("Smallest Prime Number", 2);
NamedObject<int> no2(no1); // 調(diào)用復(fù)制構(gòu)造函數(shù)
由編譯器自動(dòng)生成的這一復(fù)制構(gòu)造函數(shù)必須要分別使用no1.nameValue和no1.objectValue來初始化no2.nameVaule和no2.objectValue。nameValue是一個(gè)string，由于標(biāo)準(zhǔn)字符串類型帶有一個(gè)復(fù)制構(gòu)造函數(shù)，所以no2.nameValue將通過調(diào)用string的復(fù)制構(gòu)造函數(shù)（以no1.nameValue作為其參數(shù)）得到初始化。另外，NamedObject<int>::ObjectValue是int型的（這是因?yàn)閷?duì)于當(dāng)前的模板實(shí)例來說，T是int型的），而int是一個(gè)內(nèi)建類型，所以no2.objectValue將通過復(fù)制no1.objectValue來得到初始化。
由編譯器自動(dòng)生成的NamedObject<int>的拷貝賦值運(yùn)算符與上述復(fù)制構(gòu)造函數(shù)的行為基本一致，但是大體上講，編譯器自動(dòng)生成的拷貝賦值運(yùn)算符只有在生成代碼合法、有存在的價(jià)值時(shí)，才會(huì)像上文中我所描述的那種方式運(yùn)行。如果其中任意一條無法滿足，編譯器將會(huì)拒絕為你的類生成一個(gè)operator=。
請(qǐng)看下邊的示例，如果NamedObject被定義成這樣，nameValue是一個(gè)指向字符串的引用，而objectValue是一個(gè)const T：
template<class T>
class NamedObject {
public:
// 以下的構(gòu)造函數(shù)中的name參數(shù)不再是const的了，
// 這是因?yàn)楝F(xiàn)在nameValue是一個(gè)指向非const的string的引用。
// char*參數(shù)的構(gòu)造函數(shù)已經(jīng)不復(fù)存在了，
// 這是因?yàn)檫@里必須存在一個(gè)string引用。
NamedObject(std::string& name, const T& value);
... // 如前所述，假設(shè)沒有聲明任何 operator=
private:
std::string& nameValue; // 現(xiàn)在是一個(gè)引用
const T objectValue; // 現(xiàn)在為const的
};
現(xiàn)在請(qǐng)你思考接下來會(huì)發(fā)生什么事情：
std::string newDog("Persephone");
std::string oldDog("Satch");
NamedObject<int> p(newDog, 2); // 在我最初編寫這段代碼的時(shí)候我們的狗
// Persephone正要度過她的兩周歲生日
NamedObject<int> s(oldDog, 36); // 我家的狗Satch（在我小時(shí)候養(yǎng)的）
// 如果她現(xiàn)在還活著應(yīng)該有36歲了
p = s; // 對(duì)于p中的數(shù)據(jù)成員將會(huì)發(fā)生什么呢？
在賦值之前，p.nameValue和s.nameValue都引用了一個(gè)string對(duì)象，但不是同一個(gè)。那么賦值操作又怎么會(huì)影響到p.nameValue呢？在賦值之后，p.nameValue是否應(yīng)引用由s.nameValue中保存的string應(yīng)用呢？換句話說，引用是否可以被更改呢？如果可以的話，我們就開創(chuàng)了一個(gè)全新的議題，因?yàn)镃++并沒有提供任何方法讓一個(gè)引用改變其所引用的對(duì)象。換個(gè)角度說，p.nameValue所引用的string對(duì)象是否可以被修改，從而影響到包含指向這個(gè)string對(duì)象的指針或引用的其他對(duì)象（換句話說，此次賦值中未直接涉及到的對(duì)象）呢？這是否是編譯器自動(dòng)生成的拷貝賦值運(yùn)算符應(yīng)該做的呢？
面對(duì)這一難題，C++拒絕編譯這類代碼。如果你希望讓包含引用成員的類支持賦值操作，就必須自己定義拷貝賦值運(yùn)算符。對(duì)于包含const成員的類（比如上文中修改后的objectValue）編譯器也會(huì)做類似處理。由于修改const成員是非法的，因此編譯器無法在一個(gè)隱式生成的賦值函數(shù)中確定如何處理它們。最終，如果一個(gè)基類中的拷貝賦值運(yùn)算符是聲明為private的，那么在派生類中編譯器將拒絕隱式生成拷貝賦值運(yùn)算符。畢竟，編譯器為派生類自動(dòng)生成的拷貝賦值運(yùn)算符也要處理基類中相應(yīng)的部分（參見條目12），但是在這些拷貝賦值運(yùn)算符處理相應(yīng)的基類部分時(shí)，是肯定不能調(diào)用派生類中無權(quán)調(diào)用的數(shù)據(jù)成員的。
時(shí)刻牢記
l 編譯器可能會(huì)隱式為一個(gè)類生成默認(rèn)構(gòu)造函數(shù)、復(fù)制構(gòu)造函數(shù)、拷貝賦值運(yùn)算符和析構(gòu)函數(shù)。