最近发布的Rust 1.9 增加了一个新的异常处理API,让开发者在处理跨线程异常传播的时候能够增加更多的控制。此外新版本还提升了变量判等时的编译性能。
正如前面所提到的, std::panic
增加了一个新的 catch_unwind
API,Rust使用它来处理异常,同时允许开发者更好地控制由异常触发的堆栈展开过程。Rust在这种场景下的哲学是“快速失败”,也就是在展开堆栈之后停止唤起的线程,但是其他线程不受影响,可以继续运行,直到它们试图与出错的线程通信为止,只有当需要与出错的线程通信时才需要做一些恢复工作。通过使用 catch_unwind
,开发者能够捕获panic并将其转换成失败线程中的普通错误:
let result = panic::catch_unwind(|| { panic!("oh no!"); }); assert!(result.is_err());
该功能在下面两种场景中非常有用:
值得注意的是,堆栈展开目前是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