改进rust代码的35种具体方法-类型(十八)-不要惊慌

上一篇文章


它看起来非常复杂,这就是为什么它贴合的塑料盖上用大号友好字母印上"不要恐慌"的原因之一。------道格拉斯·亚当斯

此项目的标题将更准确地描述为更喜欢返回Result而不是使用panic! (但不要惊慌更吸引人)。

Rust的panic机制主要是为程序中不可恢复的错误而设计的,默认情况下它会终止发出panic的线程。然而,这个默认值还有其他替代方案。

特别是,来自具有异常系统(如Java或C++)的语言的Rust新手有时会扑向std::panic::catch_unwind作为模拟异常的一种方式,因为它似乎提供了一种在呼叫堆栈更远的点捕获恐慌的机制。

rust 复制代码
fn divide(a: i64, b: i64) -> i64 {
    if b == 0 {
        panic!("Cowardly refusing to divide by zero!");
    }
    a / b
}

尝试用无效输入调用此内容,按预期失败:

rust 复制代码
// Attempt to discover what 0/0 is...
let result = divide(0, 0);

thread 'main' panicked at 'Cowardly refusing to divide by zero!', main.rs:11:9

note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

使用catch_unwind捕捉恐慌的包装器:

rust 复制代码
fn divide_recover(a: i64, b: i64, default: i64) -> i64 {
    let result = std::panic::catch_unwind(|| divide(a, b));
    match result {
        Ok(x) => x,
        Err(_) => default,
    }
}

似乎 工作并模拟catch

rust 复制代码
let result = divide_recover(0, 0, 42);
println!("result = {result}");
rust 复制代码
result = 42

然而,外表可能是欺骗性的。这种方法的第一个问题是,恐慌并不总是解除;有一个编译器选项(也可以通过Cargo.toml 配置文件设置访问),可以转移恐慌行为,以便立即中止该过程:

thread 'main' panicked at 'Cowardly refusing to divide by zero!', main.rs:11:9

note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

/bin/sh: line 1: 29100 Abort trap: 6 cargo run --release

这使得任何模拟异常的尝试完全受制于更广泛的项目设置。同样,一些目标平台(例如WebAssembly)总是在恐慌时中止,无论任何编译器或项目设置如何。

恐慌处理暴露的一个更微妙的问题是异常安全:如果恐慌发生在数据结构操作的中途,它会消除数据结构处于自洽状态的任何保证。众所周知,自20世纪90年代以来,在存在异常的情况下保留内部不变量是非常困难的;1这是谷歌(著名的)禁止在其C++代码中使用异常的主要原因之一。

最后,恐慌传播也与FFI(外部函数接口)边界的相互作用很差;使用catch_unwind防止Rust代码中的恐慌 跨越FFI边界传播到非Rust调用代码

那么,除了恐慌,还有什么办法呢?处理错误条件?对于库代码,最好的替代方法是通过返回带有适当错误类型(Item 4)的Result,使错误成为其他人的问题。这允许库用户自己决定下一步要做什么------这可能涉及将问题传递给行中的下一个调用者,通过?操作符。

责任总有止点,一个有用的经验法则是,恐慌是可以的!(或者unwrap(), expect()等),如果你控制了main;在这一点上,没有进一步的调用者可以将责任传递给。

又一个明智的恐慌!即使在库代码中,在很少遇到错误的情况下也是如此,并且您不希望用户不得不使用.unwrap()调用来丢弃他们的代码。

如果错误情况只是因为(例如)内部数据损坏,而不是由于无效的输入,那么就会引发panic!是合法的。

允许由无效输入触发的恐慌,但此类无效输入不同寻常,这甚至偶尔也是有用的。当相关切入点成对出现时,这效果最佳:

  • 一个"无懈可犯"的版本,其签名意味着它总是成功的(如果它不能成功,就会惊慌失措)
  • 一个"易失"版本,返回一个Result

对于前者,Rust的API指南表明panic!应在内联文档的特定部分中记录。

标准库中的String::from_utf8_uncheckedString::from_utf8入口点是后者的一个例子(尽管在这种情况下,恐慌实际上被推迟到使用由无效输入构造的aString)。

假设您试图遵守本项目中的建议,有几件事需要记住。首先,恐慌可以以不同的形式出现;避免panic!还涉及避免以下内容:

更难发现的是以下东西:

  • slice[index]当指数不在范围之内时
  • x / yy为零时

关于避免恐慌的第二个观察是,一个涉及人类持续警惕的计划从来都不是一个好主意。

然而,对机器的持续警惕是另一回事:在您的持续集成系统中添加检查,以发现新的、可能恐慌的代码要可靠得多。一个简单的版本可能是最常见的恐慌进入点的简单grep(如前所示);更彻底的检查可能涉及来自Rust生态系统的额外工具,例如设置一个构建变体来拉入no_panic板条箱。


1 Tom Cargill1994年在C++报告中的文章探讨了C++模板代码的异常安全有多困难,Herb Sutter的本周大师#8专栏也是如此。


下一篇文章-避免使用反射https://blog.csdn.net/qq_34841911/article/details/139180459

相关推荐
dandanforgetlove23 分钟前
python pdfplumber优化表格提取
开发语言·windows·python
容若只如初见3 小时前
项目实战--Spring Boot + Minio文件切片上传下载
java·spring boot·后端
码农爱java3 小时前
Spring Boot 中的监视器是什么?有什么作用?
java·spring boot·后端·面试·monitor·监视器
爱上电路设计4 小时前
有趣的算法
开发语言·c++·算法
studyForMokey4 小时前
kotlin 函数类型接口lambda写法
android·开发语言·kotlin
Apifox.4 小时前
什么是 HTTP POST 请求?初学者指南与示范
后端·http·学习方法·web
2401_858120265 小时前
探索sklearn文本向量化:从词袋到深度学习的转变
开发语言·python·机器学习
无名指的等待7125 小时前
SpringBoot实现图片添加水印(完整)
java·spring boot·后端
与墨学长6 小时前
Rust破界:前端革新与Vite重构的深度透视(中)
开发语言·前端·rust·前端框架·wasm
虫小宝6 小时前
Java中的软件架构重构与升级策略
java·开发语言·重构