[原創(chuàng)文章歡迎轉(zhuǎn)載，但請(qǐng)保留作者信息]
Justin 于 2010-06-02
上堂課說(shuō)的是重載new和delete的需要，今天大師開(kāi)講在寫(xiě)new和delete時(shí)需要注意的問(wèn)題。
課堂筆記如下：
???? 對(duì)于new
- C++要求new操作符可以接受0字節(jié)的分配。書(shū)中給出的方法是當(dāng)成分配一個(gè)字節(jié)來(lái)處理，理由是這樣簡(jiǎn)單，合法，可以工作，而且不會(huì)有多少人真的要分配0字節(jié)的內(nèi)存。不深究了，不然太鉆牛角尖了。
- new的過(guò)程應(yīng)該是個(gè)無(wú)限循環(huán)，跳出循環(huán)的途徑只有：
- 成功分配了內(nèi)存
- 想方設(shè)法“擠”出內(nèi)存來(lái)分配，“安裝”另外一個(gè)new handler繼續(xù)處理，或是拋出異常。
- 要考慮到為某個(gè)類寫(xiě)的new操作會(huì)可能被其子類繼承。在前幾天的49課中大師有提到可以為一個(gè)類(比如aClass)量身訂作其專屬的new和new handler，尤其是new函數(shù)，作者有可能在編寫(xiě)的時(shí)候利用了其專屬類的大小(比如sizeof(aClass))做了一些優(yōu)化。這種優(yōu)化是專對(duì)于這一個(gè)類的，如果用在其子類中就幾乎肯定要出問(wèn)題，因?yàn)樽宇惖拇笮∫话愣员然愐蟆?/li>
???? 解決辦法之一就是在new函數(shù)的入口處添加下面的判斷：
void?*aClass::operator?new(std::size_t?size)?throw(std::bad_alloc)
{
???if?(size?!=?sizeof(aClass))
??????return?::operator?new(size);
???//?ok,?we?are?"newing"?an?aClass?object,?go?ahead..
}
??? 當(dāng)判斷結(jié)果為假時(shí)，就放棄使用類專屬的new函數(shù)，讓“標(biāo)配”的new函數(shù)去處理。
- 當(dāng)需要編寫(xiě)operator new[]時(shí)，情況變得更加復(fù)雜：
- 你的new[]函數(shù)可能會(huì)被用于批量分配一組內(nèi)存，聲稱是給基類對(duì)象的，到了后面卻有一些被子類對(duì)象使用。如前所述兩者大小不一樣，于是你不能假設(shè)aClass::operator new[]中的size就是sizeof(aClass)。
- 拋開(kāi)第一點(diǎn)不談，傳給new[]函數(shù)的size還不一定是用來(lái)存放一個(gè)類對(duì)象的大小，因?yàn)楫?dāng)要分配一組內(nèi)存的時(shí)候，有些平臺(tái)上會(huì)要求額外的空間來(lái)存放數(shù)組的大小。
???? 很可惜大師沒(méi)有給出具體的例子來(lái)解決上面的問(wèn)題，也許是需要具體問(wèn)題具體分析的吧。
???? 對(duì)于delete
- 類似的，C++也要求可以delete一個(gè)空內(nèi)存(null pointer)，在delete中就簡(jiǎn)單多了，如果是空，就直接返回。
- 同樣的，對(duì)于某個(gè)類的專屬delete函數(shù)，在入口處需要判斷一下將要釋放內(nèi)存的大小是否和該類對(duì)象的大小一致，如果不一致，就交給“標(biāo)配”的delete函數(shù)去處理。踢皮球，很簡(jiǎn)單@#￥%
- 如果一個(gè)類的delete函數(shù)用于釋放其子類的對(duì)象內(nèi)存，基本上來(lái)說(shuō)就會(huì)出錯(cuò)，因?yàn)榛惡妥宇悓?duì)delete來(lái)說(shuō)是完全不同的對(duì)象類型。解決的辦法不在delete函數(shù)，而在于基類的析構(gòu)函數(shù)要寫(xiě)成虛函數(shù)。