C++為我們提供了默認的復制構造函數，賦值函數和析構函數，使用的全部是“淺復制”，即僅僅復制棧上的數據。換句話說，如果我們涉及到了對堆數據的操作，這些函數都必須我們自己重新來寫。我很郁悶為什么在編譯的時候，C++不能自己發現構造函數使用了堆操作，從而提醒不要使用默認的這三個函數。也許是因為要編譯器做到智能的判斷很難吧。用new...delete或許很容易看出來，但是更多的函數調用，特別是涉及到C風格的函數的時候，真的很難判斷哪些函數使用到了堆操作。
而這三個函數的作用可以說是巨大的！析構就不說了，析構可以說是C++永遠的痛。復制構造函數用得最多的地方，恐怕就是成員初始化列表的時候，這幾乎是在一個類成員數據使用到另外一個類對象時候的唯一方法。而賦值函數則是把數據從語句體（“{}”對，循環，判斷）中帶出的最簡單方法——雖然我們現在可以很方便的使用vector。
這里先說說復制構造函數吧。如果遺漏申明，又不慎用到，比如這個例子：
#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;
}
那么，結果運行就會出現貌似創建一次，但是卻銷毀了兩次的假象。這當然是不可能發生的，但是郁悶的是，C++中的構造和析構不總是成對出現的，比如我們前面說到的手動顯式調用析構函數的情況。所以，如果放在大的項目中，這為我們的調試帶來更多的困難。
所以，結論是，如果A類構造具有堆操作，有可能把A類作為B類的成員數據，B類又有可能通過成員初始化列表構造A對象，請一定別忘記手寫復制構造函數。
posted on 2008-04-14 11:50
lf426 閱讀(547)
評論(0) 編輯 收藏 引用 所屬分類:
語言基礎、數據結構與算法