【C/C++ 】assert

　　C 标准库的assert.h头文件提供了一个名为assert的宏，它可用于验证程序做出的假设，并在假设为假时输出诊断消息。assert 的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向 stderr 打印一条出错信息,然后通过调用 abort 来终止程序运行。

　　assert.h文件内容如下：

 1 //
 2 // assert.h
 3 //
 4 //      Copyright (c) Microsoft Corporation. All rights reserved.
 5 //
 6 // Defines the assert macro and related functionality.
 7 //
 8 #if defined _VCRT_BUILD && !defined _ASSERT_OK
 9     #error assert.h not for CRT internal use
10 #endif
11 
12 #include <corecrt.h>
13 
14 _CRT_BEGIN_C_HEADER
15 
16 
17 
18 #undef assert
19 //////////
20 #ifdef NDEBUG
21 
22     #define assert(expression) ((void)0)
23 
24 #else
25 
26     _ACRTIMP void __cdecl _wassert(
27         _In_z_ wchar_t const* _Message,
28         _In_z_ wchar_t const* _File,
29         _In_   unsigned       _Line
30         );
31 //////////
32     #define assert(expression) (void)(                                                       
33             (!!(expression)) ||                                                              
34             (_wassert(_CRT_WIDE(#expression), _CRT_WIDE(__FILE__), (unsigned)(__LINE__)), 0) 
35         )
36 
37 #endif
38 
39 
40 
41 _CRT_END_C_HEADER

使用及注意事项

　示例：

 1 // #define NDEBUG
 2 #include <cassert>
 3 #include <iostream>
 4 
 5 int main()
 6 {
 7     int i = 4;
 8     assert(i > 5);
 9     std::cout << "done" << std::endl;
10     return 0;
11 }

　　结果：

　　在调试结束后，可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用。则示例输出结果：done。

　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是用来避免显而易见的错误的，而不是处理异常的。错误和异常是不一样的，错误是不应该出现的，异常是不可避免的。

　　在编写函数时，要进行反复的考查，并且自问："我打算做哪些假定？"一旦确定了的假定，就要使用断言对假定进行检查。

参考　　


　　白菜菜白C/C++ assert()函数用法总结