Rust のバローイング概念 | プログラミングチュートリアル

はじめに

この実験では、Rust におけるバローイングについて学びます。これは、値渡し（T）ではなく参照（&T）を使ってオブジェクトの所有権を取得せずにデータにアクセスできるようにします。バローチェッカーは、参照が常に有効なオブジェクトを指すことを保証し、借用中のオブジェクトの破壊を防止します。

注：実験でファイル名が指定されていない場合、好きなファイル名を使うことができます。たとえば、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/MemorySafetyandManagementGroup(["Memory Safety and Management"]) 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/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/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99198{{"Rust の所有権とバローイングの基本"}} rust/integer_types -.-> lab-99198{{"Rust の所有権とバローイングの基本"}} rust/function_syntax -.-> lab-99198{{"Rust の所有権とバローイングの基本"}} rust/expressions_statements -.-> lab-99198{{"Rust の所有権とバローイングの基本"}} rust/lifetime_specifiers -.-> lab-99198{{"Rust の所有権とバローイングの基本"}} rust/method_syntax -.-> lab-99198{{"Rust の所有権とバローイングの基本"}} rust/operator_overloading -.-> lab-99198{{"Rust の所有権とバローイングの基本"}} end

バローイング

ほとんどの場合、データの所有権を取得することなくアクセスしたいと思います。これを達成するために、Rust は バローイング メカニズムを使用します。値渡し（T）ではなく、参照（&T）を使ってオブジェクトを渡すことができます。

コンパイラは静的に（バローチェッカーを通じて）参照が常に有効なオブジェクトを指すことを保証します。つまり、オブジェクトへの参照が存在する間、そのオブジェクトを破棄することはできません。

// この関数はボックスの所有権を取得して破棄します
fn eat_box_i32(boxed_i32: Box<i32>) {
    println!("Destroying box that contains {}", boxed_i32);
}

// この関数は i32 を借用します
fn borrow_i32(borrowed_i32: &i32) {
    println!("This int is: {}", borrowed_i32);
}

fn main() {
    // ボックス化された i32 とスタック上の i32 を作成します
    let boxed_i32 = Box::new(5_i32);
    let stacked_i32 = 6_i32;

    // ボックスの内容を借用します。所有権は取得されず、
    // したがって内容を再度借用できます。
    borrow_i32(&boxed_i32);
    borrow_i32(&stacked_i32);

    {
        // ボックス内に含まれるデータへの参照を取得します
        let _ref_to_i32: &i32 = &boxed_i32;

        // エラー！
        // スコープ内で内部値が借用されている間、`boxed_i32` を破棄することはできません。
        eat_box_i32(boxed_i32);
        // FIXME ^ この行をコメントアウトしてください

        // 内部値が破棄された後に `_ref_to_i32` を借用しようとする
        borrow_i32(_ref_to_i32);
        // `_ref_to_i32` はスコープ外になり、もはや借用されていません。
    }

    // `boxed_i32` は現在、`eat_box` に所有権を譲ることができ、破棄されます
    eat_box_i32(boxed_i32);
}

まとめ

おめでとうございます！あなたはバローイングの実験を完了しました。あなたのスキルを向上させるために、LabEx でさらに多くの実験を行って練習してください。