中級

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ループがinto_iter()を呼ぶというのは、Vecだけの特別な規則ではなく、for x in 対象という構文がIntoIteratorというトレイトを実装しているものなら何にでも一律に適用される、糖衣構文だからです。Vec<T>自身がIntoIteratorを実装するとT型の要素を消費しながら生成し、&Vec<T>(参照)も別途IntoIteratorを実装していて、こちらは&T型の要素を借用するだけで生成します。for x in &vecと書くと後者の実装が使われるため所有権が移動しない、という仕組みです。

演習をはじめる

関連するエラー

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