C++ 拷貝構造函數 賦值構造函數
拷貝構造函數和賦值構造函數的異同
由於並非所有的對象都會使用拷貝構造函數和賦值函數,程序員可能對這兩個函數有些輕視。請先記住以下的警告,在閱讀正文時就會多心:如果不主動編寫拷貝構造函數和賦值函數,編譯器將以“位拷貝”的方式自動生成缺省的函數。倘若類中含有指針變量,那麼這兩個缺省的函數就隱含了錯誤。以類String 的兩個對象a,b 爲例,假設a.m_data 的內容爲“hello”,b.m_data 的內容爲“world”。現將a 賦給b,缺省賦值函數的“位拷貝”意味着執行b.m_data = a.m_data。這將造成三個錯誤:一是b.m_data
原有的內存沒被釋放,造成內存泄露;二是b.m_data 和a.m_data 指向同一塊內存,a 或b 任何一方變動都會影響另一方;三是在對象被析構時,m_data 被釋放了兩次。拷貝構造函數和賦值函數非常容易混淆,常導致錯寫、錯用。拷貝構造函數是在對象被創建時調用的,而賦值函數只能被已經存在了的對象調用。以下程序中,第三個語句和第四個語句很相似,你分得清楚哪個調用了拷貝構造函數,哪個調用了賦值函數嗎?
String a(“hello”);
String b(“world”);
String c = a; // 調用了拷貝構造函數,最好寫成 c(a);
c = b; // 調用了賦值函數
本例中第三個語句的風格較差,宜改寫成String c(a) 以區別於第四個語句。
類String 的拷貝構造函數與賦值函數
// 拷貝構造函數
String::String(const String &other)
{
// 允許操作other 的私有成員m_data
int length = strlen(other.m_data);
m_data = new char[length+1];
strcpy(m_data, other.m_data);
}
// 賦值函數
String & String::operate =(const String &other)
{
// (1) 檢查自賦值
if(this == &other)
return *this;
// (2) 釋放原有的內存資源
delete [] m_data;
// (3)分配新的內存資源,並複製內容
int length = strlen(other.m_data);
m_data = new char[length+1];
strcpy(m_data, other.m_data);
// (4)返回本對象的引用
return *this;
}
類String 拷貝構造函數與普通構造函數的區別是:在函數入口處無需與NULL 進行比較,這是因爲“引用”不可能是NULL,而“指針”可以爲NULL。類String 的賦值函數比構造函數複雜得多,分四步實現:
(1)第一步,檢查自賦值。你可能會認爲多此一舉,難道有人會愚蠢到寫出 a = a 這樣的自賦值語句!的確不會。但是間接的自賦值仍有可能出現,例如
// 內容自賦值
b = a;
…
c = b;
…
a = c;
// 地址自賦值
b = &a;
…
a = *b;
也許有人會說:“即使出現自賦值,我也可以不理睬,大不了化點時間讓對象複製自己而已,反正不會出錯!”他真的說錯了。看看第二步的delete,自殺後還能複製自己嗎?所以,如果發現自賦值,應該馬上終止函數。注意不要將檢查自賦值的if 語句
if(this == &other)
錯寫成爲
if( *this == other)
(2)第二步,用delete 釋放原有的內存資源。如果現在不釋放,以後就沒機會了,將造成內存泄露。
(3)第三步,分配新的內存資源,並複製字符串。注意函數strlen 返回的是有效字符串長度,不包含結束符‘\0’。函數strcpy 則連‘\0’一起復制。
(4)第四步,返回本對象的引用,目的是爲了實現象 a = b = c 這樣的鏈式表達。注意不要將 return *this 錯寫成 return this 。那麼能否寫成return other 呢?效果不是一樣嗎?不可以!因爲我們不知道參數other 的生命期。有可能other 是個臨時對象,在賦值結束後它馬上消失,那麼return other 返回的將是垃圾。
偷懶的辦法處理拷貝構造函數與賦值函數
如果我們實在不想編寫拷貝構造函數和賦值函數,又不允許別人使用編譯器生成的缺省函數,怎麼辦?
偷懶的辦法是:只需將拷貝構造函數和賦值函數聲明爲私有函數,不用編寫代碼。
例如:
class A
{ …
private:
A(const A &a); // 私有的拷貝構造函數
A & operate =(const A &a); // 私有的賦值函數
};
如果有人試圖編寫如下程序:
A b(a); // 調用了私有的拷貝構造函數
b = a; // 調用了私有的賦值函數
編譯器將指出錯誤,因爲外界不可以操作A 的私有函數。
一、
拷貝構造,是一個的對象來初始化一邊內存區域,這邊內存區域就是你的新對象的內存區域賦值運算,對於一個已經被初始化的對象來進行operator=操作
class A;
A a;
A b=a; //拷貝構造函數調用
//或
A b(a); //拷貝構造函數調用
///////////////////////////////////
A a;
A b;
b =a; //賦值運算符調用
你只需要記住,在C++語言裏,
String s2(s1);
String s3 = s1;
只是語法形式的不同,意義是一樣的,都是定義加初始化,都調用拷貝構造函數。
二、
一般來說是在數據成員包含指針對象的時候,應付兩種不同的處理需求的 一種是複製指針對象,一種是引用指針對象 copy大多數情況下是複製,=則是引用對象的
例子:
class A
{
int nLen;
char * pData;
}
顯然
A a, b;
a=b的時候,對於pData數據存在兩種需求
第一種copy
a.pData = new char [nLen];
memcpy(a.pData, b.pData, nLen);
另外一種(引用方式):
a.pData = b.pData
通過對比就可以看到,他們是不同的
往往把第一種用copy使用,第二種用=實現
你只要記住拷貝構造函數是用於類中指針,對象間的COPY
三、
和拷貝構造函數的實現不一樣
拷貝構造函數首先是一個構造函數,它調用的時候產生一個對象,是通過參數傳進來的那個對象來初始化,產生的對象。
operator=();是把一個對象賦值給一個原有的對象,所以如果原來的對象中有內存分配要先把內存釋放掉,而且還要檢查一下兩個對象是不是同一個對象,如果是的話就不做任何操作。
還要注意的是拷貝構造函數是構造函數,不返回值
而賦值函數需要返回一個對象自身的引用,以便賦值之後的操作
你肯定知道這個:
int a, b;
b = 7;
Func( a = b ); // 把i賦值後傳給函數Func( int )
同理:
CMyClass obj1, obj2;
obj1.Initialize();
Func2( obj1 = obj2 ); //如果沒有返回引用,是不能把值傳給Func2的
注:
CMyClass & CMyClass:: operator = ( CMyClass & other )
{
if( this == &other )
return *this;
// 賦值操作...
return *this
}
==================================================================================
賦值運算符和複製構造函數都是用已存在的B對象來創建另一個對象A。不同之處在於:賦值運算符處理兩個已有對象,即賦值前B應該是存在的;複製構造函數是生成一個全新的對象,即調用複製構造函數之前A不存在。
CTemp a(b); //複製構造函數,C++風格的初始化
CTemp a=b; //仍然是複製構造函數,不過這種風格只是爲了與C兼容,與上面的效果一樣,在這之前a不存在,或者說還未構造好。
CTemp a;
a=b; //賦值運算符
在這之前a已經通過默認構造函數構造完成。