基本錯誤報告和處理

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> 僅用作返回值。 （ 舊的討論。 ）