中級

E0106: missing lifetime specifier の原因と直し方

参照を返す関数で、その参照が複数の引数のどちらに由来するのかコンパイラが判断できない場合、E0106エラーになります。ライフタイム注釈を付けて、戻り値の参照がどの引数と同じ生存期間なのかを明示する必要があります。

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

error[E0106]: missing lifetime specifier

E0106

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

missing lifetime specifier

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

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

 1  fn longer(a: &str, b: &str) -> &str {             
                             ^
 2      if a.len() > b.len() { a } else { b }
 3  }
 4  
 5  fn main() {
 6      println!("{}", longer("hi", "hello"));
 7  }

 1  fn shorter(x: &str, y: &str) -> &str {             
                             ^
 2      if x.len() < y.len() { x } else { y }
 3  }
 4  
 5  fn main() {
 6      println!("{}", shorter("abc", "de"));
 7  }

 1  fn pick(first: &str, second: &str) -> &str {             
                                ^
 2      if first.len() >= second.len() { first } else { second }
 3  }
 4  
 5  fn main() {
 6      println!("{}", pick("aa", "b"));
 7  }

 1  fn choose(left: &str, right: &str) -> &str {             
                                ^
 2      if left.len() == right.len() { left } else { right }
 3  }
 4  
 5  fn main() {
 6      println!("{}", choose("xy", "zz"));
 7  }

 1  fn max_str(p: &str, q: &str) -> &str {             
                             ^
 2      if p.len() > q.len() { p } else { q }
 3  }
 4  
 5  fn main() {
 6      println!("{}", max_str("a", "bb"));
 7  }

よくある誤解

「関数の中で辻褄が合っていれば、参照の生存期間はコンパイラが自動的に推論してくれるはず」という思い込みは誤りです。複数の引数から参照を返す可能性がある場合、コンパイラは自力で判断できず、明示的なライフタイム注釈を要求します。

まとめ

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

演習をはじめる

関連するエラー

• E0597: does not live long enough の原因と直し方ブロックの中で作った値への参照を、そのブロックの外に持ち出そうとするとE0597エラーになります。
• E0502: cannot borrow as mutable because it is also borrowed as immutable不変参照が生きている（後で使われる）間に、同じ変数を可変で借用しようとするとE0502エラーになります。