assert()详解

assert()是什么？

assert的头文件是assert.h

使用方式：assert( expression );

当expression为FALSE时，程序将会终止，并且会弹出expression的信息。光这样说可能不太清楚。

for example

assert(length >= 0);//当length小于0时，程序将会终止，并弹出Assersion failed: lenght >= 0的信息提示这边出了错误。也即告诉程序员length不是非负数。

当然你也可以添加更多的出错显示信息，如

assert(length >= 0 && "length can't possibly be negative");

或者

assert(("length can't possible be negative", length >= 0));

assert()有什么用？

assert可以这样通俗的理解：我要确保expression正确，但如果不正确程序你就停止运行吧，然后告诉我。

1. assert 可以在函数开始时检验参数的合法性

int resetBufferSize(int nNewSize)
{
　　//功能:改变缓冲区大小,
　　//参数:nNewSize 缓冲区新长度
　　//返回值:缓冲区当前长度 
　　//说明:保持原信息内容不变     nNewSize<=0表示清除缓冲区
　　assert(nNewSize >= 0);
　　assert(nNewSize <= MAX_BUFFER_SIZE);
　　...
}

assert()有什么注意点

由于assert()是在调试状态下运行的，其开销还是蛮大的，因此待调试完程序后可以选择关闭assert，这个可以这样做

#define NDEBUG
#include <assert.h>

即在assert.h前添加NDEBUG。

基于你的程序最终是在assert关闭状态下运行的，你的程序设计将不能依赖于assert()函数，不然将会出现与你所想的截然不同的程序运行结果。

例如

length = 100;
assert(length++);

这时候在assert()打开和assert()被关闭两种状态下，程序的执行结果将有可能完全不同，因此这是一个bad的设计。

又如

assert(foo());

此处程序运行依赖于foo();

可以改成

int ret = foo();
assert(ret);