Rust プログラミング | Where 句 | 表現力豊かな境界

はじめに

この実験では、Rust の where 句を使って、ジェネリック型の境界を宣言とは別に表現できることを学びます。これにより、構文が明確になり、型パラメータに限らず、任意の型に境界を適用することもできます。PrintInOption トレイトを含む例に示すように、境界が通常の構文よりも表現力がある場合、where 句は特に役に立ちます。

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

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/MemorySafetyandManagementGroup(["Memory Safety and Management"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/type_casting("Type Conversion and Casting") 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/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99351{{"Where 句を使った表現力豊かな Rust のジェネリクス"}} rust/type_casting -.-> lab-99351{{"Where 句を使った表現力豊かな Rust のジェネリクス"}} rust/function_syntax -.-> lab-99351{{"Where 句を使った表現力豊かな Rust のジェネリクス"}} rust/expressions_statements -.-> lab-99351{{"Where 句を使った表現力豊かな Rust のジェネリクス"}} rust/lifetime_specifiers -.-> lab-99351{{"Where 句を使った表現力豊かな Rust のジェネリクス"}} rust/method_syntax -.-> lab-99351{{"Where 句を使った表現力豊かな Rust のジェネリクス"}} rust/traits -.-> lab-99351{{"Where 句を使った表現力豊かな Rust のジェネリクス"}} rust/operator_overloading -.-> lab-99351{{"Where 句を使った表現力豊かな Rust のジェネリクス"}} end

where句

境界は、型の最初の言及の直前ではなく、開き括弧 { の直前に where 句を使っても表現できます。また、where 句は型パラメータに限らず、任意の型に境界を適用することができます。

where 句が役に立ついくつかのケース:

ジェネリック型と境界を別々に指定する方が明確な場合:

impl <A: TraitB + TraitC, D: TraitE + TraitF> MyTrait<A, D> for YourType {}

// where句を使って境界を表現する
impl <A, D> MyTrait<A, D> for YourType where
    A: TraitB + TraitC,
    D: TraitE + TraitF {}

where 句を使う方が通常の構文を使うよりも表現力がある場合。この例の impl は、where 句なしでは直接表現できません:

use std::fmt::Debug;

trait PrintInOption {
    fn print_in_option(self);
}

// そうでなければ、これを `T: Debug` として表現しなければならないか、
// 別の間接的なアプローチを使う必要があるため、where句が必要になります:
impl<T> PrintInOption for T where
    Option<T>: Debug {
    // 出力されるのは `Option<T>: Debug` なので、これを境界として使います。
    // そうでなければ、誤った境界を使っています。
    fn print_in_option(self) {
        println!("{:?}", Some(self));
    }
}

fn main() {
    let vec = vec![1, 2, 3];

    vec.print_in_option();
}

まとめ

おめでとうございます！あなたはWhere Clausesの実験を完了しました。あなたのスキルを向上させるために、LabExでさらに実験を行って練習することができます。