755-C语言的断言assert

54 阅读 0 评论 36 点赞

我是靠谱客的博主飞快抽屉，最近开发中收集的这篇文章主要介绍755-C语言的断言assert，觉得挺不错的，现在分享给大家，希望可以做个参考。

概述

大多数编程语言也都有断言这一特性。简单地讲，断言就是对某种假设条件进行检查。
即如果此宏的函数形式的参数表达式比较为零（即表达式为false），则向标准错误设备写入一条消息并调用abort，终止程序的执行。

可以简单理解为下面的代码段：

if(假设成立)
{
     程序正常运行；
}
else
{
      报错&&终止程序！（避免由程序运行引起更大的错误）  
}

但是多数情况下，我们要进行验证的假设，只是属于偶然性事件，又或者我们仅仅想测试一下，一些最坏情况是否发生，所以这里有了 assert()

#include "assert.h" 
void assert( int expression );

assert 的作用是现计算表达式 expression ，如果其值为假（即为0），那么它先打印一条出错信息,然后通过调用 abort 来终止程序运行。
（注：使用 assert 的缺点是，频繁的调用会极大的影响程序的性能，增加额外的开销。）

禁用 assert 调用

在调试结束后，可以通过在包含 #include 的语句之前插入 #define NDEBUG 来禁用 assert 调用，示例代码如下：

#include 
#define NDEBUG 
#include

每个assert只检验一个条件

因为同时检验多个条件时,如果断言失败,无法直观的判断是哪个条件失败
不建议这么做：

//不建议:
assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);

建议这么做：

//建议:
assert(nOffset >= 0); 
assert(nOffset+nSize <= m_nInfomationSize);

一个应用：在函数开始处检验传入参数的合法性

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

举例

#include <stdio.h>      
#include <assert.h>    

void print_number(int* myInt) 
{
	assert(myInt != NULL);
	printf("%dn", *myInt);
}

int main()
{
	int a = 10;
	int* b = NULL;
	int* c = NULL;

	b = &a;

	print_number(b);
	print_number(c);

	return 0;
}