断言,用来DEBUG错误的,在DEBUG时发现然后跟踪错误!

通常 写一个程序给别人使用的,这个代码在安全性上的要求是什么呢?直觉上,我们都知道程序不应该崩。但是通常C/C++的程序如果把包含API的头文件暴露出来的话,根本没办法保证这一点。往往,如果一个C/C++的程序以头文件提供给别人使用的话,其安全性保证应该是“正确使用的时候一定不会崩,错误使用的时候尽最大可能的尽早崩”。
      我刚知道assert的时候把assert的作用和异常搞混淆了,我以为assert和异常用途一样,其实C标准写得很明白,assert当条件不满足的时候就会调用abort,abort就是制造程序崩溃。也就是说,assert的用处是上面所说的“错误使用的时候尽最大可能的尽早崩”。
错误使用是什么意思呢?
      首先,这里的“错误使用”只能是程序员的错误,而不应该是最终用户进行了错误的操作,因为最终用户永远是没错的,最终用户无论怎么在你的GUI上乱点,或者在CUI输入一些无论怎样的稀奇古怪的东西,你都不能崩,你只能一遍又一遍的告诉用户,你不能这么干,不能那么干。
其次,C++提供给高级语言的接口,不能崩,从高级语言来的调用,无论参数是什么,都不能算它误用。比如说你用C++写了一个COM控件,可以用来算整数的加法,然而客户程序传了一个字符串进来,你不能崩,你应该耐心的告诉客户程序不应该传字符串。否则用户浏览一个写了错误的JavaScript的网页时就会把浏览器崩掉了。
      最后,解析网络协议的时候,不能崩,永远不能信任网络对面传过来的协议是正确的,更不能依靠assert来确保这个正确性。

也就是说,assert的用处就仅限于保证你自己的C/C++代码内部的代码编写正确,以及你通过一个C/C++头文件把一个库提供给别人的时候的代码编写正确。而且,当你用assert来检查客户进行了错误的输入的时候,你一定要在文档注明,这样的输入是错误的,行为是未定义的。“未定义”的行为的最好结果就是崩掉,用assert就是为了保证能出现这个最好结果,而不是莫名其妙的继续工作。要知道,“未定义”的行为就算是电脑爆炸掉都是符合逻辑的,当然,我们通常没有看到电脑爆炸,这是因为操作系统保证你的未定义行为的危害范围仅限于你的进程中。如果不是开玩笑的话,电脑爆炸的概率其实还是很小的,但是让代码跑飞到你不知道为什么出错那就相当普遍了。

断言(assert)和程序的安全保证的更多相关文章

  1. 断言(assert)

    断言(assert):用来调试.测试代码. 格式: assert 布尔表达式: 字符串 (如果布尔表达式为false时,这个字符串才会显示). 注意: assert默认是关闭的,使用时需要使用&quo ...

  2. 断言(assert)简介

    java中的断言assert的使用 一.assertion的意义和用法 J2SE 1.4在语言上提供了一个新特性,就是assertion功能,他是该版本再Java语言方面最大的革新. 从理论上来说,通 ...

  3. 断言(assert)的用法

    我一直以为assert仅仅是个报错函数,事实上,它居然是个宏,并且作用并非“报错”. 在经过对其进行一定了解之后,对其作用及用法有了一定的了解,assert()的用法像是一种“契约式编程”,在我的理解 ...

  4. C语言中断言ASSERT

    我一直以为assert仅仅是个报错函数,事实上,它居然是个宏,并且作用并非"报错". 在经过对其进行一定了解之后,对其作用及用法有了一定的了解,assert()的用法像是一种&qu ...

  5. 使用断言assert

    之前有看过关于Assert的书,但是不懂得如何去用,最近看别人写的代码有用这个断言(assert),今天自己动手看看如何使用断言. 断言(assert)的语义如下:如果表达式的值为0(假),则输出错误 ...

  6. 断言Assert的使用

     转载地址:http://www.cnblogs.com/moondark/archive/2012/03/12/2392315.html 我一直以为assert仅仅是个报错函数,事实上,它居然是个宏 ...

  7. K:java 断言 assert 初步使用:断言开启、断言使用

    @转自天地悠悠的个人博客 主要总结一下在eclipse中如何使用断言. (一)首先明确: java断言Assert是jdk1.4引入的. jvm 断言默认是关闭的. 断言是可以局部开启的,如:父类禁止 ...

  8. java的断言(assert)

    概述 在C和C++语言中都有assert关键,表示断言.在Java中,同样也有assert关键字,表示断言,用法和含义都差不多.在Java中,assert关键字是从JAVA SE 1.4 引入的,为了 ...

  9. C# 断言 Assert

    重构-断言 现象:某一段代码需要对程序状态做出某种假设 做法:以断言明确表现这种假设 动机: 常常有这种一段代码:只有某个条件为真是,该改名才能正常运行. 通常假设这样的假设并没有代码中明确表现出来, ...

  10. java断言assert初步使用:断言开启、断言使用

    1 说明 java断言assert是jdk1.4引入的. jvm断言默认是关闭的. 断言可以局部开启的,如:父类禁止断言,而子类开启断言,所以一般说“断言不具有继承性”. 断言只适用复杂的调式过程. ...

随机推荐

  1. CSS命名规范 BEM

    良好的代码结构,HTML和css元素之间的关系,对于项目交付是很重要的! BEM解释: (1).block 是BEM的区块(B),包含内容和风格.如bootstrap框架的.container. (2 ...

  2. Matlab变量、分支语句和循环语句

    一.Matlab的变量 1.变量的命名 Matlab的变量名由数字.字母和下划线组成,可是仅仅能由字母开头.大写和小写敏感,最大长度为63个字符.不能使用Matlab的关键字作为变量名,应当避免使用函 ...

  3. Commons FileUpLoad 两种上传方式解

    traditional API (传统方式) //上传路径 File file = new File("C:/upload"); //临时文件路径 File tempFile = ...

  4. Android系统示例分析之AndroidBeamDemo

    在这个示例工程中,只有一个Activity: public class Beam extends Activity implements CreateNdefMessageCallback,      ...

  5. 如何读取xml文件,根据xml节点属性查询并输出xml文件

    主要是应用SimpleXML和递归函数来根据key值来查询,并将结果以xml格式输出. <?php header("Content-type: text/xml"); //以 ...

  6. HTTP标头信息

    HTTP头信息头信息由“键:值”组成.它们描述客户端或者服务器的属性.被传输的资源以及应该实现连接. 四种不同类型的头标 通用头标:即可用于请求,也可用于响应,是作为一个整体而不是特定资源与事务相关联 ...

  7. 引用、数组引用与指针引用、内联函数inline、四种类型转换运算符

    一.引用 (1).引用是给一个变量起别名 定义引用的一般格式:类型  &引用名 = 变量名: 例如:int a=1;  int  &b=a;// b是a的别名,因此a和b是同一个单元 ...

  8. django admin 如何去掉s 如何去掉django admin 各个模块后面的s

    其中加上红色标记的内容,业务管理员后面就不会有 s 了 class UsrMngUser(models.Model): user_name = models.CharField("用户名称& ...

  9. C++代码优化方法总结

    C++代码优化方法总结 优化是一个非常大的主题,本文并不是去深入探讨性能分析理论,算法的效率,况且我也没有这个能力.我只是想把一些可以简单的应用到你的C++代码中 的优化技术总结在这里,这样,当你遇到 ...

  10. MySQL主从不一致的几种故障总结分析、解决和预防

    (1).主从不一致故障,从库宕机,从库启动后重复写入数据报错解决与预防:relay_log_info_repository=TABLE(InnoDB)参数解释说明:若relay_log_info_re ...