Rust における Box を使ったエラー処理

RustRustBeginner
今すぐ練習

This tutorial is from open-source community. Access the source code

💡 このチュートリアルは英語版からAIによって翻訳されています。原文を確認するには、 ここをクリックしてください

はじめに

この実験では、コードは Box 型を使用してエラーをラップすることで元のエラーを保持し、動的なエラー処理を可能にする方法を示しており、Std ライブラリの From トレイトは、Error トレイトを実装する任意の型をトレイトオブジェクト Box<Error> に変換するのに役立ちます。これには、カスタムエラー型を使用して Box を使ってエラーを変換および処理する例が含まれています。

注: 実験でファイル名が指定されていない場合、好きなファイル名を使用できます。たとえば、main.rs を使用して、rustc main.rs &&./main でコンパイルして実行することができます。


Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/integer_types("Integer Types") rust/DataTypesGroup -.-> rust/string_type("String Type") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("Method Syntax") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99248{{"Rust における Box を使ったエラー処理"}} rust/integer_types -.-> lab-99248{{"Rust における Box を使ったエラー処理"}} rust/string_type -.-> lab-99248{{"Rust における Box を使ったエラー処理"}} rust/function_syntax -.-> lab-99248{{"Rust における Box を使ったエラー処理"}} rust/expressions_statements -.-> lab-99248{{"Rust における Box を使ったエラー処理"}} rust/method_syntax -.-> lab-99248{{"Rust における Box を使ったエラー処理"}} rust/traits -.-> lab-99248{{"Rust における Box を使ったエラー処理"}} rust/operator_overloading -.-> lab-99248{{"Rust における Box を使ったエラー処理"}} end

エラーのボックス化

元のエラーを保持しながらシンプルなコードを書く方法の1つは、それらを「ボックス化」することです。欠点は、潜在的なエラー型が実行時にのみ判明し、静的には決定されないことです。

標準ライブラリは、BoxFrom を介して Error トレイトを実装する任意の型からトレイトオブジェクト Box<Error> への変換を実装することで、エラーのボックス化を支援します。

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

// エイリアスを `Box<error::Error>` に変更します。
type Result<T> = std::result::Result<T, Box<dyn error::Error>>;

#[derive(Debug, Clone)]
struct EmptyVec;

impl fmt::Display for EmptyVec {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f, "invalid first item to double")
    }
}

impl error::Error for EmptyVec {}

fn double_first(vec: Vec<&str>) -> Result<i32> {
    vec.first()
     .ok_or_else(|| EmptyVec.into()) // Boxに変換
     .and_then(|s| {
            s.parse::<i32>()
             .map_err(|e| e.into()) // Boxに変換
             .map(|i| 2 * i)
        })
}

fn print(result: Result<i32>) {
    match result {
        Ok(n) => println!("The first doubled is {}", n),
        Err(e) => println!("Error: {}", e),
    }
}

fn main() {
    let numbers = vec!["42", "93", "18"];
    let empty = vec![];
    let strings = vec!["tofu", "93", "18"];

    print(double_first(numbers));
    print(double_first(empty));
    print(double_first(strings));
}

まとめ

おめでとうございます!あなたは「エラーのボックス化」の実験を完了しました。あなたのスキルを向上させるために、LabExでさらに多くの実験を行って練習することができます。