assert 断言函数的使用

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) \

assert 断言函数的使用

猜你喜欢