Simone
关于C语言中的Debug Assertion Failed，在编译和运行时都不会出现错误，但是在执行时会出现错误。发生这种错误的原因可能是：
1、直接释放了一个空指针；
2、一个指针被释放了两次（即第二次释放一个空指针）；
3、数组越界：访问了超过数组长度的内存。
以下面一段简单的源程序代码为例：
在执行程序时弹出的“Debug Assertion Failed”错误警告对话框，这种情况大多是指针引起的错误。
下图红框标记的地方，是Distance类析构函数，这里使用了delete。这里其实是不需要的，因为pDist指针是静态分配的内存，当程序运行完后，其内存自动释放，此时使用delete就是删除一个不存在的指针，从而报错，而实际上delete是与new搭配使用的。
扩展资料：
除了指针会引起“Debug Assertion Failed”这种错误，数组越界也会引起这种错误，也就是内存泄漏。
内存泄漏（即Memory Leak）是指程序中己动态分配的堆内存由于某种原因程序未释放或无法释放，造成系统内存的浪费，从而导致程序运行速度减慢甚至系统崩溃。
无论是C还是C++程序，运行时候的变量主要有三种分配方式：堆分配、栈分配、全局和静态内存分配。而内存泄漏主要是发生在堆内存分配方式中，即“配置了内存后，所有指向该内存的指针都遗失了”。
若缺乏语言这样的垃圾回收机制，这样的内存片就无法归还系统。因为内存泄漏属于程序运行中的问题，无法通过编译识别，所以只能在程序运行过程中来判别和诊断。
参考资料来源：
关于C语言中的Debug Assertion Failed，在编译和运行时都不会出现错误，但是在执行时会出现错误。发生这种错误的原因可能是：
1、直接释放了一个空指针；
2、一个指针被释放了两次（即第二次释放一个空指针）；
3、数组越界：访问了超过数组长度的内存。
以下面一段简单的源程序代码为例：
在执行程序时弹出的“Debug Assertion Failed”错误警告对话框，这种情况大多是指针引起的错误。
下图红框标记的地方，是Distance类析构函数，这里使用了delete。这里其实是不需要的，因为pDist指针是静态分配的内存，当程序运行完后，其内存自动释放，此时使用delete就是删除一个不存在的指针，从而报错，而实际上delete是与new搭配使用的。
编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设，可以将断言看作是异常处理的一种高级形式。断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言，而在部署时禁用断言。(以上解释来自百度百科^_^)
举个例子吧,比如:
bool a = false;
assert(a);
便会出现assertion failed的提示, 所以看下你代码里的assert() 语句,其中的假设是否满足了...
assert宏的原型定义在中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：
#include
void assert( int expression );
assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，
然后通过调用 abort 来终止程序运行。
使用assert的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。在调试结束后，可以通过在包含#include 的语句之前插入 #define NDEBUG 来禁用assert调用
用法总结与注意事项：
1)在函数开始处检验传入参数的合法性
如:
int resetBufferSize(int nNewSize)
{
//功能:改变缓冲区大小,
//参数:nNewSize 缓冲区新长度
//返回值:缓冲区当前长度
//说明:保持原信息内容不变 nNewSize<=0表示清除缓冲区
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);
...
}
2)每个assert只检验一个条件,因为同时检验多个条件时,如果断言失败,无法直观的判断是哪个条件失败
不好: assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);
好: assert(nOffset >= 0);
assert(nOffset+nSize <= m_nInfomationSize);
3)不能使用改变环境的语句,因为assert只在DEBUG个生效,如果这么做,会使用程序在真正运行时遇到问题
错误: assert(i++ < 100)
这是因为如果出错，比如在执行之前i=100,那么这条语句就不会执行，那么i++这条命令就没有执行。
正确: assert(i < 100)
i++;
4)assert和后面的语句应空一行,以形成逻辑和视觉上的一致感
5)有的地方,assert不能代替条件过滤
