浅析C语⾔中assert的⽤法
assert宏的原型定义在<assert.h>中，其作⽤是如果它的条件返回错误，则终⽌程序执⾏，原型定义：
#include <assert.h>
void assert( int expression );
assert的作⽤是现计算表达式 expression ，如果其值为假（即为0），那么它先向stderr打印⼀条出错信息，
然后通过调⽤ abort 来终⽌程序运⾏。
请看下⾯的程序清单badptr.c：
#include <stdio.h>
#include <assert.h>
#include <stdlib.h>
int main( void )
{
FILE *fp;
fp = fopen( "", "w" );//以可写的⽅式打开⼀个⽂件，如果不存在就创建⼀个同名⽂件
assert( fp );                          //所以这⾥不会出错
fclose( fp );
fp = fopen( "", "r" );//以只读的⽅式打开⼀个⽂件，如果不存在就打开⽂件失败
assert( fp );                          //所以这⾥出错
fclose( fp );                          //程序永远都执⾏不到这⾥来
return 0;
}
[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调⽤，⽰例代码如下：#include <stdio.h>
#define NDEBUG
#include <assert.h>
return在c语言中是什么意思宏名: assert
功能: 测试⼀个条件并可能使程序终⽌
⽤法: void assert(int test);
程序例:
#include <assert.h>
#include <stdio.h>
#include <stdlib.h>
struct ITEM {
int key;
int value;
};
/* add item to list, make sure list is not null */
void additem(struct ITEM *itemptr) {
assert(itemptr != NULL);
/* add item to list */
}
int main(void)
{
additem(NULL);
return 0;
}
assert() 宏⽤法
注意：assert是宏，⽽不是函数。在C的assert.h头⽂件中。
assert宏的原型定义在<assert.h>中，其作⽤是如果它的条件返回错误，则终⽌程序执⾏，原型定义：#include <assert.h>
void assert( int expression );
assert的作⽤是先计算表达式expression，如果其值为假（即为0），那么它先向标准错误流stderr打印⼀条出错信息，然后通过调⽤abort来终⽌程序运⾏；否则，assert()⽆任何作⽤。宏assert（）⼀般⽤于确认程序的正常操作，其中表达式构造⽆错时才为真值。完成调试后，不必从源代码中删除assert()语句，因为宏NDEBUG有定义时，宏assert()的定义为空。
⽤法总结与注意事项：
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不能代替条件过滤