上級

E0597: does not live long enough の原因と直し方

ブロックの中で作った値への参照を、そのブロックの外に持ち出そうとするとE0597エラーになります。参照先の値は、参照そのものと同じかそれより長く生存していなければなりません。

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

error[E0597]: `inner` does not live long enough

E0597

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

`inner` does not live long enough

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

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

 1  fn main() {
 2      let outer = 10;
 3      let r;
 4      {
 5          let inner = 5;
 6          r = &inner;
                   ^
 7      }
 8      println!("{}", r);
 9  }

 1  fn main() {
 2      let base = 100;
 3      let r;
 4      {
 5          let temp = 1;
 6          r = &temp;
                  ^
 7      }
 8      println!("{}", r);
 9  }

 1  fn main() {
 2      let global_count = 0;
 3      let r;
 4      {
 5          let local_count = 5;
 6          r = &local_count ;
                      ^
 7      }
 8      println!("{}", r);
 9  }

 1  fn main() {
 2      let outer_id = 7;
 3      let r;
 4      {
 5          let inner_id = 3;
 6          r = &inner_id;
                    ^
 7      }
 8      println!("{}", r);
 9  }

 1  fn main() {
 2      let outer_score = 50;
 3      let r;
 4      {
 5          let inner_score = 9;
 6          r = &inner_score;
                      ^
 7      }
 8      println!("{}", r);
 9  }

よくある誤解

「参照さえ保持していれば、元の値が破棄されても参照経由でアクセスできるはず」という思い込みは誤りです。Rustはダングリング参照（実体が消えた後の参照）を防ぐため、参照先の生存期間を厳密にチェックします。

まとめ

E0597: does not live long enoughは上級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0106: missing lifetime specifier の原因と直し方参照を返す関数で、その参照が複数の引数のどちらに由来するのかコンパイラが判断できない場合、E0106エラーになります。
• E0502: cannot borrow as mutable because it is also borrowed as immutable不変参照が生きている（後で使われる）間に、同じ変数を可変で借用しようとするとE0502エラーになります。