ライフタイム — Rustコンパイラが参照の有効範囲を追跡する仕組み

ライフタイムはRustで最も混乱するコンセプトの1つだ。'aという表記を初めて見ると、何これ？となる。

核心はシンプルだ。「この参照はこの範囲内でのみ有効」とコンパイラに伝えるマーカーである。

なぜ必要か

関数が参照を返す時に問題が発生する。返された参照が入力参照のどれと同じ寿命か、コンパイラが推論できない場合がある。その時'aで「この出力はこの入力と同じ寿命」と明示する。

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str

これは「xとyの短い方の寿命だけ戻り値が有効」という意味だ。

ライフタイム省略ルール（Elision）

Rust 1.0から3つのルールで大半のライフタイムを省略できるようになった。実際に'aを書く場面は思ったより少ない。構造体に参照を入れる時が最も多いケースだ。