[原創文章歡迎轉載，但請保留作者信息]
Justin 于 2010-06-02
上堂課說的是重載new和delete的需要，今天大師開講在寫new和delete時需要注意的問題。
課堂筆記如下：
???? 對于new
- C++要求new操作符可以接受0字節的分配。書中給出的方法是當成分配一個字節來處理，理由是這樣簡單，合法，可以工作，而且不會有多少人真的要分配0字節的內存。不深究了，不然太鉆牛角尖了。
- new的過程應該是個無限循環，跳出循環的途徑只有：
- 成功分配了內存
- 想方設法“擠”出內存來分配，“安裝”另外一個new handler繼續處理，或是拋出異常。
- 要考慮到為某個類寫的new操作會可能被其子類繼承。在前幾天的49課中大師有提到可以為一個類(比如aClass)量身訂作其專屬的new和new handler，尤其是new函數，作者有可能在編寫的時候利用了其專屬類的大小(比如sizeof(aClass))做了一些優化。這種優化是專對于這一個類的，如果用在其子類中就幾乎肯定要出問題，因為子類的大小一般而言比基類要大。
???? 解決辦法之一就是在new函數的入口處添加下面的判斷：
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..
}
??? 當判斷結果為假時，就放棄使用類專屬的new函數，讓“標配”的new函數去處理。
- 當需要編寫operator new[]時，情況變得更加復雜：
- 你的new[]函數可能會被用于批量分配一組內存，聲稱是給基類對象的，到了后面卻有一些被子類對象使用。如前所述兩者大小不一樣，于是你不能假設aClass::operator new[]中的size就是sizeof(aClass)。
- 拋開第一點不談，傳給new[]函數的size還不一定是用來存放一個類對象的大小，因為當要分配一組內存的時候，有些平臺上會要求額外的空間來存放數組的大小。
???? 很可惜大師沒有給出具體的例子來解決上面的問題，也許是需要具體問題具體分析的吧。
???? 對于delete
- 類似的，C++也要求可以delete一個空內存(null pointer)，在delete中就簡單多了，如果是空，就直接返回。
- 同樣的，對于某個類的專屬delete函數，在入口處需要判斷一下將要釋放內存的大小是否和該類對象的大小一致，如果不一致，就交給“標配”的delete函數去處理。踢皮球，很簡單@#￥%
- 如果一個類的delete函數用于釋放其子類的對象內存，基本上來說就會出錯，因為基類和子類對delete來說是完全不同的對象類型。解決的辦法不在delete函數，而在于基類的析構函數要寫成虛函數。