基本错误报告和处理

Result<T, E> 是 enum 类型，它有两个变体：Ok(T) 表示成功执行 T 类型的有意义结果，Err(E) 表示执行期间发生意外错误，由 E 类型的值描述。

enum DateError {
    InvalidDay,
    InvalidMonth,
}

struct Date {
    day: u8,
    month: u8,
    year: i16,
}

fn validate(date: &Date) -> Result<(), DateError> {
    if date.month < 1 || date.month > 12 {
        Err(DateError::InvalidMonth)
    } else if date.day < 1 || date.day > 31 {
        Err(DateError::InvalidDay)
    } else {
        Ok(())
    }
}

fn add_days(date: Date, days: i32) -> Result<Date, DateError> {
    validate(&date)?; // notice `?` -- returns early on error
    // the date logic ...
    Ok(date)
}

有关 ? 运算符的更多详细信息，另请参阅 docs 。

标准库包含 Error 特征 ，建议使用所有错误类型。下面给出一个示例实现。

use std::error::Error;
use std::fmt;

#[derive(Debug)]
enum DateError {
    InvalidDay(u8),
    InvalidMonth(u8),
}

impl fmt::Display for DateError {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        match self {
            &DateError::InvalidDay(day) => write!(f, "Day {} is outside range!", day),
            &DateError::InvalidMonth(month) => write!(f, "Month {} is outside range!", month),
        }
    }
}

impl Error for DateError {
    fn description(&self) -> &str {
        match self {
            &DateError::InvalidDay(_) => "Day is outside range!",
            &DateError::InvalidMonth(_) => "Month is outside range!",
        }
    }

    // cause method returns None by default
}

注意： 通常，Option<T> 不应用于报告错误。Option<T> 表示不存在值的预期可能性和单个直接原因。相反，Result<T, E> 用于报告执行期间的意外错误，尤其是当存在多种故障模式以区分它们时。此外，Result<T, E> 仅用作返回值。 （ 旧的讨论。 ）