3.3.1 传统的错误检测方法
最后更新于：2022-04-02 00:26:52
### 3.3.1 传统的错误检测方法
如何提高程序的健壮性？关键显然在于如何发现运行时错误并加以处理。顾名思义，运行时错误是在程序运行时才暴露的，很难在静态的编译阶段检查出来。传统编程方法中常利 用 if 语句来检测可能导致异常发生的条件，以期发现并处理错误。具体的检测方式有两种， 一种是在执行任务之前检测条件，另一种是执行任务之后检测返回状态码或错误码。
作为例子，我们来编写一个求解一元二次方程的程序。利用初等代数知识，我们知道一 元二次方程 ax2+bx+c=0 的两个根是：
据此很容易写出下面这个程序：
【程序 3.5】eg3_5.py
```
import math
a, b, c = input("Enter the coefficients (a, b, c): ")
discRoot = math.sqrt(b * b - 4 * a * c)
root1 = (-b + discRoot) / (2 * a)
root2 = (-b - discRoot) / (2 * a)
print "The solutions are:", root1, root2
```
本程序先由用户输入一元二次方程的三个系数，然后利用公式算出两个根，并显示结果。 这个版本看上去很直接了当，似乎符合预期的功能，但实际上这个版本很有问题。下面我们 来运行这个程序：
```
>>> import eg3_5
Enter the coefficients (a, b, c): 1,2,3
Traceback (most recent call last):
File "", line 1, in import eg3_x
File "eg3_x.py", line 3, in discRoot = math.sqrt(b * b - 4 * a * c)
ValueError: math domain error
```
由于用户输入的系数 1、2、3 使得一元二次方程的判别式 b2 - 4ac 小于零，因此当程序 运行到调用 math.sqrt 函数时导致错误，程序崩溃并输出上面这一堆错误信息。作为专业的程 序员，对这里发生的一切自然能理解，但作为普通的用户，看到这些天书般的的错误信息时 除了抱怨程序不好用，还能怎么办呢？
为了增强程序 3.5 的健壮性，可以用 if 语句来检查判别式的值，以便区别处理方程有实 数根和无实数根的两种情形，避免在无实数根的情况下崩溃。改进版本如下：
【程序 3.6】eg3_6.py
```
import math
a, b, c = input("Enter the coefficients (a, b, c): ")
discrim = b * b - 4 * a * c
if discrim >= 0:
discRoot = math.sqrt(discrim)
root1 = (-b + discRoot) / (2 * a)
root2 = (-b - discRoot) / (2 * a)
print "The solutions are:", root1, root2
else:
print "The equation has no real roots!"
```
从程序中可见，仅当判别式 discrim 大于等于 0 时，才去调用 math.sqrt 函数求其平方根， 这样 sqrt 不会出错，从而避免了程序崩溃；当 discrim 为负数时，并不调用 sqrt，而是向用户 显示一些信息，告诉用户发生了什么，程序同样能正常结束。
下面分别测试程序 3.6 对两种情形的判别式的执行效果：
```
>>> import eg3_6
Enter the coefficients (a, b, c): 1,2,3
The equation has no real roots!
>>> reload(eg3_6)①
Enter the coefficients (a, b, c): 1,3,2
The solutions are: -1.0 -2.0
```
从结果可见程序 3.6 确实达到了预期的目的，健壮性得到了增强。
像程序 3.6 这样利用 if 语句来检测可能的出错条件，以阻止可能导致错误的语句的执行， 这是一种常用的错误检测方式。下面介绍另一种错误检测方式。
很多时候要执行的语句实际上是函数调用②，被调用的函数可能是我们自己写的，也可 能是标准函数库里定义的。函数作为一个具有相对独立性的程序块，一般都有自己的错误检 测代码，并根据执行是否正常而返回不同的“错误码”给调用者。这样，函数的调用者可以 无条件地调用函数，然后根据函数返回的错误码来了解函数的执行情况，并基于此来决定下 一步行动。例如，假设有一个求平方根的函数 robustSqrt 在参数为负数时返回错误码-1（由 于实数的平方根总是正数，返回-1 就表明发生了异常）：
```
def robustSqrt(x):
if x < 0:
return -1
else:
return math.sqrt(x)
```
那我们就可以不必先检测判别式的正负，而是直接调用 robustSqrt，并通过它的返回值来检测 是否发生了异常。示例代码片段如下：
```
discRoot = robustSqrt(b * b – 4 * a * c)
if discRoot < 0:
print "The equation has no real roots!"
else:
root1 = (-b + discRoot) / (2 * a)
root2 = (-b – discRoot) / (2 * a)
print "The solutions are:", root1, root2
```
与程序 3.6 中的错误检测代码相比，上面这种错误检测代码更可取。理由是：函数就像 一个提供特定功能的“黑盒”，我们只需调用其功能，不需了解其内部细节，因此让函数自己 在内部进行错误检测更符合“黑盒”原则。程序 3.6 中的错误检测建立在对函数 math.sqrt 内 部执行细节（即负数导致崩溃）的了解之上，因而不符合“黑盒”原则。
> ① reload 函数用于重新运行一个已成功导入的模块。
> ② 关于函数，详见第 4 章。
';