总体原则

  • 在定义一个可能失败的函数时，优先考虑返回 Result

  • 否则就 panic!

    编写示例、原型代码、测试

  • 可以使用panic!

    • 演示某些概念：unwrap
    • 原型代码：unwrap、expect
    • 测试：unwrap、expect

      有时你比编译器掌握更多的信息

  • 你可以确定 Result 就是 Ok: unwrap ```rust use std::net::IpAddr;

fn main() { let home: IpAddr = “127.0.0.1”.parse().unwrap(); }

  1. <a name="vXsSf"></a>
  2. ### 错误处理的指导性建议
  4. - 当代码最终可能处于损坏状态时，最好使用 panic!
  5. - 损坏状态(Bad state): 某些假设、保证、约定或不可变性被打破
  6.    - 例如非法的值、矛盾的值或空缺的值被传入代码
  7.    - 以及下列中的一条
  8.       - 这种损坏状态并不是预期能够偶尔发生的事情
  9.       - 在此之后，您的代码如果处于这种损坏状态就无法运行
  10.       - 在你使用的类型中没有一个好的办法将这些信息(处于损坏状态)进行编码
  11. <a name="Oq7fk"></a>
  12. ### 场景建议
  14. - 调用你的代码，传入无意义的参数值：panic!
  15. - 调用外部不可控代码，返回非法状态，你无法修复：panic!
  16. - 如果失败是可预期的：Result
  17. - 当你的代码对值进行操作，首先应该验证这些值：panic!
  18. <a name="aSSaP"></a>
  19. ### 为验证创建自定义类型
  20. 之前的猜数游戏
  21. ```rust
  22. use rand::Rng; // trait 接口定义了随机数生成器需要的方法
  23. use std::cmp::Ordering;
  24. use std::io; // prelude
  26. fn main() {
  27.     println!("猜数!");
  28.     let secret_number = rand::thread_rng().gen_range(1..101); // i32 u32 i64
  29.     loop {
  30.         println!("猜测一个数");
  31.         let mut guess = String::new();
  32.         io::stdin().read_line(&mut guess).expect("无法读取行");
  33.         // shadow
  34.         // let guess: u32 = guess.trim().parse().expect("请输入一个数字");
  35.         let guess: i32 = match guess.trim().parse() {
  36.             Ok(num) => num,
  37.             Err(_) => continue,
  38.         };
  39.         if guess < 1 || guess > 100 {
  40.             println!("The guess number will be between 1 and 100.");
  41.             continue;
  42.         }
  43.         println!("你猜测的数是: {}", guess);
  44.         match guess.cmp(&secret_number) {
  45.             Ordering::Less => println!("Too small!"), // arm
  46.             Ordering::Greater => println!("To big!"),
  47.             Ordering::Equal => {
  48.                 println!("You win!");
  49.                 break;
  50.             }
  51.         }
  52.     }
  53. }
  • 创建新的类型，把验证逻辑放在构造实例的函数里
  • getter: 返回字段数据
    • 字段是私有的：外部无法直接对字段赋值 ```rust use rand::Rng; use std::cmp::Ordering; use std::io;

pub struct Guess { value: i32, }

impl Guess { pub fn new(value: i32) -> Guess { if value < 1 || value > 100 { panic!(“Guess value must be between 1 and 100, got {}”, value); } Guess { value } } pub fn value(&self) -> i32 { self.value } }

fn main() { println!(“猜数!”); let secretnumber = rand::thread_rng().gen_range(1..101); loop { println!(“猜测一个数”); let mut guess = String::new(); io::stdin().read_line(&mut guess).expect(“无法读取行”); let guess: i32 = match guess.trim().parse() { Ok(num) => num, Err() => continue, }; // 如果能成功创建实例，说明它通过了验证，如果发生 panic 说明它没有通过验证 let guess = Guess::new(guess); println!(“你猜测的数是: {}”, guess.value); match guess.value.cmp(&secret_number) { Ordering::Less => println!(“Too small!”), // arm Ordering::Greater => println!(“To big!”), Ordering::Equal => { println!(“You win!”); break; } } } } ``` https://docs.rs/rand/0.8.3/rand/trait.Rng.html#method.gen_range