初級

E0382: borrow of moved value（ムーブ後の値の使用）の原因と直し方

StringやVecのようにCopyトレイトを実装しない値を別の変数に代入すると、所有権が移動（ムーブ）します。ムーブ後に元の変数を使おうとすると、コンパイル時にE0382エラーになります。

エラーメッセージの読み方

error[E0382]: borrow of moved value: `s1`

E0382

エラーコード — `rustc --explain E0382` で詳しい説明が見られます

borrow of moved value: `s1`

詳細メッセージ — 何が問題だったか

このエラーが出る典型パターン

 1  fn main() {
 2      let s1 = String::from("hello");
 3      let s2 = s1           ;
                       ^
 4      println!("{} {}", s1, s2);
 5  }

 1  fn main() {
 2      let name1 = String::from("taro");
 3      let name2 = name1           ;
                            ^
 4      println!("{} {}", name1, name2);
 5  }

 1  fn main() {
 2      let title = String::from("report");
 3      let copy = title           ;
                           ^
 4      println!("{} {}", title, copy);
 5  }

 1  fn main() {
 2      let label = String::from("final");
 3      let backup = label           ;
                             ^
 4      println!("{} {}", label, backup);
 5  }

 1  fn main() {
 2      let word = String::from("guide");
 3      let alt = word           ;
                         ^
 4      println!("{} {}", word, alt);
 5  }

よくある誤解

「代入は値のコピーだから、元の変数もそのまま使えるはず」という思い込みは誤りです。Copyを実装しない型の代入は所有権の移動であり、元の変数はその時点で無効になります。

まとめ

E0382: borrow of moved value（ムーブ後の値の使用）の原因と直し方は初級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• for ループで Vec を直接回すと要素がムーブされるfor x in vec のように所有権を持つVecを直接forに渡すと、内部でinto_iter()が呼ばれ各要素の所有権がムーブされます。
• E0507: cannot move out of ... which is behind a shared reference&で借りている構造体のフィールドを、所有権を要求する関数にそのまま渡そうとするとE0507エラーになります。