assert与if的区别-创新互联

             assert还是if

专注于为中小企业提供成都网站设计、成都做网站、外贸网站建设服务,电脑端+手机端+微信端的三站合一,更高效的管理,为中小企业文峰免费做网站提供优质的服务。我们立足成都,凝聚了一批互联网行业人才,有力地推动了成百上千家企业的稳健成长,帮助中小企业通过网站建设实现规模扩充和转变。

在刚开始学习代码的时候,对于程序中检查程序有效性时有时用到assert,有时用if,感到非常困惑。比如,在多数的malloc函数后面对指针进行的操作都是用assert进行检查的,可能会造成一种错觉以为在malloc之后对申请空间的检测是用assert进行的,但可能也会看到用if对malloc进行判断并处理,到底是if还是assert呢?

以下是库中关于assert的定义,我将其他一些地方去掉了:

#ifdef  NDEBUG

#define assert(_Expression)     ((void)0)

#else

#define assert(_Expression) (void)( (!!(_Expression)) || (_wassert(_CRT_WIDE(#_Expression), _CRT_WIDE(__FILE__), __LINE__), 0) )

#endif

上面是在库中关于assert的定义,NDEBUG为非调试模式,即release模式。可以看到,在Release模式下assert宏什么事情都没有干,但是在debug模式下,如果表达式的值为0,则输出消息并终止程序的执行。表达式为真时不会进行任何操作,所以断言失败,就表明程序存在bug,出现了预期不应该出现的情况。也就是说在release模式下,assert宏相当于不存在了.

assert是用来发现运行时刻的错误,发现的错误是关于程序实现方面的。使用断言最根本的好处是自动发现许多运行时产生的错误,能在产生错误的发源地发现错误,以便程序员很快的找到错误并对其做出处理。

assert一般用与检查函数参数的合法性(有效性)而不是正确性,但是合法的程序并不见得就是正确的程序。参数为NULL或者没有进行初始化,这些都是会导致程序不能正常运行的非法情况。使用assert的目的是捕捉在运行时不应该发生的非法情况。不要混淆非法情况与错误情况之间的区别,前者是程序员不愿意看到的会导致程序不能正常运行的情况;后者是程序运行过程中自然存在的并且是一定要主动做出处理的情况。比如说对于一个磨面粉的机器来说,出现了异常没有磨出面粉,第一种情况是磨面机由于电动机出现问题,使得电源关闭没有出面粉;另一种情况是我们装入的原料是玉米而不是麦子,这样我们同样得不到面粉。当然第一种情况是谁都不愿意看到的一旦其发生会引起面粉机异常(终止),而第二种情况我们做一些操作就是可以处理的

举例1:

bool fun(ptype* p)

{

   assert(p);

   ……

}

说了这么多,那对于上面的例子,究竟是用if呢还是assert呢?试着分析下:上课时我们讲过,指针并不是在什么情况下都需要判断是否为NULL,这要看具体的场景,比如指向链表第一个有效结点的指针,如果链表中一个节点都没有时该指针便指向NULL,这是一种合法的情况,所以就不能使用assert来断言。  当你确信该指针为NULL为一种非法情况,在你的程序中本不应该出现,如果出现就说明你程序某处存在bug。也就是说在你调用该函数的过程中,程序逻辑上存在某些错误,此时用assert断言,那么它将会非常不高兴,怒气冲冲的打断程序执行流,指着鼻子告诉你NULL指针问题,你就需要抓小虫子了(即Debug),所以assert方便我们调试定位排查问题;而此时如果使用if呢,程序可能会继续往下执行,不会将错误抛出,此bug就被隐藏起来了,说不定哪天就会爆发,当真的爆发时哪可能就是一场灾难,如果此bug隐藏的比较深,对于我们排查起来那是相当相当困难的。

举例2;

void fun()

{

   int* p = (int*)malloc(sizeof(int));

   assert(p);

}

   这里是断言的一个错误用法,p为一个申请了内存的指针,申请内存就有存在申请失败的可能,这时malloc会返回NULL,这种情况是存在的,不属于程序运行过程中产生的非法情况,所以最好使用if来判断。  有些时候,针对于防御性编程,你可能会看到这么做:void fun()

{

 int* p = (int*)malloc(sizeof(int));

 if(NULL == p)

    assert(p);

}

总结:

1、assert是调试宏而不是一个函数,只在debug才有效。

2、使用assert来捕捉程序运行过程中出现的非法情况,在你的程序中,假如某种情况肯定不会出现,如果出现,就说明你的程序在某块存在错误,此时最好用assert断言,比如除法时除数不为0;而该情况可能会出现且是合法情况,此时最好用if来判断,比如malloc空间时。

创新互联www.cdcxhl.cn,专业提供香港、美国云服务器,动态BGP最优骨干路由自动选择,持续稳定高效的网络助力业务部署。公司持有工信部办法的idc、isp许可证, 机房独有T级流量清洗系统配攻击溯源,准确进行流量调度,确保服务器高可用性。佳节活动现已开启,新人活动云服务器买多久送多久。


当前标题:assert与if的区别-创新互联
文章URL:http://bzwzjz.com/article/spppj.html

其他资讯

Copyright © 2007-2020 广东宝晨空调科技有限公司 All Rights Reserved 粤ICP备2022107769号
友情链接: 成都网站建设 成都网站建设 成都网站制作 定制网站设计 成都网站设计 成都网站建设 盐亭网站设计 泸州网站建设 专业网站建设 企业网站设计 手机网站制作 响应式网站设计方案 成都网站建设 成都网站建设 温江网站设计 网站建设方案 成都网站设计 高端定制网站设计 营销型网站建设 营销型网站建设 LED网站设计方案 网站制作