Rust の所有権とバローイングの基本

はじめに

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

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

バローイング

ほとんどの場合、データの所有権を取得することなくアクセスしたいと思います。これを達成するために、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 でさらに多くの実験を行って練習してください。