上級

E0507: cannot move out of ... which is behind a shared reference

&で借りている構造体のフィールドを、所有権を要求する関数にそのまま渡そうとするとE0507エラーになります。参照の向こう側にある値は借りているだけなので、勝手に持ち出す（ムーブする）ことはできません。

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

error[E0507]: cannot move out of `wref.value` which is behind a shared reference

E0507

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

cannot move out of `wref.value` which is behind a shared reference

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

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

 1  struct Wrapper { value: String }
 2  fn take(s: String) -> usize { s.len() }
 3  fn main() {
 4      let w = Wrapper { value: String::from("hi") };
 5      let wref = &w;
 6      let len = take(wref.value           );
                                 ^
 7      println!("{}", len);
 8  }

 1  struct Holder { text: String }
 2  fn take(s: String) -> usize { s.len() }
 3  fn main() {
 4      let h = Holder { text: String::from("hello") };
 5      let href = &h;
 6      let len = take(href.text           );
                                 ^
 7      println!("{}", len);
 8  }

 1  struct Box3 { content: String }
 2  fn take(s: String) -> usize { s.len() }
 3  fn main() {
 4      let b = Box3 { content: String::from("item") };
 5      let bref = &b;
 6      let len = take(bref.content           );
                                  ^
 7      println!("{}", len);
 8  }

 1  struct Record { label: String }
 2  fn take(s: String) -> usize { s.len() }
 3  fn main() {
 4      let r = Record { label: String::from("note") };
 5      let rref = &r;
 6      let len = take(rref.label           );
                                 ^
 7      println!("{}", len);
 8  }

 1  struct Entry { name: String }
 2  fn take(s: String) -> usize { s.len() }
 3  fn main() {
 4      let e = Entry { name: String::from("item1") };
 5      let eref = &e;
 6      let len = take(eref.name           );
                                 ^
 7      println!("{}", len);
 8  }

よくある誤解

「参照経由でも、フィールドの値自体はいつでも取り出して使えるはず」という思い込みは誤りです。共有参照の向こうにある値の所有権を奪うと、参照元の構造体が不完全な状態になってしまうため、Rustはこれを禁止します。

まとめ

E0507: cannot move out of ... which is behind a shared referenceは上級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0382: borrow of moved value（ムーブ後の値の使用）の原因と直し方StringやVecのようにCopyトレイトを実装しない値を別の変数に代入すると、所有権が移動（ムーブ）します。
• ジェネリック関数に値を渡すと所有権がムーブされ2回使えないジェネリック型Tを所有権ごと受け取る関数に値を渡すと、Copyを実装していない型の場合は所有権がムーブされます。