内存漏洞的检查

也许你已经知道，在C++和C语言中指针问题也就是内存申请与释放是一个令人头疼的事情，假如你申请了内存，但没有释放，并且你的程序需要长时间地运行，那么，系统的资源将逐渐减少，当系统的资源全部被用完时，系统将会崩溃。所以在开发程序的过程中一定要保证资源的完全释放。下面我们来介绍内存漏洞的检查。
也许你会问，系统是怎样支持内存漏洞的检查的？其实在你的Debug版本中所有的有关内存分配的函数都是被重载过的，具体过程是这样的，当你的程序申请内存时，它首先调用一般的内存分配函数分配一块稍大的内存块。在这一内存块中分为四个小块：Heap Information, buffer , User memory block, buffer。第一块为有关堆的信息，比如，申请该内存的地点(文件名，行号)，此内存块的类型(如整型，浮点，或某一类的对象)等等。第二块是一个缓冲区,用于截获用户对其申请内存使用越界的情况。第三块是真正给用户的内存，返回的指针也是指向这儿。第四块也是一个缓冲区，作用同第二块。
当你申请的内存均被记录在案后，要检查内存漏洞就比较容易了，粗略地说，假如你要检查某一程序段是否有内存漏洞，你只需在这一程序 段的开始要求系统为你做一个内存使用情况的映象，记录下程序开始时的内存使用情况，然后在程序段的末尾再使系统为你做一次内存映象，比较两次映象，以检查是否有没释放的内存，假如有未释放的内存，根据这一块中有关分配情况的信息来告诉用户在那儿申请的内存没释放。
具体地讲检查内存漏洞需要以下几个步骤：
在你所检测的程序段的开始处建立一个CmemoryState对象，调用其成员函数Checkpoint，以取得当前内存使用情况的快照；
 
在你所检测的程序段的末尾处再建立一个CmemoryState 对象，调用其成员函数Checkpoint ,以取得当前内存使用情况的快照；
 
再建立第三个CmemoryState 对象，调用其成员函数Difference,把第一个CmemoryState对象和第二个CmemeoryState对象作为其参数.,如果两次内存快照不相同，则该函数返回非零，说明此程序 段中有内存漏洞。下面我们来看一个典型的例子：
 
 
// Declare the variables needed
#ifdef _DEBUG
CMemoryState oldMemState, newMemState, diffMemState;
OldMemState.Checkpoint();
#endif
// do your memory allocations and deallocations…
CString s = “This is a frame variable”;
// the next object is a heap object
CPerson* p = new CPerson( “Smith”, “Alan”, “581_0215″ );
#ifdef _DEBUG
newMemState.Checkpoint();
if( diffMemState.Difference( oldMemState, newMemState ) )
{
TRACE( “Memory leaked!\n” );
}
#endif