C语⾔中assert函数的⽤法
  我⼀直以为assert仅仅是个报错函数，事实上，它居然是个宏，并且作⽤并⾮“报错”。
  在经过对其进⾏⼀定了解之后，对其作⽤及⽤法有了⼀定的了解，assert()的⽤法像是⼀种“契约式编程”，在我的理解中，其表达的意思就是，程序在我的假设条件下，能够正常良好的运作，其实就相当于⼀个if语句：
if(假设成⽴)
{
程序正常运⾏；
}
else
{
报错&&终⽌程序！（避免由程序运⾏引起更⼤的错误）
}
  但是这样写的话，就会有⽆数个if语句，甚⾄会出现，⼀个if语句的括号从⽂件头到⽂件尾，并且⼤多数情况下，我们要进⾏验证的假设，只是属于偶然性事件，⼜或者我们仅仅想测试⼀下，⼀些最坏情况是否发⽣，所以这⾥有了assert().
  　assert宏的原型定义在assert.h中，其作⽤是如果它的条件返回错误，则终⽌程序执⾏.
1 #include "assert.h"
2void assert( int expression );
  assert的作⽤是现计算表达式expression ，如果其值为假（即为0），那么它先向stderr打印⼀条出错信息，然后通过调⽤ abort 来终⽌程序运⾏。
使⽤assert的缺点是，频繁的调⽤会极⼤的影响程序的性能，增加额外的开销。
  在调试结束后，可以通过在包含#include 的语句之前插⼊ #define NDEBUG 来禁⽤assert调⽤，⽰例代码如下：
1 #include
2#define NDEBUG
3 #include
  ⽤法总结与注意事项：
  1)在函数开始处检验传⼊参数的合法性
  如:
1int resetBufferSize(int nNewSize)
2 {
3//功能：改变缓冲区⼤⼩,
4//参数:nNewSize 缓冲区新长度
define的基本用法
5//返回值：缓冲区当前长度
6//说明：保持原信息内容不变 nNewSize<=0表⽰清除缓冲区
7 assert(nNewSize >= 0);
8 assert(nNewSize <= MAX_BUFFER_SIZE);
9
10 ...
11 }
  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不能代替条件过滤 
  程序⼀般分为Debug 版本和Release 版本，Debug 版本⽤于内部调试，Release 版本发⾏给⽤户使⽤。断⾔assert 是仅在Debug 版本起作⽤的宏，它⽤于检查“不应该”发⽣的情况。以下是⼀个内存复制程序，在运⾏过程中，如果assert 的参数为假，那么程序就会中⽌（⼀般地还会出现提⽰对话，说明在什么地⽅引发了assert）。
以下是使⽤断⾔的⼏个原则：
  （1）使⽤断⾔捕捉不应该发⽣的⾮法情况。不要混淆⾮法情况与错误情况之间的区别，后者是必然存在的并且是⼀定要作出处理的。
  （2）使⽤断⾔对函数的参数进⾏确认。
  （3）在编写函数时，要进⾏反复的考查，并且⾃问：“我打算做哪些假定？”⼀旦确定了的假定，就要使⽤断⾔对假定进⾏检查。
  （4）⼀般教科书都⿎励程序员们进⾏防错性的程序设计，但要记住这种编程风格会隐瞒错误。当进⾏防错性编程时，如果“不可能发⽣”的事情的确发⽣了，则要使⽤断⾔进⾏报警。
  ASSERT ()是⼀个调试程序时经常使⽤的宏，在程序运⾏时它计算括号内的表达式，如果表达式为FALSE (0), 程序将报告错误，并终⽌执⾏。如果表达式不为0，则继续执⾏后⾯的语句。这个宏通常原来判断程序中是否出现了明显⾮法的数据，如果出现了终⽌程序以免导致严重后果，同时也便于查错误。

版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。