把错误 “装箱”

如果又想写简单的代码，又想保存原始错误信息，一个方法是把它们装箱（Box）。这 样做的坏处就是，被包装的错误类型只能在运行时了解，而不能被静态地 判别。

对任何实现了 Error trait 的类型，标准库的 Box 通过 From 为它们提供了 到 Box<Error> 的转换。

  1. use std::error;
  2. use std::fmt;
  4. // 为 `Box<error::Error>` 取别名。
  5. type Result<T> = std::result::Result<T, Box<dyn error::Error>>;
  7. #[derive(Debug, Clone)]
  8. struct EmptyVec;
  10. impl fmt::Display for EmptyVec {
  11.     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
  12.         write!(f, "invalid first item to double")
  13.     }
  14. }
  16. impl error::Error for EmptyVec {
  17.     fn description(&self) -> &str {
  18.         "invalid first item to double"
  19.     }
  21.     fn cause(&self) -> Option<&dyn error::Error> {
  22.         // 泛型错误。没有记录其内部原因。
  23.         None
  24.     }
  25. }
  27. fn double_first(vec: Vec<&str>) -> Result<i32> {
  28.     vec.first()
  29.        .ok_or_else(|| EmptyVec.into())  // 装箱
  30.        .and_then(|s| {
  31.             s.parse::<i32>()
  32.                 .map_err(|e| e.into())  // 装箱
  33.                 .map(|i| 2 * i)
  34.         })
  35. }
  37. fn print(result: Result<i32>) {
  38.     match result {
  39.         Ok(n)  => println!("The first doubled is {}", n),
  40.         Err(e) => println!("Error: {}", e),
  41.     }
  42. }
  44. fn main() {
  45.     let numbers = vec!["42", "93", "18"];
  46.     let empty = vec![];
  47.     let strings = vec!["tofu", "93", "18"];
  49.     print(double_first(numbers));
  50.     print(double_first(empty));
  51.     print(double_first(strings));
  52. }

参见：

动态分发 and Error trait