32_何时使用panic

1. 总体原则

在rust里错误主要分为两类,一类是可恢复的,另一类是不可恢复的,通过调用panic!宏代表该错误不可恢复。通过返回Result则相当于错误进行了传播,而这类错误是可恢复的。

当我们自己写的代码,在某些情况下决定为不可恢复错误的时候,我们可以使用panic!。如果我们写的函数,如果某些情况决定为错误可以恢复,可以返回Resul,这时候将错误的处理权交给了代码的调用者,代码的调用者要根据实际情况决定是否恢复此错误。总结来说如下:

  • 在定义一个可能失败的函数时,优先考虑返回Result
  • 如果某种情况出现的失败失败肯定不可恢复的,就使用panic!

2. 使用panic!的场景如下

  • 演示某些概念:使用unwrap函数,发生错误将使用panic!标记;
  • 原型代码:unwrap、expect函数,在原型代码里还不知道如何错误错误,使用unwrap、expect这类方法将使用panic!标记错误,发生错误时便于跟踪问题;
  • 测试:使用unwrap、expect函数,测试的代码如果出现错误,会被panic!立即停止。

3. 错误处理的指导性建议

当代码最终可能处于损坏状态时,最好使用panic!

损坏状态(bad state)表示某些假设、保证、约定或不可变性被打破,如下列情况都可以被认定为损坏状态:

  • 非法的值、矛盾的值、或者空缺的值被传入了代码
  • 这种状态并不能预测,而是偶尔发生
  • 如果你的代码处于这种状态就无法运行
  • 在你使用的数据类型中没有一个更好的方法来将这些(处于损坏状态)的信息进行编码

如果不理解以上的概述,我们可以参考以下几个建议使用panic!或者返回Resul的场景

  • 当你的代码被调用时,传入了无意义的参数值:panic!
  • 调用外部不可控代码,返回非法状态,你无法修复:panic!
  • 如果失败是可以预期的:Result,比如我们想把一个字符串解析成数字,这时候可能成功,可能失败,是可预期的
  • 当你的代码对某些值进行操作,首先验证这些值的合法性,如果不合法,进行panic!。如果输入数据不合法,往往是因为调用者逻辑出现了问题,也不应该由调用者进行解决,应该就地进行panic!

4. 数据验证逻辑的优化

针对调用者可能传入非法值的情况,我们可以进行逻辑优化,在创建我们需要的数据类型时,我们在构造函数里实现验证逻辑,我们则无需担心接收的值的有效性。如在该系列文章的猜数游戏中,可以有以下逻辑,验证逻辑

rust 复制代码
// ... 前面的逻辑忽略掉
// 先将guess变量转换为整数类型
let guess: i32 = match guess.trim().parse() {
    // 解析正确时将数字返回
    Ok(num) => num,
    // 解析错误时,使用 continue 跳出本次循环,进行下一次循环
    Err(_) => continue,
};

// 验证传入数值必须大于1、小于100
if guess < 1 || guess > 100 {
    println!("The secret number will be between 1 and 100");
    continue;
}

// ... 后面的逻辑忽略掉

我们改为以下逻辑

rust 复制代码
pub struct Guess {
    value: i32,
}

impl Guess {
    // 定义一个关联函数,相当于构造函数
    pub fn new(value: i32) -> Guess {
        if value < 1 || value > 100 {
            panic!("The secret number will be between 1 and 100");
        }

        Guess { value }
    }

    // 定义获取值的方法
    pub fn value(&self) -> i32 {
        self.value
    }
}

fn main() {
    loop {
        // ...省略前面的逻辑

        // 先将guess变量转换为整数类型
        let guess: u32 = match guess.trim().parse() {
            // 解析正确时将数字返回
            Ok(num) => num,
            // 解析错误时,使用 continue 跳出本次循环,进行下一次循环
            Err(_) => continue,
        };

        let guess = Guess::new(guess);

        // ...省略后面的逻辑
    }
}

在以上代码中,我们将解析的数据传入Guess::new,如果不发生panic!,代码数据合法,通过了验证;如果发生了panic!,说明传入数据没有通过验证。使用此方式进行数据,优化了验证的过程,无需把验证的逻辑到处写,提高了代码的可读性。

要注意的是:在上面的Guess结构体中,必须把value属性设置为私有,再通过结构体方法获取属性的数据。我们不允许通过Guess结构体直接修改value的值,在模块外的代码必须使用Guess::new函数来创建Guess的实例。这样能确保value值通过了有效性的检查,通过检查则产生实例,否则则发生panic!

相关推荐
bloxed17 分钟前
前端文件下载多方式集合
前端·filedownload
余生H23 分钟前
前端Python应用指南(三)Django vs Flask:哪种框架适合构建你的下一个Web应用?
前端·python·django
LUwantAC31 分钟前
CSS(四)display和float
前端·css
cwtlw35 分钟前
CSS学习记录20
前端·css·笔记·学习
界面开发小八哥40 分钟前
「Java EE开发指南」如何用MyEclipse构建一个Web项目?(一)
java·前端·ide·java-ee·myeclipse
米奇妙妙wuu1 小时前
react使用sse流实现chat大模型问答,补充css样式
前端·css·react.js
傻小胖1 小时前
React 生命周期完整指南
前端·react.js
梦境之冢2 小时前
axios 常见的content-type、responseType有哪些?
前端·javascript·http
racerun2 小时前
vue VueResource & axios
前端·javascript·vue.js
m0_548514772 小时前
前端Pako.js 压缩解压库 与 Java 的 zlib 压缩与解压 的互通实现
java·前端·javascript