详细分析内存泄露检测

前段时间，做课程设计，题目是：Windows平台下内存泄露的检测。下面就摘抄其中的一部分，作为博客的内容，以供自己日后参考。

一般我们常说的内存泄漏是指堆内存的泄漏。堆内存是指程序从堆中分配的，使用完后必须显式释放的内存。C++中使用new和new[]实现从堆中分配到一块内存，使用完后，程序必须负责相应的调用delete或delete[]释放该内存块，否则，这块内存就不能被再次使用，我们就说这块内存泄漏了。下面4种内存泄露分类概括了常见的绝大部分的内存泄露的情形。　　1. 常发性内存泄漏。发生内存泄漏的代码会被多次执行到，每次被执行的时候都会导致一块内存泄漏。 　　2. 偶发性内存泄漏。发生内存泄漏的代码只有在某些特定环境或操作过程下才会发生。常发性和偶发性是相对的。　　3. 一次性内存泄漏。发生内存泄漏的代码只会被执行一次，或者由于算法上的缺陷，导致总会有一块且仅一块内存发生泄漏。    4. 隐式内存泄漏。程序在运行过程中不停的分配内存，但是直到结束的时候才释放内存。严格的说这里并没有发生内存泄漏，因为最终程序释放了所有申请的内存。但是对于一个服务器程序，需要运行几天，几周甚至几个月，不及时释放内存也可能导致最终耗尽系统的所有内存。所以，我们称这类内存泄漏为隐式内存泄漏。

C++中通过new 和 delete来获得、释放内存。在了解内存泄露检测原理前，我们可以先要明白C++中new和delete的工作原理。这首先要了解new 和 delete工作过程。new operator一般而言，我们在写C++程序的时候，通过调用一个简单的关键字new就获得了对应的内存，以至于我们认为他就是C语言中malloc的别名。但事实上，C++中调用new有如下三个必须的动作：1)    获取需要申请的内存大小2)    调用operator new的对应形式，获得一块裸(raw)内存。3)    如果有构造函数，则调用对应的构造函数进行内存初始化。C++中六种重构形式，分别对应如下：void *operator new(std::size_t count throw(std::bad_alloc);   //默认版本         void *operator new(std::size_t count, const std::nothrow_t&) throw(); void *operator new(std::size_t count, void *ptr) throw();//这是于我们用于重构的版本，有附加参数void *operator new[](std::size_t count)  throw(std::bad_alloc);  void *operator new[](std::size_t count,  const std::nothrow_t&) throw();  void *operator new[](std::size_t count, void *ptr) throw();Operator delete也有2种重构形式，分别如下：

void operator delete(void *);void operator delete[](void *);

这里顺便谈一下new[]、new delete[]、delete之间的区别于连续

其中 operator new[] 和Operator delete[] 是通过调用operator new和Operator delete来实现的，而且完全一样（就是说所分配、释放内存时的动作完全一样）。

但别忘了newoperator实际执行的过程中，顺序是如下的：

1.首调用 operator new来申请内存。

2.调用对象的构造函数。

3.利用构造的对象初始化这片内存。

可以想象operator new []的过程和这一样，只是分配的内存大小、生成对象的数目（调用构造函数次数）的区别罢了。

operator delete的过程就是相当于 new operator的倒转。

1.调用对象的析构函数

2.释放内存

所以到这里应该就可以猜出，delete[]与delete之间的区别了：调用析构函数的次数(delete 只会调用第一个对象的析构函数，而delete[]会调用所有对象的析构函数)。假如对象本身没有析构函数（比如只是基本类型的话），delete和delete[]的效果都是一样的，但肯定不推荐这么用，因为这至少让人很费解。

内存泄露的原理到时比较简单：

1.首先定义重构版本的operator new new[]; operator delete[] operator delete;这里进行内存申请、释放的管理，这样就可以知道了那里内存发生了泄露。

2.定义二个宏 define DEBUG_NEW new(FILE, LINE)（将new转向为我们重构过的new） define new DEBUG_NEW（这个是控制开关，那里需要检测，就在哪个.cpp文件中定义这个宏）
原文链接: https://www.cnblogs.com/jamesmile/archive/2010/08/18/1802619.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍