<assert.h>库学习-阿里云开发者社区

开发者社区> 云计算> 正文

<assert.h>库学习

简介:

assert的初步认识

assert宏指令是用来诊断程序是否有误的,函数原型如下

void assert(int expression)

     那为什么我们要使用assert而不用printf呢?因为assert可以帮我们监测出是哪个条件不满足了,而且可以直观地显示出是代码中的哪一行出问题了,并且,当我们不打算用assert来诊断程序的时候,可以很方便地通过宏定义#define NDEBUG 取消assert的诊断。相比于自己写一个一个printf,自己判断程序哪一行出错,显然assert更有优势。

    其实assert的时候很简单,因为他的使用就跟if一样,assert(expression);expression其实就相当于if里面的表达式。来一段代码

复制代码
#include <assert.h>
int main(){
    int i=0;
    assert(i>0);            //这里我们故意让assert不成立看看结果
    printf("打印出i的值是:%d\n",i);       //看看是否能执行到这一步
    return 0;
}
复制代码

运行结果:

image

                                                     图1 运行结果

从程序里面看出,我们可以直观地看出哪一行出错了,并且是条件’i>0’不成立出错的;并且当assert诊断出错后,程序就退出了。这在调试的时候很有用,但是当实际投入使用的时候,我们就要把assert(expression)诊断函数禁用掉,毕竟稳定性很重要。我们可以很方便地在文件头加上宏定义#define NDEBUG 取消assert的诊断。

#define NDEBUG
#include <assert.h>

注意:#define NDEBUG要在#include <assert.h>之前,不然禁用assert不会成功。运行结果如图2.

image

                               图2 禁用assert之后

可以看出,即使条件不成立,也不会再有assert的诊断信息了。并且很执行到printf那行。

assert的进一步讨论

    当assert诊断失败后,assert会向stderr打印消息。从图1可以看出,assert诊断信息的表达形式是:Assertion failed: 表达式(expression),程序(file) 出错的文件名(file name), 行号(line nnn)。然后,asset会调用abort中断函数的执行,源代码的文件名(The Source filename)和行号(line number)定义在预处理宏(preprocessor macros)__FILE__ 和 __LINE__中。

关于assert的用法总结与注意事项,点此

 

参考

《The C Programming Language》

本文转自陈哈哈博客园博客,原文链接http://www.cnblogs.com/kissazi2/p/3142864.html如需转载请自行联系原作者

kissazi2

版权声明:本文内容由阿里云实名注册用户自发贡献,版权归原作者所有,阿里云开发者社区不拥有其著作权,亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容,填写侵权投诉表单进行举报,一经查实,本社区将立刻删除涉嫌侵权内容。

分享:
云计算
使用钉钉扫一扫加入圈子
+ 订阅

时时分享云计算技术内容,助您降低 IT 成本,提升运维效率,使您更专注于核心业务创新。

其他文章