瓦解C++標準庫幾大難點
在C++標準庫中，有關(guān)缺省變量值的限制非常模糊。基于此，很多編譯器允許開發(fā)人員將缺省變量值包含在函數(shù)聲明，指向函數(shù)的指針和引用，成員函數(shù)的指針，以及typedef聲明中。
例外一種需要更好的內(nèi)存控制的情況是：需要在有限資源的情況下長時間不間斷運行的程序。實時系統(tǒng)經(jīng)常需要用最少的耗費來獲取有保證的可預期的內(nèi)存。這也就導致了更好的內(nèi)存控制的需要。#t#
一般來說，這些程序都避免使用動態(tài)的內(nèi)存分配，而使用特殊目的的內(nèi)存分配器來管理有限資源。此外，還有一些情況下由于硬件或系統(tǒng)的要求，需要將對象放在指定的內(nèi)存位置。這也需要進行定制的內(nèi)存管理（通過重載new來加以實現(xiàn)）。
當分配內(nèi)建（built-in）類型的對象、未包含用戶自定義的new操作符函數(shù)的類對象、任何類型的數(shù)組時，使用全局new操作符函數(shù)。當在類中自定義C++標準庫，分配該類對象的內(nèi)存時，調(diào)用該類的new操作符。如下：
- #include
- #include
- class Blanks
- {
- public:
- Blanks(){}
- void *operator new( size_t stAllocateBlock, char chInit );
- };
- void *Blanks::operator new( size_t stAllocateBlock, char chInit )
- {
- void *pvTemp = malloc( stAllocateBlock );
- if( pvTemp != 0 )
- memset( pvTemp, chInit, stAllocateBlock );
- return pvTemp;
- }
- int main()
- {
- Blanks *a5 = new( 0xa5 ) Blanks;//創(chuàng)建對象Blanks，并且初試化為0xa5
- return a5 != 0;
- }
new操作符可以重載，而delete卻不行。因為等到需要釋放的時候，我們所能得到的就是一個指針。而且該指針可能不是原先的對象類型指針（有可能進行了類型轉(zhuǎn)換）。實際上，當使用new獲得一個指向一片內(nèi)存的指針時，在該片內(nèi)存前有一個指示器（indicator），記錄實際分配的內(nèi)存數(shù)量。當調(diào)用delete時，可以獲知需要釋放的內(nèi)存大小。數(shù)組的釋放（Deallocating Arrays）：
- void f( )
- {
- X* p1 = new X[10];
- //...
- delete [] X;
- }
為什么不使用delete [10] X；來釋放內(nèi)存？Bjarne Stroustrup稱這種做法容易導致錯誤，而將記錄元素個數(shù)的任務放在delete的實現(xiàn)中了。至于為什么C++中未內(nèi)建垃圾收集器（Garbage Collection）的原因，看《C++語言的設計和演化》（En） Bjarne Stroustrup 機械工業(yè)出版社（俗稱：D&E）可以得到答案。
此外，C++標準庫中提供了一種智能型指針auto_ptr，這種指針可以幫助我們防止“被異常拋出時發(fā)生資源泄漏”。但是缺點是該智能型指針不能指向數(shù)組，因為其內(nèi)部釋放內(nèi)存是通過delete而非delete [] 來進行的。
所以，只能使用其來指向一個單個對象。模板部分是C++中比較難的部分，也是C++的魅力所在。以下文字是我以前看過的，具體出處不清楚了。今天稍微整理了一下，作為模板介紹的一個單元。
【編輯推薦】
