1. 程式人生 > >為什麼拷貝建構函式的形參必須是引用型別?

為什麼拷貝建構函式的形參必須是引用型別?

複製建構函式只有一個引數,由於在建立時傳入的是同種型別的物件,所以一個很自然的想法是將該型別的物件作為引數,像這樣:
     Sample (Sample a);
     不幸的是,即使是這樣樸實無華的宣告也隱含了一個微妙的錯誤,呵,我們來看看:當某個時候需要以一個Sample物件的值來為一個新物件進行初始化時,編譯器會在各個過載的建構函式版本(如果有多個的話)搜尋,它找到的這個版本,發現宣告引數與傳入的物件一致,因此該建構函式將會被呼叫。目前為止,一切都在我們的意料之中,但問題很快來了:該函式的引數我們使用了值傳遞的方式,按照前面的分析,這需要呼叫複製建構函式,於是編譯器又再度搜尋,最後當然又找到了它,於是進行呼叫,但同樣地,傳參時又要進行復制,於是再呼叫...這個過程周而復始,每次都是到了函式入口處就進行遞迴,直到堆疊空間耗盡,程式崩潰...

由是觀之,值傳遞看來是行不通的了;我想C語言的使用者這時很快會反應到與值傳遞對應的方式:地址傳遞(傳址),於是宣告變為這樣:
     Sample Sample *p);
     只作為一般的建構函式,它應該可以執行得很好,但別忘了我們要提供的是複製建構函式,它要求能夠接受一個同類型物件,像這樣:
     Sample a;
     Sample b(a);
     而不是接受指標:
     Sample a;
     Sample b(&a);   //
還要取地址?當然,它可以正確執行,但... 雖然在初始化物件時可以像上面一樣人為加一個取址符,但在函式引數表中(或者函式返回)進行值傳遞時,編譯器可不知道在找不著合適定義的情況下牽就選擇你的指標版本。 只有單個形參,而且該形參是對本類型別物件的引用(常用 const 修飾),這樣的建構函式稱為複製 建構函式 複製建構函式可用於: 1. 根據另一個同類型的物件顯式或隱式初始化一個物件 2. 複製一個物件,將它作為實參傳給一個函式 3. 從函式返回時複製一個物件 4. 初始化順序容器中的元素 5. 根據元素初始化式列表初始化陣列元素 當用於類型別物件時,初始化的複製形式和直接形式有所不同:直接初始化直接呼叫與實參匹配的構 造函式,複製初始化總是呼叫複製建構函式 對於類型別物件,只有指定單個實參或顯式建立一個臨時物件用於複製時,才使用複製初始化 當形參或返回值為類型別時,由複製建構函式進行復制 如果沒有為類型別陣列提供元素初始化式,則將用預設建構函式初始化每個元素 如果我們沒有定義複製建構函式,編譯器就會為我們合成一個 與合成的預設建構函式不同,即使我們定義了其他建構函式,也會合成複製建構函式 合成複製建構函式的行為是,執行逐個成員初始化,將新物件初始化為原物件的副本 雖然一般不能複製陣列,但如果一個類具有陣列成員,則合成複製建構函式將複製陣列,複製陣列時 合成複製建構函式將複製陣列的每一個元素 逐個成員初始化最簡單的概念模型是,將合成複製建構函式看作這樣一個建構函式:其中每個資料成 員在建構函式初始化列表中進行初始化 雖然也可以定義接受非 const
引用的複製建構函式,但形參通常是一個 const 引用 因為用於向函式傳遞物件和從函式返回物件,該建構函式一般不應設定為 explicit 有些類必須對複製物件時發生的事情加以控制,這樣的類經常有一個數據成員是指標,或者有成員表 示在建構函式中分配的其他資源,而另一些類在建立新物件時必須做一些特定工作,這兩種情況下, 都必須定義複製建構函式 為了防止複製,類必須顯式宣告其複製建構函式為 private 類的友元和成員仍可以進行復制,如果想要連友元和成員中的複製也禁止,就可以宣告一個 (private)複製建構函式但不對其定義 一般來說,最好顯式或隱式定義預設建構函式和複製建構函式,只有不存在其他建構函式時才合成默 認建構函式。如果定義了複製建構函式,也必須定義預設建構函式 Cpp程式碼 #include <iostream> #include <string
> #include <fstream> #include <vector> using namespace std; struct NoName { NoName(): pstring(new string), i(0), d(0) { } NoName(const NoName& noName): i(noName.i), d(noName.d) { *pstring = *(noName.pstring); } private: string *pstring; int i; double d; }; class Foo { public: Foo(); // default constructor Foo(const Foo&); // copy constructor // ... }; int main() { string null_book = "9-999-99999-9"; // copy-initialization string dots(10, '.'); // direct-initialization string empty_copy = string(); // copy-initialization string empty_direct; // direct-initialization ifstream file1("filename"); // ok: direct initialization //ifstream file2 = "filename"; error: copy constructor is private // default string constructor and five string copy constructors invoked vector<string> svec(5); return 0; }