Update src/ch09-03-to-panic-or-not-to-panic.md #45

src/ch09-03-to-panic-or-not-to-panic.md

@@ -26,11 +26,11 @@ let home: IpAddr = "127.0.0.1".parse().unwrap();
 
 ### 错误处理指导原则
 
-在当有可能会导致有害状态的情况下建议使用 `panic!` —— 在这里，有害状态是指当一些假设、保证、协议或不可变性被打破的状态，例如无效的值、自相矛盾的值或者被传递了不存在的值 —— 外加如下几种情况：
+当代码有可能以有害状态结束时，建议让代码 panic。在这里，**有害状态**是指一些假设、保证、协议或不可变性被打破的状态，比如无效的值、矛盾的值或缺失的值被传递给代码——加上以下一种或多种情况：
 
-- 有害状态并不包含 **预期** 会偶尔发生的错误。
-- 在此之后代码的运行依赖于不处于这种有害状态。
-- 当没有可行的手段来将有害状态信息编码进所使用的类型中的情况。
+- 有害状态是指一些意外的事情，而不是预期可能偶尔发生的事情，比如用户输入错误格式的数据。
+- 在此之后的代码需要摆脱这种有害状态，而不是在每一步都检查这个问题。
+- 在使用的类型中，没有一个好的方式来编码这些信息。我们将在第 17 章的[“将状态和行为编码为类型”][encoding]<!-- ignore -->一节中通过一个例子来说明我们阐述的意思。
 
 如果别人调用你的代码并传递了一个没有意义的值，最好的情况也许就是 `panic!` 并警告使用你的库的人他的代码中有 bug 以便他能在开发时就修复它。类似的，如果你正在调用不受你控制的外部代码，并且它返回了一个你无法修复的无效状态，那么 `panic!` 往往是合适的。
 
@@ -109,3 +109,5 @@ impl Guess {
 Rust 的错误处理功能旨在帮助你编写更健壮的代码。`panic!` 宏代表一个程序无法处理的状态，并停止执行而不是使用无效或不正确的值继续处理。Rust 类型系统的 `Result` 枚举代表操作可能会在一种可以恢复的情况下失败。可以使用 `Result` 来告诉代码调用者他需要处理潜在的成功或失败。在适当的场景使用 `panic!` 和 `Result` 将会使你的代码在面对不可避免的错误时显得更加可靠。
 
 现在我们已经见识过了标准库中 `Option` 和 `Result` 泛型枚举的能力了，在下一章让我们来聊聊泛型是如何工作的，以及如何在你的代码中使用它们。
+
+[encoding]: ch17-03-oo-design-patterns.html#将状态和行为编码为类型