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
相关推荐
一只叫煤球的猫3 小时前
写代码很6,面试秒变菜鸟?不卖课,面试官视角走心探讨
前端·后端·面试
bobz9653 小时前
tcp/ip 中的多路复用
后端
bobz9653 小时前
tls ingress 简单记录
后端
你的人类朋友5 小时前
什么是OpenSSL
后端·安全·程序员
bobz9655 小时前
mcp 直接操作浏览器
后端
前端小张同学7 小时前
服务器部署 gitlab 占用空间太大怎么办,优化思路。
后端
databook7 小时前
Manim实现闪光轨迹特效
后端·python·动效
武子康8 小时前
大数据-98 Spark 从 DStream 到 Structured Streaming:Spark 实时计算的演进
大数据·后端·spark
该用户已不存在8 小时前
6个值得收藏的.NET ORM 框架
前端·后端·.net
文心快码BaiduComate8 小时前
文心快码入选2025服贸会“数智影响力”先锋案例
前端·后端·程序员