断言(assert)的语义如下：如果表达式的值为0，则输出错误消息并终止程序的执行（一般会出现提示对话框，说明在什么地方引起了assert），如果表达式为真，则不进行任何操作。因此断言失败就表明程序存在一个bug。

     程序一般为分debug版本和release版本，由于assert的宏体全部被条件编译为伪指令#ifdef _DEBUG和#endif所包含，因此，assert()只在debug版本里有效。为了不在debug版本里和release版本里造成差别，assert不应该带来任何副作用。所以assert不是函数，而是宏。程序猿可以把assert看成一个在任何情况下都可以安全使用的无害测试手段。所以不要把程序中的assert语句删除。使用的时候请给assert语句加上注释，告诉人们assert语句究竟要干什么。

   

void *memcpy(void *to, void *from, int n){    assert( (to!=NULL) && (from!=NULL) );    typedef char byte;    byte *pbTo = (byte *)to;    byte *pbFrom = (byte *)from;    while(n-- > 0)    {       *pbTo++ = *pbFrom++;    }    return pbTo;}

上面的程序使用断言检查你的程序对memcpy函数的调用是否正确。

使用断言的目的是捕捉在运行时不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别；后者是在程序运行过程中自然存在的并且是一定要主动做出处理的。

int *p = (int *)malloc(sizeof(int) * 100);assert(p!=NULL);   //错误的使用assert//doSonething

int *p = (int *)malloc(sizeof(int) * 100);if(p == NULL)    //应该这样处理{    //错误代码处理}else{    //doSomething}