Rust のトレイトを境界として探索する

はじめに

この実験では、Eq トレイトと Copy トレイトを例に、トレイトに機能が含まれていなくても、トレイトを境界としてどのように使用できるかをコードで示します。

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

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/MemorySafetyandManagementGroup(["Memory Safety and Management"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/string_type("String Type") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/MemorySafetyandManagementGroup -.-> rust/lifetime_specifiers("Lifetime Specifiers") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99349{{"テストケース：空の境界"}} rust/string_type -.-> lab-99349{{"テストケース：空の境界"}} rust/function_syntax -.-> lab-99349{{"テストケース：空の境界"}} rust/expressions_statements -.-> lab-99349{{"テストケース：空の境界"}} rust/lifetime_specifiers -.-> lab-99349{{"テストケース：空の境界"}} rust/traits -.-> lab-99349{{"テストケース：空の境界"}} rust/operator_overloading -.-> lab-99349{{"テストケース：空の境界"}} end

テストケース: 空の境界

境界が機能する仕組みの結果として、trait に機能が含まれていなくても、依然として境界として使用できます。Eq と Copy は、std ライブラリにあるそのような trait の例です。

struct Cardinal;
struct BlueJay;
struct Turkey;

trait Red {}
trait Blue {}

impl Red for Cardinal {}
impl Blue for BlueJay {}

// これらの関数は、これらの
// trait を実装する型に対してのみ有効です。trait が空であることは関係ありません。
fn red<T: Red>(_: &T)   -> &'static str { "red" }
fn blue<T: Blue>(_: &T) -> &'static str { "blue" }

fn main() {
    let cardinal = Cardinal;
    let blue_jay = BlueJay;
    let _turkey   = Turkey;

    // 境界のため、`red()` はブルージェイでは機能せず、逆も同様です。
    println!("A cardinal is {}", red(&cardinal));
    println!("A blue jay is {}", blue(&blue_jay));
    //println!("A turkey is {}", red(&_turkey));
    // ^ TODO: この行のコメントを外してみてください。
}

まとめ

おめでとうございます！あなたはテストケース: 空の境界の実験を完了しました。あなたのスキルを向上させるために、LabExでさらに多くの実験を行って練習できます。