assert函数

assert函数

在看数据结构书时，看到作者常常使用这个函数，而我也觉得这个函数用起来很方便，少了不少if的判断。上网搜了一些资料，以做总结之用！

     assert()是一个调试程序时经常使用的宏.

     assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：
                                         #include <assert.h>
                                         void assert( int expression );

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

 

ASSERT只有在Debug版本中才有效，如果编译为Release版本则被忽略。 assert()的功能类似,它与ASSERT的一个重要区别是可以用在Release版本中。

 

        使用assert的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。在调试结束后，可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用，示例代码如下：
                    #include <stdio.h>
                    #define NDEBUG
                    #include <assert.h>

用法总结与注意事项：
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不能代替条件过滤

在学校写代码时候，很少关注代码的健壮性，可维护性等问题，但是到了写商业代码就不一样了．值得关注的是如何正确使用assert断言．首先说明以下assert的作用．其主要用于检查非法情况．这问题就出现了，什么时候使用断言，什么时候使用if过滤检查？只能说　assert用于检查非法情况．错误情况，是在其最终产品中肯定会出现并且必须对其进行处理的错误情况。