- 定义一个错误类型
- 参见:
- 参见:
定义一个错误类型
前面我们一直使用字符串(String
)作为错误消息。实际上,字符串作为错误类型是存在一些局限的。下面是友好的错误类型标准。字符串(String
)很好地实现了前两点,但无法做到后两点:
Rust 允许自定义错误类型。一般而言,一个“良好”的错误类型:
- 使用相同类型来表达不同的错误
- 给用户提供友好的错误信息
- 方便和其他类型比较
- Good:
Err(EmptyVec)
- Bad:
Err("Please use a vector with at least one element".to_owned())
- Good:
- 能够保存错误的信息(原文:Can hold information about the error.):
- Good:
Err(BadChar(c, position))
- Bad:
Err("+ cannot be used here".to_owned())
- Good:
可以看到字符串(String
)(前面我一们一值在用)可以地满足前两点标准,但后两条无法满足。这使得 String
错误既难以创建,也难以达到要求。仅仅为了优雅地显示,实在不应该使用 String
格式化方式污染大量的逻辑代码(原文:It should not be necessary to pollute logic heavy code with String
formatting simply to display nicely.)。
use std::num::ParseIntError;
use std::fmt;
type Result<T> = std::result::Result<T, DoubleError>;
#[derive(Debug)]
// 定义我们的错误类型。不管对我们的错误处理情况有多重要,这些都可能自定义。
// 现在我们能够按照底层工具的错误实现,写下我们的错误,或者两者之间的内容。
// (原文:Define our error types. These may be customized however is useful for our error
// handling cases. Now we will be able to defer to the underlying tools error
// implementation, write our own errors, or something in between.)
enum DoubleError {
// 我们不需要任何额外的信息来描述这个错误。
EmptyVec,
// 我们将推迟对于这些错误的解析错误的实现。(原文:We will defer to the parse
// error implementation for their error.)提供额外信息将要增加更多针对类型的数据。
Parse(ParseIntError),
}
// 类型的展示方式的和类型的产生方式是完全独立的。我们无需担心显示样式会搞乱我们
// 工具集所需的复杂逻辑。它们是独立的,就是说它们处理起来是相互独立的。
//
// 我们没有存储关于错误的额外信息。若确实想要,比如,要指出哪个字符串无法解析,
// 那么我们不得不修改我们类型来携带相应的信息。
impl fmt::Display for DoubleError {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
match *self {
DoubleError::EmptyVec =>
write!(f, "please use a vector with at least one element"),
// 这是一个 wrapper,所以按照底层类型来给出我们的 `fmt` 实现。
// (原上:This is a wrapper so defer to the underlying types' own implementation
// of `fmt`.)
DoubleError::Parse(ref e) => e.fmt(f),
}
}
}
fn double_first(vec: Vec<&str>) -> Result<i32> {
vec.first()
// 将错误改成我们新的类型。
.ok_or(DoubleError::EmptyVec)
.and_then(|s| s.parse::<i32>()
// 在这里也更新成新的错误类型。
.map_err(DoubleError::Parse)
.map(|i| 2 * i))
}
fn print(result: Result<i32>) {
match result {
Ok(n) => println!("The first doubled is {}", n),
Err(e) => println!("Error: {}", e),
}
}
fn main() {
let numbers = vec!["93", "18"];
let empty = vec![];
let strings = vec!["tofu", "93", "18"];
print(double_first(numbers));
print(double_first(empty));
print(double_first(strings));
}
参见:
Result
和 io::Result