條款05：瞭解C++默默編寫並調用哪些函數

什麼時候一個空類，不再是空類了呢？當c++編譯器處理之後。

如果沒有定義，編譯器會為你產生四個函數：

1）  預設建構函式

2）  Copy建構函式

3）  賦值建構函式

4）  解構函式

注意這些函數都是public且是inline的。

這裡還有一點要說明的：不是說編譯器一定會為你產生這些函數，而是說，當這些函數被調用時，它們才會被編譯器建立出來。

 

下面主要談一談賦值建構函式：

舉一個例子：

         template<class T>

class NamedObject{

         public:

                   NamedObject(std::string& name, const T& value);

                   ...

         private:

                   std::string& nameValue;

                   const T objectValue;

}

 

現在考慮下面會發生什麼事情：

std::string newDog("persephone");

std::string oldDog("satch");

 

NamedObject<int> p(newDog, 2);

NamedObject<int> s(oldDog, 36);

 

p = s;

 

賦值前，不論p.nameValue和s.nameValue都指向string對象（當然不是同一個）。賦值操作之後，p.nameValue會怎麼樣呢？

 

如果說p.nameValue賦值後，會指向s.nameValue，則你就錯了。為什嗎？

因為nameValue這個東西是一個指向string對象的引用。C++明文規定：不允許改變引用。

 

另一個問題：objectValue會怎麼樣呢，p.objectValue 會等於36嗎？不會，為什嗎？

因為在類中，objectValue是const成員。不允許為const成員改變值。

那麼我們怎麼做賦值建構函式呢？我們要自己定義，這時，如果我們沒有定義賦值建構函式，C++會拒絕此對象的一切賦值。

 

 

另一個例子，如果在base類中，我們把賦值建構函式定義為私人成員。衍生類別的賦值會怎麼樣呢？

這時，如果我們沒有定義賦值建構函式，則C++會拒絕這些賦值操作。因為在賦值時，會讓基類成員調用基類自己的賦值建構函式，但是這時是私人的，所以就會出問題。