断言
来源:互联网 发布:比利牛斯山的城堡 知乎 编辑:程序博客网 时间:2024/06/16 08:43
一、原型定义:
void assert( int expression );
assert宏的原型定义在<assert.h>中,其作用是先计算表达式 expression ,如果expression的值为假(即为0),那么它先向stderr打印一条出错信息,然后通过调用abort 来终止程序运行。
二、关闭断言宏#define NDEBUG
三、NSI C标准中有几个标准预定义宏:
__LINE__:在源代码中插入当前源代码行号;
__FILE__:在源文件中插入当前源文件名;
__DATE__:在源文件中插入当前的编译日期
__TIME__:在源文件中插入当前编译时间;
__STDC__:当要求程序严格遵循ANSI C标准时该标识被赋值为1;
__cplusplus:当编写C++程序时该标识符被定义。
编译器在进行源码编译的时候,会自动将这些宏替换为相应内容。
四、
1 作用:
断言常做语言处理的高级形式,自动处理软件隐藏很深其且它手段不易发现的错误,快速进行异常定位。同时这也是软件单元测试必须的技术。
2 使用范围:
2.1放在函数入口对入口参数进行合法性检查(这也是我们经常看到的)
2.1将assert(0)放在预计正常情况不会出现的地方(一旦出现肯定是异常出错了)
2.3放在前置条件必须满足、后置条件必须满足、不变条件必须满足的场合
3 使用原则:
3.1一个断言只能检测一个条件。
3.2 断言检查只是辅助条件,不能替代条件检测
3.3 不能使用改变环境语句的使用。
3.4可以用开关条件编译来打开或者关闭断言,一般在debug模式打开而在release模式下关闭。
ifndef NDEBUG
assert( conditon ) ;
#endif
3.5频繁使用断言也会降低效率。并且它的强制停止所以不适合嵌入式程序和服务器,但也可以改写只报错误而不停止,即不调用abort()。
3.6不要浪费别人的时间—详细说明不清楚的断言;消除所做的隐式假定,或者利用断言检查其正确性例如:有时候我们会不自觉的认为一个字节占8位,或者说一个long型占据4个字节,这些都是对编译程序或操作系统做的一些假定。这使得我们需要在程序中使用断言例如ASSERT(sizeof(long)==4&&CHAR_BIT==8)。
3.7断言是进行调试检查的简单方法。要使用断言来检查绝对不应该发生的非法情况,不要混淆非法情况和错误情况,错误情况是需要在最终产品中处理的。
3.71利用断言对函数的参数进行确认,并且当程序员使用了无定义特性时向程序员报警。
3.72当编写函数时,应反复问自己做了哪些假定,一旦确定了相应的假定,就要使用断言对所做的假定进行检验,或者重新编写代码去除假定。
4静态断言与普通断言:
静态断言可以在编译时就对程序的错误做出判断,而普通断言只能在程序运行出现错误的时候做出退出并产生调试信息
static_assert(condition,string_condition);
第一次参数是表达式,第二个参数是输出的信息
static_assert()是C++ 新增的内容
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 断言
- 金融系列-支付场景中不得不说的账务知识
- LFS8.0完全安装搭建制作教程
- Ice Cave CodeForces
- Windows下安装配置Zend Studio 13.6 教程(含破解/注册码)
- 历届试题 PREV-5 错误票据
- 断言
- To Introduce An Anime
- 微信内置浏览器私有接口WeixinJSBridge介绍
- 【9月20日】 Improved Pattern Learning for Bootstrapped Entity Extraction(上)
- 继承与多态
- Android 控制状态栏和导航栏
- 希尔排序
- 二叉树中两个节点的最低公共父节点
- C语言实现学生成绩管理系统