先來看一段程序:
#include<iostream>
using namespace std;
class CExample
{
private:
int m_nTest;
public:
CExample(int x) : m_nTest(x) //帶參數構造函數
{
cout << "constructor with argument"<<endl;
}
// 拷貝構造函數,參數中的const不是嚴格必須的,但引用符號是必須的
CExample(const CExample & ex) //拷貝構造函數
{
m_nTest = ex.m_nTest;
cout << "copy constructor"<<endl;
}
CExample& operator = (const CExample &ex) //賦值函數(賦值運算符重載)
{
cout << "assignment operator"<<endl;
m_nTest = ex.m_nTest;
return *this; //返回是引用時,不需要調用複製構造函數,否則,需要調用
}
void myTestFunc(CExample ex)
{
}
};
int main(void)
{
CExample aaa(2);
CExample bbb(3);
bbb = aaa;
CExample ccc = aaa;
bbb.myTestFunc(aaa);
return 0;
}
對於上述程序
第一個輸出: constructor with argument // CExample aaa(2);
第二個輸出:constructor with argument // CExample bbb(3);分析同第一個
第三個輸出: assignment operator // bbb = aaa;
第四個輸出: copy constructor // CExample ccc = aaa;
這兩個得放到一塊說。 肯定會有人問爲什麼兩個不一致。原因是, bbb對象已經實例化了,不需要構造,此時只是將aaa賦值給bbb,只會調用賦值函數,就這麼簡單! 但是ccc還沒有實例化,因此調用的是拷貝構造函數,構造出ccc,而不是賦值函數
第五個輸出: copy constructor // bbb.myTestFunc(aaa);
實際上是aaa作爲參數傳遞給bbb.myTestFunc(CExample ex), 即CExample ex = aaa;和第四個一致的, 所以還是拷貝構造函數,而不是賦值函數。
看第四個輸出: copy constructor // CExample ccc = aaa;
構造ccc,實質上是ccc.CExample(aaa); 我們假如拷貝構造函數參數不是引用類型的話, 那麼將使得 ccc.CExample(aaa)變成aaa傳值給ccc.CExample(CExample ex),即CExample ex = aaa,因爲 ex 沒有被初始化, 所以 CExample ex = aaa 繼續調用拷貝構造函數,接下來的是構造ex,也就是 ex.CExample(aaa),必然又會有aaa傳給CExample(CExample ex), 即 CExample ex = aaa;那麼又會觸發拷貝構造函數,就這下永遠的遞歸下去。
所以繞了那麼大的彎子,就是想說明拷貝構造函數的參數使用引用類型不是爲了減少一次內存拷貝, 而是避免拷貝構造函數無限制的遞歸下去。
附帶說明,在下面幾種情況下會調用拷貝構造函數:
a、顯式或隱式地用同類型的一個對象來初始化另外一個對象。如上例中,用對象c初始化d;
b、作爲實參(argument)傳遞給一個函數。如CClass(const CClass c_class)中,就會調用CClass的拷貝構造函數;
c、在函數體內返回一個對象時,也會調用返回值類型的拷貝構造函數;
d、初始化序列容器中的元素時。比如 vector<string> svec(5),string的缺省構造函數和拷貝構造函數都會被調用;
e、用列表的方式初始化數組元素時。string a[] = {string(“hello”), string(“world”)}; 會調用string的拷貝構造函數。
如果在沒有顯式聲明構造函數的情況下,編譯器都會爲一個類合成一個缺省的構造函數。如果在一個類中聲明瞭一個構造函數,那麼就會阻止編譯器爲該類合成缺省的構造函數。和構造函數不同的是,即便定義了其他構造函數(但沒有定義拷貝構造函數),編譯器總是會爲我們合成一個拷貝構造函數。