上級

ジェネリック関数に値を渡すと所有権がムーブされ2回使えない

ジェネリック型Tを所有権ごと受け取る関数に値を渡すと、Copyを実装していない型の場合は所有権がムーブされます。同じ値をもう一度渡そうとするとE0382エラーになります。

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

error[E0382]: use of moved value: `data`

E0382

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

use of moved value: `data`

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

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

 1  fn consume<T>(items: Vec<T>) -> usize {
 2      items.len()
 3  }
 4  fn main() {
 5      let data = vec![1, 2, 3];
 6      let a = consume(data         );
                              ^
 7      let b = consume(data);
 8      println!("{} {}", a, b);
 9  }

 1  fn process<T>(items: Vec<T>) -> usize {
 2      items.len()
 3  }
 4  fn main() {
 5      let list = vec!["a", "b"];
 6      let a = process(list         );
                              ^
 7      let b = process(list);
 8      println!("{} {}", a, b);
 9  }

 1  fn handle<T>(items: Vec<T>) -> usize {
 2      items.len()
 3  }
 4  fn main() {
 5      let bag = vec![1.0, 2.0];
 6      let a = handle(bag         );
                             ^
 7      let b = handle(bag);
 8      println!("{} {}", a, b);
 9  }

 1  fn summarize<T>(items: Vec<T>) -> usize {
 2      items.len()
 3  }
 4  fn main() {
 5      let records = vec![10, 20, 30];
 6      let a = summarize(records         );
                                  ^
 7      let b = summarize(records);
 8      println!("{} {}", a, b);
 9  }

 1  fn tally<T>(items: Vec<T>) -> usize {
 2      items.len()
 3  }
 4  fn main() {
 5      let entries = vec!["x", "y", "z"];
 6      let a = tally(entries         );
                              ^
 7      let b = tally(entries);
 8      println!("{} {}", a, b);
 9  }

よくある誤解

「関数に渡すだけなら、値はコピーされて呼び出し元にも残るはず」という思い込みは誤りです。所有権を引数として受け取る関数（&Tではなく単なるT）に渡すと、Copyを実装しない型は消費され尽くします。

まとめ

ジェネリック関数に値を渡すと所有権がムーブされ2回使えないは上級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0382: borrow of moved value（ムーブ後の値の使用）の原因と直し方StringやVecのようにCopyトレイトを実装しない値を別の変数に代入すると、所有権が移動（ムーブ）します。
• for ループで Vec を直接回すと要素がムーブされるfor x in vec のように所有権を持つVecを直接forに渡すと、内部でinto_iter()が呼ばれ各要素の所有権がムーブされます。