Rust错误处理:Result

文章目录

Rust基础教程: 初步所有权结构体和枚举类函数进阶泛型和特征并发和线程通信cargo包管理可空类型Option
Rust进阶教程: 用宏实现参数可变的函数类函数宏

简介

Rust中没有提供类似try...catch之类的分支语句块,而是提供了Result这种数据类型,用于处理错误的返回值。和Option类似,Result的实质也是一种枚举类型

rust 复制代码
enum Result<T, E> {
   Ok(T),
   Err(E),
}

下面做一个简单的示例,用Result类型的返回值,来构造一个除法函数,并表示x/0这种问题

rust 复制代码
// res.rs
fn div_err(x:f32, y:f32) -> Result<f32, String>{
    if y==0.0{ Err("DIV BY ZERO".to_string()) } else{ Ok(x/y) }
}

fn main(){
    println!("5/3={:?}", div_err(5.0,3.0));
    println!("5/0={:?}", div_err(5.0,0.0));
}

运行结果如下

rust 复制代码
>res.exe
5/3=Ok(1.6666666)
5/0=Err("DIV BY ZERO")

Rust有一个值得注意的性质,即未处理的Result,会在编译时提出警告,比如把main函数改成下面的形式,那么编译时会给出Result必须被使用的警告。

rust 复制代码
fn main(){
    div_err(5.0,3.0);
}

错误匹配

考虑到Result的本质是枚举类型,所以其常规的处理方式,也就是使用match匹配,相应地,Result也支持un_wrap方法,当Result的返回值是Err时输出直接报错。但另一方面,Result支持多种错误的设置,所以从报错的角度来说,功能显然是更全面的。

仍以除法为例,尽管除数为0时一定要报错,但形如 x / 0 x/0 x/0和 0 / 0 0/0 0/0显然是两种不同的错误。如果为实数添加一个无穷大,那么实数域就可以映射到一个圆形上面,从而 x / 0 x/0 x/0就可以等于 ∞ \infty ∞,但 0 / 0 0/0 0/0仍然是错的。

下面就针对这两种不同的情况,为其设置错误。

rust 复制代码
fn div_err(x:f32, y:f32) -> Result<f32, String>{
    if y==0.0{
        if x==0.0{ Err("DIV ERROR".to_string())}
        else { Err("INF ERROR".to_string()) }
    } else{
        Ok(x/y)
    }
}

fn div_print(x:f32, y:f32){
    match div_err(x, y){
        Ok(res) => println!("{}/{}={}", y, x, res),
        Err(res) => println!("{}", res)
    }
}

fn main(){
    div_print(5.0, 3.0);
    div_print(5.0, 0.0);
    div_print(0.0, 0.0);
}

运行结果如下

rust 复制代码
>res.exe
3/5=1.6666666
INF ERROR
DIV ERROR
相关推荐
你的人类朋友16 小时前
说说签名与验签
后端
databook16 小时前
Manim实现脉冲闪烁特效
后端·python·动效
canonical_entropy19 小时前
AI时代,我们还需要低代码吗?—— 一场关于模型、演化与软件未来的深度问答
后端·低代码·aigc
颜如玉20 小时前
HikariCP:Dead code elimination优化
后端·性能优化·源码
考虑考虑20 小时前
Jpa使用union all
java·spring boot·后端
bobz96521 小时前
virtio vs vfio
后端
Rexi1 天前
“Controller→Service→DAO”三层架构
后端
bobz9651 天前
计算虚拟化的设计
后端
深圳蔓延科技1 天前
Kafka的高性能之路
后端·kafka
Barcke1 天前
深入浅出 Spring WebFlux:从核心原理到深度实战
后端