动态错误类型

Sometimes we want to allow any type of error to be returned without writing our own enum covering all the different possibilities. The std::error::Error trait makes it easy to create a trait object that can contain any error.

  1. use std::error::Error;
  2. use std::fs;
  3. use std::io::Read;
  4. fn read_count(path: &str) -> Result<i32, Box<dyn Error>> {
  5. let mut count_str = String::new();
  6. fs::File::open(path)?.read_to_string(&mut count_str)?;
  7. let count: i32 = count_str.parse()?;
  8. Ok(count)
  9. }
  10. fn main() {
  11. fs::write("count.dat", "1i3").unwrap();
  12. match read_count("count.dat") {
  13. Ok(count) => println!("Count: {count}"),
  14. Err(err) => println!("Error: {err}"),
  15. }
  16. }

This slide should take about 5 minutes.

read_count 函数可以返回 std::io::Error(通过文件操作)或 std::num::ParseIntError(通过 String::parse)。

Boxing errors saves on code, but gives up the ability to cleanly handle different error cases differently in the program. As such it’s generally not a good idea to use Box<dyn Error> in the public API of a library, but it can be a good option in a program where you just want to display the error message somewhere.

Make sure to implement the std::error::Error trait when defining a custom error type so it can be boxed. But if you need to support the no_std attribute, keep in mind that the std::error::Error trait is currently compatible with no_std in nightly only.