演習: Result を使った書き換え
この演習では、2日目に行った式評価器の演習を再訪します。最初の解法では、 起こりうるエラーケース、つまり 0 による除算を無視しています。このエラーケースを 扱い、発生したときにエラーを返すよう、eval を慣用的なエラーハンドリングを 用いる形に書き換えてください。eval のエラー型として使用するためのシンプルな DivideByZeroError 型を用意しています。
// Copyright 2023 Google LLC // SPDX-License-Identifier: Apache-2.0 /// An operation to perform on two subexpressions. #[derive(Debug)] enum Operation { Add, Sub, Mul, Div, } /// An expression, in tree form. #[derive(Debug)] enum Expression { /// An operation on two subexpressions. Op { op: Operation, left: Box<Expression>, right: Box<Expression> }, /// A literal value Value(i64), } #[derive(PartialEq, Eq, Debug)] struct DivideByZeroError; // The original implementation of the expression evaluator. Update this to // return a `Result` and produce an error when dividing by 0. fn eval(e: Expression) -> i64 { match e { Expression::Op { op, left, right } => { let left = eval(*left); let right = eval(*right); match op { Operation::Add => left + right, Operation::Sub => left - right, Operation::Mul => left * right, Operation::Div => if right != 0 { left / right } else { panic!("Cannot divide by zero!"); }, } } Expression::Value(v) => v, } } #[cfg(test)] mod test { use super::*; #[test] fn test_error() { assert_eq!( eval(Expression::Op { op: Operation::Div, left: Box::new(Expression::Value(99)), right: Box::new(Expression::Value(0)), }), Err(DivideByZeroError) ); } #[test] fn test_ok() { let expr = Expression::Op { op: Operation::Sub, left: Box::new(Expression::Value(20)), right: Box::new(Expression::Value(10)), }; assert_eq!(eval(expr), Ok(10)); } }
- ここでの開始コードは、前の演習の解答とまったく同じではありません。 エラーケースがどこにあるかを学生に示すため、明示的な panic を追加しています。 学生が混乱している場合は、この点を指摘してください。