ASSERT()是一个调试程序时经常使用的宏，在程序运行时它计算括号内的表达式，如果表达式为FALSE (0), 程序将报告错误，并终止执行。如果表达式不为0，则继续执行后面的语句。这个宏通常原来判断程序中是否出现了明显非法的数据，如果出现了终止程序以免导致严重后果，同时也便于查找错误。
ASSERT只有在Debug版本中才有效，如果编译为Release版本则被忽略。
---------------------------------------------------------------
ASSERT宏定义如下
#define ASSERT(f)
do
{
if (!(f) && AfxAssertFailedLine(THIS_FILE, __LINE__))
AfxDebugBreak();
} while (0)
ASSERT(逻辑表达式)
如果括号中的逻辑表达式值为假的话，会弹出调试命令窗口，提示具体在哪个文件的哪一行发生了断言错误！
---------------------------------------------------------------
ASSERT
Evaluates an expression, and displays a diagnostic message if the expression is FALSE. Ignored in retail builds.
Syntax
ASSERT(
cond
);
Parameters
cond
Expression to evaluate.
Remarks
In debug builds, if the expression is FALSE, this macro displays a message box with the text of the expression, the name of the source file, and the line number. The user can ignore the assertion, enter the debugger, or quit the application.
Example
ASSERT(rtStartTime <= rtEndTime);
---------------------------------------------------------------
断言(ASSERT)的使用，方法很简单。为什么要用，初学者可能比较迷惑。
契约式编程讲的比较清楚，建议可以先看看这类书。
一个函数由前置条件、后置条件和不变式组成。在VC中，我们可以通过断言来保证这三个条件。可以大大提高了软件的质量。
---------------------------------------------------------------
如果ASSERT()中的条件不成立(比如 ASSERT(0) ; ),会弹出一个比较吓人的对话框。
点击重试，可以到达 ASSERT 断言不成立的那一行，
此时可以在watch窗口查看变量值，找出出错的原因。
如果程序能够继续运行，可以按F5继续调试。
assert宏的原型定义在<assert.h>中，其作用是如果它的条件返回错误，则终止程序执行，原型定义：
1 #include <assert.h>
2 void assert( int expression );
assert的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印一条出错信息，然后通过调用 abort 来终止程序运行。请看下面的程序清单badptr.c：
1 #include <stdio.h>
2 #include <assert.h>
3 #include <stdlib.h>
4 int main( void )
5 {
6 FILE *fp;
7
8 fp = fopen( "test.txt", "w" );//以可写的方式打开一个文件，如果不存在就创建一个同名文件
9 assert( fp ); //所以这里不会出错
10 fclose( fp );
11
12 fp = fopen( "noexitfile.txt", "r" );//以只读的方式打开一个文件，如果不存在就打开文件失败
13 assert( fp ); //所以这里出错
14 fclose( fp ); //程序永远都执行不到这里来
15 return 0;
16 }
[root@localhost error_process]# gcc badptr.c
[root@localhost error_process]# ./a.out
a.out: badptr.c:14: main: Assertion `fp' failed.
已放弃使用assert()的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。在调试结束后，可以通过在包含#include <assert.h>的语句之前插入 #define NDEBUG 来禁用assert调用，示例代码如下：
1 #include <stdio.h>
2 #define NDEBUG
3 #include <assert.h>
用法总结与注意事项：
1）在函数开始处检验传入参数的合法性如：
1 int resetBufferSize(int nNewSize)
2 {
3 //功能:改变缓冲区大小,
4 //参数:nNewSize 缓冲区新长度
5 //返回值:缓冲区当前长度
6 //说明:保持原信息内容不变 nNewSize<=0表示清除缓冲区
7 assert(nNewSize >= 0);
8 assert(nNewSize <= MAX_BUFFER_SIZE);
9 ...
10 }
2）每个assert只检验一个条件，因为同时检验多个条件时，如果断言失败，无法直观的判断是哪个条件失败，如：
不好：
assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);
好:
1 assert(nOffset >= 0);
2 assert(nOffset+nSize <= m_nInfomationSize);
3）不能使用改变环境的语句，因为assert只在DEBUG个生效，如果这么做，会使用程序在真正运行时遇到问题，如：
错误：
assert(i++ < 100);
这是因为如果出错，比如在执行之前i=100，那么这条语句就不会执行，那么i++这条命令就没有执行。
正确：
assert(i < 100);
i++;
4）assert和后面的语句应空一行，以形成逻辑和视觉上的一致感。
5）有的地方，assert不能代替条件过滤。