C语言 函数——断言与防御式编程

目录

如何确定假设的真假？

断言

防御式编程（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

简单就是一种美，不要滥用技巧，让你的代码过于复杂

编译时打开所有警告开关，不要忽略它们

使用安全的数据结构和函数调用

做内存的“好管家”