中級

for ループで Vec を直接回すと要素がムーブされる

for x in vec のように所有権を持つVecを直接forに渡すと、内部でinto_iter()が呼ばれ各要素の所有権がムーブされます。ループの後で元のVecを使おうとするとE0382エラーになります。

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

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

E0382

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

borrow of moved value: `names`

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

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

 1  fn main() {
 2      let names = vec![String::from("a"), String::from("b")];
 3      for name in names         {
                          ^
 4          println!("{}", name);
 5      }
 6      println!("{}", names.len());
 7  }

 1  fn main() {
 2      let words = vec![String::from("x"), String::from("y")];
 3      for w in words          {
                        ^
 4          println!("{}", w);
 5      }
 6      println!("{}", words.len());
 7  }

 1  fn main() {
 2      let items = vec![String::from("p"), String::from("q")];
 3      for it in items         {
                        ^
 4          println!("{}", it);
 5      }
 6      println!("{}", items.len());
 7  }

 1  fn main() {
 2      let labels = vec![String::from("m"), String::from("n")];
 3      for l in labels         {
                        ^
 4          println!("{}", l);
 5      }
 6      println!("{}", labels.len());
 7  }

 1  fn main() {
 2      let tags = vec![String::from("s"), String::from("t")];
 3      for t in tags          {
                       ^
 4          println!("{}", t);
 5      }
 6      println!("{}", tags.len());
 7  }

よくある誤解

「forループは要素を一時的に借りるだけで、元のコレクションは手つかずのまま残るはず」という思い込みは誤りです。&を付けずにforに渡すと所有権ごと消費されるため、ループ後に使いたい場合は&vecのように参照で渡す必要があります。

まとめ

for ループで Vec を直接回すと要素がムーブされるは中級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0382: borrow of moved value（ムーブ後の値の使用）の原因と直し方StringやVecのようにCopyトレイトを実装しない値を別の変数に代入すると、所有権が移動（ムーブ）します。
• move クロージャに取り込んだ値をクロージャの外で使うと E0382 になるmoveを付けたクロージャは、参照する変数の所有権を丸ごと取り込みます。