Mike's blog

C++中幾乎所有的類都有拷貝構(gòu)造函數(shù)，析構(gòu)函數(shù)和賦值操作符重載函數(shù)，即使你不顯示定義，編譯器也會自動生成的，它們提供的都是一些最基本的功能。

拷貝構(gòu)造函數(shù)：一種特殊的構(gòu)造函數(shù)，他由編譯器調(diào)用來完成一些基于同一類的其他對象的構(gòu)件及初始化；

析構(gòu)函數(shù)：摧毀一個對象并保證它被徹底清除；

賦值操作符：以已有對象為藍(lán)本給另一對象進(jìn)行新的賦值。

所謂的大三律（rule of three, the law of the big three or the big three）正是在規(guī)則他們之間的關(guān)系：

1.如果類定義了析構(gòu)函數(shù)，那么也應(yīng)該定義拷貝構(gòu)造和賦值運(yùn)算符；

2.如果類含有需要動態(tài)分配的成員，那么該類必須定義拷貝構(gòu)造和賦值運(yùn)算符；

一句話，析構(gòu)函數(shù)、拷貝構(gòu)造、賦值運(yùn)算符重載應(yīng)該總是同時出現(xiàn)。下面一個簡單的例子程序?qū)@個定律做了論證：

上面這么一段簡單的代碼看似沒什么問題，然而卻隱藏著嚴(yán)重的內(nèi)存泄露。
在25行定義了一個類的對象，同時對象a中的數(shù)據(jù)成員_pdata也在堆中分配了內(nèi)存，同理26行對對象b做了同樣的事情，然而28行處將a賦值給b，默認(rèn)賦值運(yùn)算符做的是對數(shù)據(jù)成員逐個的賦值，或者說是做了淺拷貝，所以對象b中的成員_pdata指向了跟對象a中的_pdata的同一塊內(nèi)存，在析構(gòu)的時候就會產(chǎn)生a中的_pdata指向的那塊內(nèi)存被釋放了兩次，而原先對象b中分配的內(nèi)存卻沒有釋放的問題。
如果將26、28行換成Test b = a或Test b(a)，結(jié)果是一樣的，不同的是調(diào)用的是拷貝構(gòu)造函數(shù)。

既然知道了問題所在，那么解決的方法當(dāng)然自己來定義拷貝構(gòu)造和賦值運(yùn)算符了，具體做法就不列舉了。

在某些情況下，實現(xiàn)類的拷貝構(gòu)造函數(shù)和賦值操作符是非常麻煩的時候，特別是確定程序中不會做拷貝和賦值操作的時候，去實現(xiàn)它們確實有點得不償失。而不定義又怕出現(xiàn)上述問題，在這里有個巧妙（與其說巧妙不如說偷懶:-)）的方法，就是可以只將它們聲明為private成員而不去實現(xiàn)它們。這樣既可以防止了會有人去顯示調(diào)用它們，也防止了編譯器自動生成。

順便提一下拷貝構(gòu)造被調(diào)用的三種場合：
1.在聲明語句中用一個對象初始化另一個對象；
2.將一個對象作為參數(shù)按值調(diào)用方式傳遞給另一個對象時生成對象副本；
3.生成一個臨時對象作為函數(shù)的返回結(jié)果；