assert 断言函数的使用

墨蓝 2022-05-14 08:05 251阅读 0赞

assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：   
\#include <assert.h>   
void assert( int expression );   
  
assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，   
然后通过调用 abort 来终止程序运行。

使用assert的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。

在调试结束后，可以通过在包含\#include 的语句之前插入 \#define NDEBUG 来禁用assert调用，示例代码如下：

1 #include 其他头文件
    2 #define NDEBUG 
    3 #include <assert.h>   //要在引入之前定义，否则无效

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

注：也可以通过添加编译参数来实现 -DNDEBUG ,两个定义的地方只能有一个否则会报重复定义的错误

**以下是使用断言的几个原则**：   
　　   
　　（1）使用断言捕捉不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别，后者是必然存在的并且是一定要作出处理的。   
　　   
　　（2）使用断言对函数的参数进行确认。   
　　   
　　（3）在编写函数时，要进行反复的考查，并且自问：“我打算做哪些假定？”一旦确定了的假定，就要使用断言对假定进行检查。   
　　   
　　（4）一般教科书都鼓励程序员们进行防错性的程序设计，但要记住这种编程风格会隐瞒错误。当进行防错性编程时，如果“不可能发生”的事情的确发生了，则要使用断言进行报警。

assert 函数原型：宏定义（我从系统源文件中复制出来的，不同系统实现可能不同）

\# define assert(expr)                                                   \\  
  ((expr)                                                               \\  
   ? \_\_ASSERT\_VOID\_CAST (0)                                             \\  
   : \_\_assert\_fail (\_\_STRING(expr), \_\_FILE\_\_, \_\_LINE\_\_, \_\_ASSERT\_FUNCTION))

别人粘贴的实现：

\#define  ASSERT(f)  \\     
do  \\     
\{  \\     
      if  (!(f)  &&  AfxAssertFailedLine(THIS\_FILE,  \_\_LINE\_\_))  \\     
              AfxDebugBreak();  \\     
\}  while  (0)  \\