Result
Option enum は、失敗する可能性がある関数からの戻り値として使用でき、失敗を示すために None を返せることを見てきました。しかし、操作が失敗した_理由_を表現することが重要な場合もあります。そのために Result enum があります。
Result<T, E> enum には2つのバリアントがあります。
Ok(value)は操作が成功したことを示し、その操作によって返されたvalueをラップします。(valueの型はTです)Err(why)は操作が失敗したことを示し、失敗の原因を(できれば)説明するwhyをラップします。(whyの型はEです)
mod checked { // 捕捉したい数学的な「エラー」 #[derive(Debug)] pub enum MathError { DivisionByZero, NonPositiveLogarithm, NegativeSquareRoot, } pub type MathResult = Result<f64, MathError>; pub fn div(x: f64, y: f64) -> MathResult { if y == 0.0 { // この操作は `fail` するため、代わりに失敗の理由を // `Err` でラップして返しましょう Err(MathError::DivisionByZero) } else { // この操作は有効なので、結果を `Ok` でラップして返します Ok(x / y) } } pub fn sqrt(x: f64) -> MathResult { if x < 0.0 { Err(MathError::NegativeSquareRoot) } else { Ok(x.sqrt()) } } pub fn ln(x: f64) -> MathResult { if x <= 0.0 { Err(MathError::NonPositiveLogarithm) } else { Ok(x.ln()) } } } // `op(x, y)` === `sqrt(ln(x / y))` fn op(x: f64, y: f64) -> f64 { // これは3段階のmatchピラミッドです! match checked::div(x, y) { Err(why) => panic!("{:?}", why), Ok(ratio) => match checked::ln(ratio) { Err(why) => panic!("{:?}", why), Ok(ln) => match checked::sqrt(ln) { Err(why) => panic!("{:?}", why), Ok(sqrt) => sqrt, }, }, } } fn main() { // これは失敗するでしょうか? println!("{}", op(1.0, 10.0)); }