Rustプログラミング |?演算子を使ったオプションの展開

はじめに

この実験では、Rust の ? 演算子の使用方法を調べます。この演算子を使うと、ネストした match 文を必要とせずに、Option 値を簡単に展開できます。Option が Some の場合、? 演算子を使ってすぐにその値を返すことができます。また、Option が None の場合、関数を終了して None を返します。この演算子を連鎖させることで、コードをより読みやすく簡潔にすることができます。

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

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/MemorySafetyandManagementGroup(["Memory Safety and Management"]) rust(("Rust")) -.-> rust/ErrorHandlingandDebuggingGroup(["Error Handling and Debugging"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/integer_types("Integer Types") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/MemorySafetyandManagementGroup -.-> rust/lifetime_specifiers("Lifetime Specifiers") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("Method Syntax") rust/ErrorHandlingandDebuggingGroup -.-> rust/error_propagation("Error Propagation") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99235{{"?を使ったオプションの展開"}} rust/integer_types -.-> lab-99235{{"?を使ったオプションの展開"}} rust/function_syntax -.-> lab-99235{{"?を使ったオプションの展開"}} rust/expressions_statements -.-> lab-99235{{"?を使ったオプションの展開"}} rust/lifetime_specifiers -.-> lab-99235{{"?を使ったオプションの展開"}} rust/method_syntax -.-> lab-99235{{"?を使ったオプションの展開"}} rust/error_propagation -.-> lab-99235{{"?を使ったオプションの展開"}} rust/traits -.-> lab-99235{{"?を使ったオプションの展開"}} rust/operator_overloading -.-> lab-99235{{"?を使ったオプションの展開"}} end

`?` を使った `Option` の展開

match 文を使って Option を展開することができますが、? 演算子を使う方が多くの場合簡単です。x が Option である場合、x? を評価すると、x が Some の場合にはその値を返し、そうでない場合には実行中の関数を終了して None を返します。

fn next_birthday(current_age: Option<u8>) -> Option<String> {
    // `current_age` が `None` の場合、これは `None` を返します。
    // `current_age` が `Some` の場合、内側の `u8` が `next_age` に代入されます
    let next_age: u8 = current_age? + 1;
    Some(format!("Next year I will be {}", next_age))
}

コードの読みやすさを大幅に向上させるために、複数の ? を連鎖させることができます。

struct Person {
    job: Option<Job>,
}

#[derive(Clone, Copy)]
struct Job {
    phone_number: Option<PhoneNumber>,
}

#[derive(Clone, Copy)]
struct PhoneNumber {
    area_code: Option<u8>,
    number: u32,
}

impl Person {

    // 存在する場合、その人の仕事の電話番号の地域コードを取得します。
    fn work_phone_area_code(&self) -> Option<u8> {
        // `?` 演算子がない場合、これには多数のネストした `match` 文が必要になります。
        // もっと多くのコードが必要になります - 自分で書いてみて、どちらが簡単かを比較してみてください。
        self.job?.phone_number?.area_code
    }
}

fn main() {
    let p = Person {
        job: Some(Job {
            phone_number: Some(PhoneNumber {
                area_code: Some(61),
                number: 439222222,
            }),
        }),
    };

    assert_eq!(p.work_phone_area_code(), Some(61));
}

まとめ

おめでとうございます！「? を使った Option の展開」の実験を完了しました。技術力を向上させるために、LabEx でさらに多くの実験を行って練習してください。

?を使ったオプションの展開

はじめに

Skills Graph

? を使った Option の展開

まとめ

`?` を使った `Option` の展開