目录
如何确定假设的真假?
断言
防御式编程(Defensive programming)
如何确定假设的真假?
程序中的假设
*某个特定点的某个表达式的值一定为真
*某个特定点的某个表达式的值一定位于某个区间等
问题:如何确定这些假设的真假呢?
断言(Assert)
*测试程序中假设的正确性
*如果假设被违反,则中断程序的执行
断言
在<assert.h>中定义的宏
void assert(int expression);
expression为真,无声无息
expression为假,中断程序
问题:使用条件语句代替断言,可不可以?
*使用断言便于调试程序时发现错误,不会影响程序执行效率
Debug版本
用于内部调试 ——assert是仅在Debug版本中起作用
Release版本
发行给用户使用 ——编译器会跳过assert不生成检查代码
仅用于调试程序,不能作为程序的功能
何时适合使用断言呢?
*检查程序中的各种假设的正确性
*证实或测试某种不可能发生的状况确实不会发生
使用断言的基本原则
*使用断言捕获不应该或者不可能发生的情况
*每个assert只检验一个条件
防御式编程(Defensive programming)
让你编写的代码具有防弹功能
养成良好的编码风格
避免闪电式编程,用怀疑的眼光审视所有的输入和结果
*if anything can go wrong,it will——Murphy's Law
简单就是一种美,不要滥用技巧,让你的代码过于复杂
编译时打开所有警告开关,不要忽略它们
使用安全的数据结构和函数调用
做内存的“好管家”