软件构造 防御式编程

防御式编程
防御式编程是提高软件质量技术的有益辅助手段，它是一种编程方式。
防御式编程的主要思想是：子程序应该不因传入错误数据而被破坏，哪怕是由其他子程序产生的错误数据。这种思想是将可能出现的错误造成的影响控制在有限的范围内。

1. 在非法输入（Invalid Inputs）中保护你的程序
   一个好程序，在非法输入的情况下，要么什么都不输出，要么输出错误信息。有几种方法来防止非法的输入：
   （1）检查来自于外部资源（external sources）的所有数据的值，例如来源于网络的数据的值，来源于文件的数据的值。检查的目的是保证数据值在一个允许的范围内。
   （2）检查每一个例程（routine）的输入参数值。
   一旦非法输入被发现，那么应该根据情况进行处理。防御式编程的最佳的形式是在一开始就不引入错误。
2. 断言（Assertions）
   一个断言通常是一个例程（routines）或者一个宏（marcos）。每个断言通常含有两个参数：一个布尔表示式（a boolean expression）和一个消息（a message）。
   通常来说，我们会定义自己的 assert 宏，其目的有两个：
   （1）新增参数，例如新增一个消息参数，使得 assert 宏输出更为丰富的信息。
   （2）改变 assert 的行为内容。C 标准库中的 assert 宏将中断程序，实际上，我们可以让程序继续运行而不中断或者进入调试状态等，另外还可以控制消息输出的目标，即控制消息是输出到控制台还是文本文件，甚至是通过网络发出。