Rust从入门到实战系列一百二十九：从 run 函数中返回错误

通过将剩余的逻辑分离进 run 函数而不是留在 main 中，就可以像示例 12-9 中的 Config::new 那样改进
错误处理。不再通过 expect 允许程序 panic，run 函数将会在出错时返回一个 Result<T, E>。这让我们进
一步以一种对用户友好的方式统一 main 中的错误处理。示例 12-12 展示了 run 签名和函数体中的改变：

use std::env;

use std::fs;

use std::process;

use std::error::Error;
// --snip–

fn main() {

let args: Vec = env::args().collect();

let config = Config::new(&args).unwrap_or_else(|err| {

println!(“Problem parsing arguments: {}”, err);

process::exit(1);

});

println!(“Searching for {}”, config.query);

println!(“In file {}”, config.filename);

run(config);

}

fn run(config: Config) -> Result<(), Box> {
let contents = fs::read_to_string(config.filename)?;
println!(“With text:\n{}”, contents);
Ok(())
}

struct Config {

query: String,

filename: String,

}

impl Config {

fn new(args: &[String]) -> Result<Config, &'static str> {

if args.len() < 3 {

return Err(“not enough arguments”);

}

let query = args[1].clone();

let filename = args[2].clone();

Ok(Config { query, filename })

}

}

修改 run 函数返回 Result
这里我们做出了三个明显的修改。首先，将 run 函数的返回类型变为 Result<(), Box>。之
前这个函数返回 unit 类型 ()，现在它仍然保持作为 Ok 时的返回值。
对于错误类型，使用了 trait 对象 Box（在开头使用了 use 语句将 std:: error:: Error 引入
作用域）。第十七章 会涉及 trait 对象。目前只需知道 Box 意味着函数会返回实现了 Error
trait 的类型，不过无需指定具体将会返回的值的类型。这提供了在不同的错误场景可能有不同类型的错
误返回值的灵活性。这也就是 dyn，它是 ” 动态的”（”dynamic”）的缩写。
第二个改变是去掉了 expect 调用并替换为 第九章 讲到的 ?。不同于遇到错误就 panic!，? 会从函数中返
回错误值并让调用者来处理它。
第三个修改是现在成功时这个函数会返回一个 Ok 值。因为 run 函数签名中声明成功类型返回值是 ()，
这意味着需要将 unit 类型值包装进 Ok 值中。Ok (()) 一开始看起来有点奇怪，不过这样使用 () 是惯用的
做法，表明调用 run 函数只是为了它的副作用；函数并没有返回什么有意义的值。
上述代码能够编译，不过会有一个警告：
$ cargo run the poem.txt
Compiling minigrep v0.1.0 (file:///projects/minigrep)
warning: unused Result that must be used
–> src/main.rs:19:5
|
19 | run(config);
| ^^^^^^^^^^^^
|
= note: #[warn(unused_must_use)] on by default
= note: this Result may be an Err variant, which should be handled
warning: minigrep (bin “minigrep”) generated 1 warning
Finished dev [unoptimized + debuginfo] target(s) in 0.71s
Running target/debug/minigrep the poem.txt
Searching for the
In file poem.txt
With text:
I’m nobody! Who are you?
Are you nobody, too?
Then there’s a pair of us - don’t tell!
They’d banish us, you know.
How dreary to be somebody!
How public, like a frog
To tell your name the livelong day
To an admiring bog!
Rust 提示我们的代码忽略了 Result 值，它可能表明这里存在一个错误。但我们却没有检查这里是否有
一个错误，而编译器提醒我们这里应该有一些错误处理代码！现在就让我们修正这个问题。