C++Assert,c assert

('assert宏的原型定义在中，其作用是如果它的条件返回错误，则终止程序执行，原型定义如下：#includevoidassert(intexpression);assert的作用是现计算表达式expression，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用abort来终止程序运行。请看下面的程序清单badptr.c：#include#include#includeintmain(void){FILEfp;fp=fopen("test.txt","w");//以可写的方式打开一个文件，如果不存在就创建一个同名文件assert(fp);//所以这里不会出错fclose(fp);fp=fopen("noexitfile.txt","r");//以只读的方式打开一个文件，如果不存在就打开文件失败assert(fp);//所以这里可能会出错fclose(fp);//如果出错，程序永远都执行不到这里来return0;}在命令行下运行该程序，结果如下：[root@localhosterror_process]#gccbadptr.c[root@localhosterror_process]#./a.outa.out:badptr.c:14:main:Assertion`fp\'\'failed.已放弃使用assert的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。在调试结束后，可以通过在包含#include的语句之前插入#defineNDEBUG来禁用assert调用，示例代码如下：#include#defineNDEBUG#includeassert的用法总结与注意事项：1、在函数开始处检验传入参数的合法性，如：intresetBufferSize(intnNewSize){//函数功能:改变缓冲区大小,//函数参数: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不能代替条件过滤。以下内容摘自《高质量C/C++编程指南》Page41-42...程序一般分为Debug版本和Release版本，Debug版本用于内部调试，Release版本发行给用户使用。assert是仅在Debug版本起作用的宏，它用于检查“不应该”发生的情况assert不是函数，而是宏。程序员可以把assert看成一个在任何系统状态下都可以安全使用的无害测试手段。如果程序在assert处终止了，并不是说含有该assert的函数有错误，而是调用者出了差错，assert可以帮助我们找到发生错误的原因。assert宏中应该包含的元素：判断条件；输出当前断言失败的位置（文件、行数等）；返回错误；终止程序...几种典型的assert的写法：VC中的写法：#defineASSERT(f)\\do\\{\\if(!(f)&&AfxAssertFailedLine(THIS_FILE,__LINE__))\\AfxDebugBreak();\\}while(0)\\#define_ASSERT(expr)\\do{if(!(expr)&&\\(1==_CrtDbgReport(_CRT_ASSERT,__FILE__,__LINE__,NULL,NULL)))\\_CrtDbgBreak();}while(0)其他平台的写法：#defineASSERT(x)((x)(dbg_printf("assertionfailed("__FILE__":%d):\\"%s\\"\\n",__LINE__,#x),break_point(),FALSE))',)