第十篇：複製物件時切記複製每一個成分

前言

       標題一看似乎是非常直觀簡單，沒必要特別寫下一篇隨便記錄。

       然而，在實際開發中，你會發現做到這一點對於經驗不足的 C++ 程式設計師來說絕對是一個挑戰。

       要做到複製每一個成分，就一定小心下面說到的兩點。

第一點

       類中新增了成員變數之後，需要在自定義的建構函式，解構函式，賦值運算子過載函式，拷貝建構函式中做出相應調整。

       請看下面一個例子：

// 記錄呼叫資訊
void logCall(const std::string & funcName);    

// 顧客類
class Customer {
public:
    //......
    Customer(const Customer & rhs);    // 自定義拷貝建構函式
    Customer & operator=(const Customer & rhs);    // 自定義賦值運算子
    //......
private:
    std::string name;
};

Customer::Customer(const Customer & rhs)
    : name(rhs.name) 
{
    logCall("Customer copy constructor");
}

Customer & Customer::operator=(const Customer &rhs) {
    logCall("Customer copy assignment operator");
    name = rhs.name;
    return *this;
}

       這段程式碼定義了一個顧客類，每次呼叫它的拷貝建構函式以及賦值運算子過載函式就會記錄下這次操作。

       這裡看起來一切都很美好，也確實是這樣的。

       但當你往這個類中新增了一個成員變數，不小心的話就會出問題了：

class Data { /*......*/ };
// 顧客類
class Customer {
public:
    //......
    Customer(const Customer & rhs);    // 自定義拷貝建構函式
    Customer & operator=(const Customer & rhs);    // 自定義賦值運算子
    //......
private:
    std::string name;
    Data lastTransaction;        // 看這裡! 定義了一個新的變數

};

Customer::Customer(const Customer & rhs)
    : name(rhs.name) 
{
    logCall("Customer copy constructor");
}

Customer & Customer::operator=(const Customer &rhs) {
    logCall("Customer copy assignment operator");
    name = rhs.name;
    return *this;
}

       這裡，你必須要對自定義的建構函式，拷貝建構函式，賦值運算子過載函式都做出相應的修改才行。

第二點

       子類物件的自定義賦值運算子過載函式，拷貝建構函式要寫入父類成員拷貝的相關語句。

       還是以上面的例項來進行分析，這裡我設計了一個 PriorityCustomer 類繼承 Customer 類，如果要自定義它的拷貝建構函式和賦值運算子，請問這樣做對嗎？

class PriorityCustomer : public Customer {
public:
    //......
    PriorityCustomer(const PriorityCustomer & rhs);    // 自定義拷貝建構函式
    PriorityCustomer & operator=(const PriorityCustomer & rhs);    // 自定義賦值運算子
    //......
private:
    int priority;
};

PriorityCustomer::PriorityCustomer(const PriorityCustomer & rhs)
    : priority(rhs.priority) 
{
    logCall("PriorityCustomer copy constructor");
}

PriorityCustomer & PriorityCustomer::operator=(const PriorityCustomer &rhs) {
    logCall("PriorityCustomer copy assignment operator");
    priority = rhs.priority;
    return *this;
}

       答案是否定的。因為這兩個函式中，只拷貝了子類物件新定義成員，它們繼承自父類部分卻沒有拷貝。

小結

       再說一點就是，如果你發現自定義的拷貝建構函式和賦值運算子過載函式有程式碼重複，那麼最好的做法是建立一個新的函式讓它們來呼叫；不要讓拷貝建構函式和賦值運算子過載函式相互呼叫，這是行不通的。