Rust 1.9 改善了错误处理机制并提升了编译性能

最近发布的Rust 1.9 增加了一个新的异常处理API，让开发者在处理跨线程异常传播的时候能够增加更多的控制。此外新版本还提升了变量判等时的编译性能。

正如前面所提到的， std::panic增加了一个新的catch_unwindAPI，Rust 使用它来处理异常，同时允许开发者更好地控制由异常触发的堆栈展开过程。Rust 在这种场景下的哲学是“快速失败”，也就是在展开堆栈之后停止唤起的线程，但是其他线程不受影响，可以继续运行，直到它们试图与出错的线程通信为止，只有当需要与出错的线程通信时才需要做一些恢复工作。通过使用catch_unwind，开发者能够捕获 panic 并将其转换成失败线程中的普通错误：

let result = panic::catch_unwind(|| {
   panic!("oh no!");
});
assert!(result.is_err());
 

该功能在下面两种场景中非常有用：

• 将 Rust 嵌入其他语言的时候。在这种情况下 unwinding 很有可能会在语言边界处产生分割故障。
• 当创建类库来管理线程的时候。在这种情况下，最好是将错误通知到客户端而不是停止失败的线程。

值得注意的是，堆栈展开目前是 Rust 处理 panic 的唯一策略，但是未来这种情况会改变。确实，通过一种新的“终止”策略从而避免堆栈展开的成本可能更可取。

新的Rust 版本还提升了两个变量判等时的编译性能。 PR 的提交者 Markus Westerlind 声称在某些情况下提升非常明显，复杂性从 O(n!) 降低到了 O(n)。正如 Westerlind 在 Reddit 上所解释的，尽管 n 通常都非常小，但是代码中细微的差别都有可能使得 n 膨胀。在这些场景下，恰如 Westerlind 的 combine 库所展示的，Rust1.9 在性能上有极大的提升。

此外，Rust1.9 还提升了许多库函数的稳定性，包括网络、编码以及指针处理函数。

如果你想了解更多信息可以查看 Rust1.9 的官方声明。

查看英文原文： Rust 1.9 Improves Error Handling and Compile Time