文章目录
- 0 引入
- 1、可恢复错误
- 2、可恢复错误递归
- 3、不可恢复错误
- 4、kind 方法
- 5、总结
0 引入
Rust 有一套独特的处理异常情况的机制,程序中一般会出现两种错误:可恢复错误和不可恢复错误。
1、可恢复错误的典型案例是文件访问错误,如果访问一个文件失败,有可能是因为它正在被占用,是正常的,我们可以通过等待来解决。但还有一种错误是由编程中无法解决的逻辑错误导致的,例如访问数组末尾以外的位置。
2、大多数编程语言不区分这两种错误,并用 Exception (异常)类来表示错误。在 Rust 中没有 Exception。
3、对于可恢复错误用 Result<T, E> 类来处理,对于不可恢复错误使用 panic! 宏来处理。
1、可恢复错误
此概念十分类似于 Java 编程语言中的异常。实际上在 C 语言中我们就常常将函数返回值设置成整数来表达函数遇到的错误,在 Rust 中通过 Result<T, E> 枚举类作返回值来进行异常表达。
enum Result<T, E> {
Ok(T),
Err(E),
}
//如下使用方法
use std::fs::File;
fn main() {
let f = File::open("hello.txt");
match f {
Ok(file) => {
println!("File opened successfully.");
},
Err(err) => {
println!("Failed to open the file.");
}
}
}
//简化
use std::fs::File;
fn main() {
let f = File::open("hello.txt");
if let Ok(file) = f {
println!("File opened successfully.");
} else {
println!("Failed to open the file.");
}
}
如果想使一个可恢复错误按不可恢复错误处理,Result 类提供了两个办法:unwrap() 和 expect(message: &str) :
use std::fs::File;
fn main() {
let f1 = File::open("hello.txt").unwrap();
let f2 = File::open("hello.txt").expect("Failed to open.");
}
这段程序相当于在 Result 为 Err 时调用 panic! 宏。两者的区别在于 expect 能够向 panic! 宏发送一段指定的错误信息。
2、可恢复错误递归
之前所讲的是接收到错误的处理方式,但是如果我们自己编写一个函数在遇到错误时想传递出去怎么办呢?
//如下代码
fn f(i: i32) -> Result<i32, bool> {
if i >= 0 { Ok(i) }
else { Err(false) }
}
fn main() {
let r = f(10000);
if let Ok(v) = r {
println!("Ok: f(-1) = {}", v);
} else {
println!("Err");
}
}
运行结果为:Ok: f(-1) = 10000
这里修改一下如下:函数 g 传递了函数 f 可能出现的错误
fn g(i: i32) -> Result<i32, bool> {
let t = f(i);
return match t {
Ok(i) => Ok(i),
Err(b) => Err(b)
};
}
//在简洁一点,Rust 中可以在 Result 对象后添加 ? 操作符将同类的 Err 直接传递出去:
fn f(i: i32) -> Result<i32, bool> {
if i >= 0 { Ok(i) }
else { Err(false) }
}
fn g(i: i32) -> Result<i32, bool> {
let t = f(i)?;
Ok(t) // 因为确定 t 不是 Err, t 在这里已经是 i32 类型
}
fn main() {
let r = g(10000);
if let Ok(v) = r {
println!("Ok: g(10000) = {}", v);
} else {
println!("Err");
}
}
运行结果:
Ok: g(10000) = 10000
注意:? 符的实际作用是将 Result 类非异常的值直接取出,如果有异常就将异常 Result 返回出去。所以,? 符仅用于返回值类型为 Result<T, E> 的函数,其中 E 类型必须和 ? 所处理的 Result 的 E 类型一致。
3、不可恢复错误
上面提到不可恢复错误一般用panic!宏来表示,如下代码:
fn main() {
panic!("error occured");
println!("Hello, Rust");
}
说明:
1、很显然,程序并不能如约运行到 println!(“Hello, Rust”) ,而是在 panic! 宏被调用时停止了运行。不可恢复的错误一定会导致程序受到致命的打击而终止运行。
2、Rust在处理不可恢复的错误时候,是可以回溯的,上述代码出现:
thread ‘main’ panicked at ‘error occured’, src\main.rs:3:5
note: run with RUST_BACKTRACE=1
environment variable to display a backtrace.
根据提示使用$env:RUST_BACKTRACE=1 ; cargo run就会定位到错误的地方。
4、kind 方法
到此为止,Rust 似乎没有像 try 块一样可以令任何位置发生的同类异常都直接得到相同的解决的语法,但这样并不意味着 Rust 实现不了:我们完全可以把 try 块在独立的函数中实现,将所有的异常都传递出去解决。实际上这才是一个分化良好的程序应当遵循的编程方法:应该注重独立功能的完整性。但是这样需要判断 Result 的 Err 类型,获取 Err 类型的函数是 kind()。
use std::io;
use std::io::Read;
use std::fs::File;
fn read_text_from_file(path: &str) -> Result<String, io::Error> {
let mut f = File::open(path)?;
let mut s = String::new();
f.read_to_string(&mut s)?;
Ok(s)
}
fn main() {
let str_file = read_text_from_file("hello.txt");
match str_file {
Ok(s) => println!("{}", s),
Err(e) => {
match e.kind() {
io::ErrorKind::NotFound => {
println!("No such file");
},
_ => {
println!("Cannot read the file");
}
}
}
}
}
5、总结
rust中的错误处理原理其实不难,主要在表达上要习惯这种写法!
–