C++中assert断言函数

assert宏的原型定义在assert.h中，

1 #include "assert.h" 
2 void assert( int expression );

其作用是计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。

程序一般分为Debug 版本和Release 版本，Debug 版本用于内部调试，Release 版本发行给用户使用。断言assert 是仅在Debug 版本起作用的宏，它用于检查“不应该”发生的情况。在运行过程中，如果assert 的参数为假，那么程序就会中止（一般地还会出现提示对话，说明在什么地方引发了assert）。

assert()的用法像是一种“假设编程”，其表达的意思就是，程序在我的假设条件下，能够正常良好的运作，其实就相当于一个if语句：

if(假设成立)
{
     程序正常运行；
}
else
{
      报错&&终止程序！（避免由程序运行引起更大的错误）  
}

但是这样写的话，就会有无数个if语句，甚至会出现，一个if语句的括号从文件头到文件尾，并且大多数情况下，我们要进行验证的假设，只是属于偶然性事件，又或者我们仅仅想测试一下，一些最坏情况是否发生，所以这里有了assert()。

assert()返回错误示例：

#include 
   
   
    
    
#include 
    
    
     
     
int strlen(const char* str);

int main(){
	
	char * str = NULL;

	int len = 1;
	len = strlen(str);
	printf("%d", len);
	return 0;
}

int strlen(const char* str){
	assert (str != NULL);

	int len = 0;
	while( *(str ++) != '\0')
		len ++;
	return len;
}
    
    
   
   

总结：

ASSERT宏中应该包含的元素：判断条件；输出当前断言失败的位置（文件、行数等）；返回错误；终止程序...

参考：

http://blog.csdn.net/yunzhongguwu005/article/details/9178911

http://www.cnblogs.com/jkred369/p/4544617.html