assert断言
来源:互联网 发布:c语言学生管理系统详解 编辑:程序博客网 时间:2024/05/16 23:48
断言
经常有这样的情况,程序运行中出现的问题与不正确的假设有关但并非代码的错误。这些不正确的假设往往是被直观认为不会发生的事件,因此我们需要对系统的内部逻辑做出确认。
针对这种情况, X/Open 提供了 assert 宏,它的作用就是测试某个假设是否成立,如果不成立就立即停止程序的运行。
#include <assert.h>
void assert(int expression)
assert 宏对表达式进行求值,如果结果非零,它就往标准错误写一些诊断信息,然后调用 abort 函数结束程序的运行。
头文件 assert.h 定义的宏受 NDEBUG 的影响。如果程序在处理这个头文件时已经定义了 NDEBUG 就不定义 assert 宏。这意味着,可以在编译期间使用 -DNDEBUG关闭断言功能。
断言的常用用法以及注意事项大概有以下几个方面:
( 1 )在函数开始处检验传入参数的合法性如
int resetBufferSize(int nNewSize) {
// 功能 : 改变缓冲区大小
// 参数 :nNewSize 缓冲区新长度
// 返回值 : 缓冲区当前长度
// 说明 : 保持原信息内容不变 nNewSize<=0 表示清除缓冲区
assert(nNewSize >= 0);
assert(nNewSize <= MAX_BUFFER_SIZE);
...
}
( 2 )每个 assert 只检验一个条件,因为同时检验多个条件时,如果断言失败,无法直观的判断是哪个条件失败
不建议使用 : assert(nOffset>=0 && nOffset+nSize<=m_nInfomationSize);
建议使用 : assert(nOffset >= 0);
assert(nOffset+nSize <= m_nInfomationSize);
( 3 )不能使用改变环境的语句,因为 assert 在 NDEBUG 被定义时无效。如果这么做,会使用程序在真正运行时遇到问题
错误 : assert(i++ < 100) 这是因为如果出错,比如在执行之前 i=100 ,那么这条语句就不会执行,那么 i++ 这条命令就没有执行。
正确 : assert(i < 100)
i++;
上一篇:Linux Find Out Virtual Memory PAGESIZE
下一篇:setup network and route
- cheap wholesale clothes men...
- nodejs 单元测试之学
- python 笔记 (二)
- 双齿辊式破碎机在工业生产中展...
- 编程珠玑-第05章编程小事(断...
- linux 常见服务端口
- 【ROOTFS搭建】busybox的httpd...
- 什么是shell
- linux socket的bug??
- linux的线程是否受到了保护?...
- 关于enqueue 的dump 文件帮看...
- tar --newer 05/12/2013 这个...
- 请教nginx代理tomcat作为子目...
- LDAP安装 bus error是什么问...
- select语句不修改sql,如何优...
- 断言assert
- 断言 ASSERT
- Assert - 断言
- assert断言
- Assert - 断言
- assert断言
- Assert - 断言
- assert断言
- assert断言
- 断言assert
- ASSERT断言
- 断言assert
- assert断言
- assert断言
- assert 断言
- assert断言
- assert:断言
- 断言assert
- qemu-kvm(in libvirt)could not open disk image
- 禁用恢复XP待机功能
- Unix/Linux 磁盘 I/O 性能监控命令
- ftl样本
- Linux Find Out Virtual Memory PAGESIZE
- assert断言
- setup network and route
- Linux文件特殊权限
- Open vSwitch 安装
- kde pager
- KernelModeSetting
- geany支持列编辑
- Enable application and daemon core dumps in RHEL6
- iptables