C++為我們提供了默認的復(fù)制構(gòu)造函數(shù),賦值函數(shù)和析構(gòu)函數(shù),使用的全部是“淺復(fù)制”,即僅僅復(fù)制棧上的數(shù)據(jù)。換句話說,如果我們涉及到了對堆數(shù)據(jù)的操作,這些函數(shù)都必須我們自己重新來寫。我很郁悶為什么在編譯的時候,C++不能自己發(fā)現(xiàn)構(gòu)造函數(shù)使用了堆操作,從而提醒不要使用默認的這三個函數(shù)。也許是因為要編譯器做到智能的判斷很難吧。用new...delete或許很容易看出來,但是更多的函數(shù)調(diào)用,特別是涉及到C風(fēng)格的函數(shù)的時候,真的很難判斷哪些函數(shù)使用到了堆操作。
而這三個函數(shù)的作用可以說是巨大的!析構(gòu)就不說了,析構(gòu)可以說是C++永遠的痛。復(fù)制構(gòu)造函數(shù)用得最多的地方,恐怕就是成員初始化列表的時候,這幾乎是在一個類成員數(shù)據(jù)使用到另外一個類對象時候的唯一方法。而賦值函數(shù)則是把數(shù)據(jù)從語句體(“{}”對,循環(huán),判斷)中帶出的最簡單方法——雖然我們現(xiàn)在可以很方便的使用vector。
這里先說說復(fù)制構(gòu)造函數(shù)吧。如果遺漏申明,又不慎用到,比如這個例子:
#include <iostream>
#include <vector>
class A
{
private:
int a;
public:
A(int _a): a(_a)
{
std::cout << "A created!\n";
}
/*
A(const A& copy): a(copy.a)
{
std::cout << "A copy created!\n";
}
*/
~A()
{
std::cout << "A destroyed!\n";
}
void show() const
{
std::cout << a << std::endl;
}
};
int main(int argc, char* argv[])
{
A a(1);
A b(a);
return 0;
}
那么,結(jié)果運行就會出現(xiàn)貌似創(chuàng)建一次,但是卻銷毀了兩次的假象。這當(dāng)然是不可能發(fā)生的,但是郁悶的是,C++中的構(gòu)造和析構(gòu)不總是成對出現(xiàn)的,比如我們前面說到的手動顯式調(diào)用析構(gòu)函數(shù)的情況。所以,如果放在大的項目中,這為我們的調(diào)試帶來更多的困難。
所以,結(jié)論是,如果A類構(gòu)造具有堆操作,有可能把A類作為B類的成員數(shù)據(jù),B類又有可能通過成員初始化列表構(gòu)造A對象,請一定別忘記手寫復(fù)制構(gòu)造函數(shù)。