カテゴリ: Rust 更新日: 2026/04/11

Rustの所有権(Ownership)の仕組みを完全ガイド!初心者でもわかるメモリ安全とムーブ

Rustの関数と所有権・借用の基本ルール
Rustの関数と所有権・借用の基本ルール

先生と生徒の会話形式で理解しよう

生徒

「Rustの所有権(Ownership)ってよく聞くんですが、何のためにあるんですか?」

先生

「Rustでは、所有権(Ownership)という仕組みでメモリ管理を行い、ガベージコレクションなしでもメモリ安全を実現できます。これがRustの大きな特徴です。」

生徒

「所有権があると、具体的に何が防げるんですか?」

先生

「例えば、二重解放ダングリングポインタデータ競合などのバグをコンパイル時に防ぎやすくなります。まずは基本ルールから見ていきましょう!」

1. Rustの所有権(Ownership)とは?

1. Rustの所有権(Ownership)とは?
1. Rustの所有権(Ownership)とは?

Rustの所有権(Ownership)は、値(データ)を「誰が持っているか」を明確にし、スコープ(有効範囲)と連動してメモリを安全に管理する仕組みです。C言語やC++のように手動でfreedeleteを呼ばなくても、Rustは所有権のルールに従って自動的にリソースを解放できます。

プログラミングにおいて、メモリ管理は常に大きな課題でした。JavaやPython、Go言語などは「ガベージコレクション(GC)」という仕組みを使い、実行中に不要になったメモリを自動で掃除してくれます。しかし、GCはプログラムを一瞬停止させるなどのコストがかかります。一方でC言語などは、プログラマが自分自身でメモリを管理しますが、これはメモリの解放し忘れや、二重に解放してしまうといった深刻なバグの原因になりやすいのです。

Rustは、これら両方の良いとこ取りを目指した言語です。コンパイル時に所有権という厳しいルールを適用することで、実行時の性能を落とさずに、安全にメモリを管理します。所有権は、単なる機能ではなく、Rustのアイデンティティそのものと言っても過言ではありません。初心者が最初にぶつかる壁と言われることも多いですが、このルールを理解すれば、驚くほど堅牢なプログラムが書けるようになります。

2. 所有権の3つの基本ルールを徹底解説

2. 所有権の3つの基本ルールを徹底解説
2. 所有権の3つの基本ルールを徹底解説

Rustの所有権を理解するためには、以下の3つのルールを暗記するほど意識することが大切です。これらは非常にシンプルですが、Rustコンパイラがチェックする最も重要な指針となります。

  • ルール1:Rustの各値は、所有者(owner)と呼ばれる変数と対応している。
  • ルール2:いかなる時も、所有者は一人(一つの変数)だけである。
  • ルール3:所有者がスコープから外れたら、その値は破棄される。

このルールによって、メモリの二重解放が起こらないことが保証されます。あるデータに対して持ち主が一人しかいないため、その持ち主がいなくなった瞬間にだけ片付けをすれば良いというわけです。このシンプルさが、Rustの高速性と安全性の根源にあります。例えば、文字列を操作する際に、どの変数がその文字列のメモリを管理しているのかを常に意識するようにしましょう。

3. ムーブ(Move)の挙動と変数の代入

3. ムーブ(Move)の挙動と変数の代入
3. ムーブ(Move)の挙動と変数の代入

Rustで変数を別の変数に代入すると、所有権が移動(ムーブ)します。これは他の言語とは大きく異なる点なので、初心者が最も戸惑う部分かもしれません。ヒープ領域にデータを保存するString型を例に見てみましょう。


fn main() {
    let s1 = String::from("hello"); // s1がデータの所有権を持つ
    let s2 = s1; // 所有権がs1からs2に「ムーブ」する

    // println!("{}", s1); // ここでs1を使おうとするとコンパイルエラー!
    println!("{}", s2); // s2は所有権を持っているので利用可能
}

上記のコードで、let s2 = s1;としたとき、s1が持っていたデータへのアクセス権は完全にs2に引き継がれます。そのため、s1は「無効な変数」となり、アクセスできなくなります。これが「ムーブ」という概念です。もしs1もs2も両方有効なままだと、スコープを抜けるときに同じメモリを二回解放しようとしてしまい、プログラムがクラッシュする危険があるため、Rustはこれを禁止しています。

4. 関数の引数と戻り値における所有権の移動

4. 関数の引数と戻り値における所有権の移動
4. 関数の引数と戻り値における所有権の移動

所有権のムーブは、変数への代入だけでなく、関数の引数に値を渡す際にも発生します。関数に値を渡すと、その値の所有権は関数の引数へと移動します。関数が終わると、その変数はスコープを外れるため、データはメモリから消えてしまいます。


fn main() {
    let my_string = String::from("Rust学習中");
    
    take_ownership(my_string); // 所有権が関数内の引数sにムーブ
    
    // println!("{}", my_string); // エラー!my_stringはもう所有権を持っていない
}

fn take_ownership(s: String) {
    println!("関数内での表示: {}", s);
} // ここでsがスコープを抜け、メモリが解放される

この仕組みにより、関数に大きなデータを渡した際、そのデータがいつ消去されるかが明確になります。しかし、関数に値を渡した後に、元の場所でまたその値を使いたいこともありますよね。そのために、関数から戻り値として所有権を「返す」こともできますが、毎回それを書くのは非常に手間がかかります。そこで登場するのが「借用(Borrowing)」という概念です。

5. 参照(References)と借用の基本ルール

5. 参照(References)と借用の基本ルール
5. 参照(References)と借用の基本ルール

所有権を渡さずに値を利用する方法を「借用」と呼びます。これは、変数の前に&(アンパサンド)を付けることで、その値への「参照」を作成する仕組みです。参照を使えば、所有権を移動させずにデータにアクセスできます。


fn main() {
    let s1 = String::from("借用のテスト");
    
    // 参照を渡す(所有権はs1のまま)
    let len = calculate_length(&s1);
    
    println!("'{}' の長さは {} です。", s1, len); // s1は引き続き使用可能
}

fn calculate_length(s: &String) -> usize {
    s.len()
} // sは参照なので、ここを抜けても元のデータは消えない

借用には重要なルールがあります。それは「不変の参照(&T)はいくらでも作れるが、可変の参照(&mut T)は同時に一つしか作れない」ということです。さらに、可変の参照があるときは、不変の参照も作れません。これは、データの読み書きが同時に行われることによるデータ競合を完全に防ぐための強力な制約です。

6. 可変の参照(Mutable References)による値の変更

6. 可変の参照(Mutable References)による値の変更
6. 可変の参照(Mutable References)による値の変更

借用したデータを、借用先で書き換えたい場合は&mutを使います。これには、元の変数がmutキーワード付きで定義されている必要があります。


fn main() {
    let mut greeting = String::from("こんにちは");
    
    change_string(&mut greeting);
    
    println!("変更後の挨拶: {}", greeting);
}

fn change_string(some_string: &mut String) {
    some_string.push_str("、世界!");
}

実行結果は以下の通りになります。


変更後の挨拶: こんにちは、世界!

この機能は非常に便利ですが、先述した「一度に一つの可変参照」というルールによって、複数の場所から同時にデータを書き換えることはできません。一見不便に思えるかもしれませんが、これが原因で起こる「なぜかデータが意図せず書き換わっている」という難しいデバッグから、Rustはあなたを解放してくれます。

7. モジュール(Modules)での関数管理と公開設定

7. モジュール(Modules)での関数管理と公開設定
7. モジュール(Modules)での関数管理と公開設定

プログラムが大きくなると、関数を整理するために「モジュール(Module)」が必要になります。Rustではmodキーワードを使ってコードをグループ化できます。デフォルトではモジュール内の関数は「非公開(private)」であり、外部から使うにはpubキーワードが必要です。


mod garden {
    // pubを付けないと外部(mainなど)から呼べない
    pub fn plant_flower() {
        println!("花を植えました!");
    }

    fn water_flower() {
        println!("水をあげました。");
    }
}

fn main() {
    // モジュール名::関数名 で呼び出す
    garden::plant_flower();
    
    // garden::water_flower(); // エラー!非公開関数にはアクセスできない
}

モジュールを使うことで、機能ごとにコードを分けることができ、可読性が向上します。また、所有権や借用のルールは、モジュールをまたいで関数を呼び出す際も全く同じように適用されます。モジュール構造を学ぶことは、Rustで大規模なアプリケーションを構築するための第一歩です。

8. スライス(Slices)と所有権の関係

8. スライス(Slices)と所有権の関係
8. スライス(Slices)と所有権の関係

所有権を持たないもう一つのデータ型として「スライス」があります。スライスは、コレクション全体ではなく、その中の一部分だけを参照するための仕組みです。文字列スライス(&str)などが代表的です。


fn main() {
    let s = String::from("hello world");

    let hello = &s[0..5]; // 0文字目から5文字目未満の参照
    let world = &s[6..11];

    println!("最初の単語: {}", hello);
    println!("次の単語: {}", world);
}

スライスも参照の一種であるため、スライスが有効な間は、元のデータを変更したり破棄したりすることはできません。Rustは「今、誰がどの部分を使っているか」を常に監視しているのです。これにより、配列の範囲外アクセスや、無効なメモリ領域への参照といったリスクを徹底的に排除しています。スライスの理解は、Rustの効率的なメモリ操作をマスターする鍵となります。

9. ダングリングポインタを防ぐライフタイムの概念

9. ダングリングポインタを防ぐライフタイムの概念
9. ダングリングポインタを防ぐライフタイムの概念

最後に、所有権に関連する少し高度な概念として「ライフタイム」に触れておきます。ライフタイムとは、参照が有効である期間のことです。Rustは、データが消えた後にその場所を指し示し続ける「ダングリングポインタ(吊り下げポインタ)」が発生しないことを保証します。

例えば、ある関数の中で作った変数の参照を、関数の外に返そうとするとコンパイルエラーになります。なぜなら、関数が終わった瞬間に変数の実体(所有権を持つもの)が消えてしまうため、その参照は「何も指していない無効なもの」になってしまうからです。他の言語では実行時にエラーになったり、おかしな値を読み取ったりする原因になりますが、Rustはこれをコンパイルの段階で「それは危険だ!」と教えてくれます。

この厳密さこそが、Rustが「システムプログラミング言語」として信頼されている最大の理由です。所有権、借用、スライス、そしてライフタイム。これら一連の仕組みを学ぶことで、あなたは真に安全で高速なコードを書くスキルを身につけることができるでしょう。まずは小さなコードから書いて、コンパイラと対話しながら慣れていくのが一番の近道です。

カテゴリの一覧へ
新着記事
New1
C++
C++のinline関数(インライン関数)とは?高速化のメリットと注意点を初心者向けに解説
New2
C++
【C++の魅力と学習ロードマップ】初心者がゼロから理解するC++の世界
New3
C++
C++の得意分野をわかりやすく解説!システム開発・ゲーム開発・組込み・金融システムの世界
New4
Rust
Rustの所有権(Ownership)の仕組みを完全ガイド!初心者でもわかるメモリ安全とムーブ
人気記事
No.1
Java&Spring記事人気No1
C言語
C言語を学ぶ初心者におすすめの環境構築手順【2025年版】
No.2
Java&Spring記事人気No2
C言語
Visual Studio CodeでC言語を実行する方法【拡張機能の設定と実行手順】
No.3
Java&Spring記事人気No3
C言語
LinuxでC言語開発環境を構築する方法【GCCとMakefileの基本】
No.4
Java&Spring記事人気No4
C言語
C言語開発でよく使われるエディタとIDEランキング【初心者向け完全ガイド】
No.5
Java&Spring記事人気No5
C言語
C言語のソースコードとヘッダファイルの役割とは?初心者向けにわかりやすく解説!
No.6
Java&Spring記事人気No6
C言語
C言語の配列と文字列の基本を完全ガイド!初心者でもわかる宣言と使い方
No.7
Java&Spring記事人気No7
C++
MinGWとMSYS2でWindowsにC++環境を構築する方法を徹底解説!初心者でもできるセットアップガイド
No.8
Java&Spring記事人気No8
C++
Makefileの基本構文とターゲット定義を初心者向けに解説