对于《代码大全》曾有过这样的评价:程序员可以带到孤岛上的唯一一本书。
当你失恋过后,你便理解了所有情歌的意义;当你做过一个不甚理想的框架与设计之后,你便明白了这本书的价值。
我从师父那里拿到这本书,今天翻看了第6-8章,有种相见恨晚的感觉,尤其是其中Defensive Programming的思想,让我对以往遇到的很多问题茅塞顿开。
类是“由一组数据和子程序构成的集合”,数据ADT,子程序Routines。为了提高代码质量,类的编写原则体现在抽象、封装、继承和实现4个方面;子程序的编写则更多体现在一个个细节上,对日常编码习惯的改善有诸多裨益。
本文的重点放在防御式编程上,作简要总结。
1 保护程序免遭非法输入数据的破坏
检查所有外部数据的值;检查子程序所有输入参数的值;决定如何处理错误的输入数据。
2 断言
- Java示例
// Java 代码
assert denominator != 0: "denominator is unexpectedly equal to 0.";
- C++宏改进的ASSERT实现
// Cpp 代码
#define ASSERT(condition, message) { if (!(condition)) { LogError("Assertion failed: ", #condition, message); exit(EXIT_FAILURE);}}
- 将需要执行的代码放到断言外
// Vb 代码
actionPerformed = PerformAction()
Debug.Assert(actionPerformed) ' Couldn't perform action
- 用断言注解并验证前后条件
// Vb 代码
' Preconditions
Debug.Assert(-90 <= latitude And latitude <= 90)
Debug.Assert(0 <= longitude And longitude < 360)
...
' Postconditions
Debug.Assert(0 <= returnValue And returnValue <= 600)
...
3 错误处理技术
断言用于处理代码中不应发生的错误,这里指的是预料中可能要发生的错误处理。
有很多种方法,比如换用下一个正确数据、返回与前次相同的值、换用最接近的合法值、在日志中记录警告信息、返回错误码、调用错误处理子程序、显示出错信息、关闭程序等。
应该在整个程序里采用一致的方式处理非法参数。
4 异常
遇到了预料之外的情况,但不知道如何处理,可以抛出异常“我不知道该怎么处理它!”。要避免使用空的catch语句。
// Java 代码
try {
// lots of code
} catch (AnException exception) {
LogError("Unexpected exception");
}