WHAT?

主要思想：子程序不应因传入参数错误而被破坏

WHY?

保护程序免遭非法输入的破坏

HOW?

断言

assert denominator != 0 : "denominator should not be 0"; // 启动VM时需要 -ea 参数用以启动assert功能

 

 

• 只用于开发、维护阶段
• 用错误处理代码来处理预期会发生的状况，用断言来处理绝不会发生的状况
• 避免把需要执行的代码放入断言中
• 用断言来注解并验证前条件和后条件

错误处理技术

• 返回中立值（当对返回结果准确性要求较低的时候）
• 换用下一次正确的数据
• 返回与前次相同的数据
• 换用最接近的合法值
• 记录日志
• 返回错误码
  • 设置一个状态参数的值
  • 返回一个状态值
  • 使用语言内建的异常机制抛出一个异常
• 关闭程序

健壮性与正确性

处理错误最恰当的方式要根据软件类别来确定

• 健壮性（robustness）：消费类应用软件
• 正确性（correctness）：关乎人身安全的软件

异常机制

• 用异常通知程序的其它部分，发生了不可忽略的错误
• 只在真正例外的情况下才抛出异常
• 不能用异常来推卸责任，能在局部处理的错误就不要抛出
• 避免在构造函数和析构函数中抛出异常
• 在恰当的抽象层次抛出异常，确保异常的抽象层次和接口的抽象层次是一致的
• 考虑集中的异常报告机制
• 异常需要包含关于异常发生的所有背景信息

隔离程序

• 公有方法假设数据不安全
• 私有方法假设数据安全