ライフタイムの基本概念

参照（レファレンス）がメモリ上において有効である期間を指す概念です。Rustでは、変数の生存範囲（スコープ）と参照の有効期限をコンパイル時に厳密に検証する仕組みが組み込まれています。garbage collection方式とは異なり、実行時のオーバーヘッドを排除しつつ所有権モデルを補完するために設計されています。

ライフタイム注釈が必要な理由

関数が複数の参照引数を受け取り、そのいずれかを返却する場合、コンパイラは自動的に入力間のカッコから「どちらの参照が戻り値の寿命を決定するか」を導き出せません。明確な依存関係が定義されていない状態では、不正なメモリアクセスを防ぐためにコンパイルエラーとなります。この問題を解決するため、関連する参照同士に共通の生存期間制約を付与する必要があります。

fn select_longer_content(src_a: &'a str, tgt_b: &'a str) -> &'a str {
    if src_a.len() > tgt_b.len() {
        src_a
    } else {
        tgt_b
    }
}

上記の`&'a`表記は、両方の引数および戻り値が同一のライフタイム制約を満たすことを宣言しています。`<'a>`の構文は、該当地関数が特定のスコープ制約パラメータを利用していることを示します。

データ構造への適用

構造体や列挙型が参照フィールドを内部に持つ場合、その定義自体にもライフタイム注釈が必須となります。これは、生成されたインスタンスが保持する参照先のデータよりも、構造体自身が長時間存続する必要があるためです。

struct AppConfig<'a> {
    db_endpoint: &'a str,
    max_retries: u8,
}

enum AssetKind<'a> {
    LocalPath(&'a str),
    StreamBuffer(Vec<u8>),
}

fn get_default_lang() -> &str {
    "en-US"
}

`AppConfig`と`AssetKind`は参照を含んでいるため`<'a>`の指定が強制されます。一方で`get_default_lang`関数は固定されたスライスを単純に返却しており、コンパイラが推論可能なため注釈が不要です。

ライフタイム省略則（Elision Rules）

Rustの borrow checker は特定のコードパターンに対し、明示的な注釈記述なしで生存期間を正しく推測できます。主要な規則は以下の3つです：

1. 入力引数の個別割り当て：各参照引数には独立したライフタイム仮引数が割り当てられます。例：`&'a i32`, `&'b str`。
2. 単一入力の場合：参照引数が1つしかない場合、その寿命が戻り値の寿命に自動的に転写されます。`fn parse(&'a raw: &[u8]) -> &'a str`として扱われます。
3. オブジェクトメソッドの場合：複数の入力が存在しても、`&self`または`&mut self`が含まれるメソッドでは、戻り値の寿命は常に`self`に統一されます。

これらの規則でカバーしきれないケース、典型的なのは「複数の参照引数があり、かつ戻り値も参照型である場合」においてのみ、開発者が手動でアノテーションを追加する必要があります。

静的ライフタイム ('static)

'staticは、プログラムの起動から終了まで永続的に有効となる特殊な制約です。バイナリに埋め込まれた文字列リテラルやグローバル定数が該当します。

const SYSTEM_VERSION: &'static str = "v2.4.1-release";

fn register_handler(id: &'static str) {
    println!("Handler registered: {}", id);
}

アプリケーション全体で参照され続ける設定値やログタグに適応されます。ただし、不適切な大量使用はメモリ領域の浪費を招くため、実際の必要最小限の利用が推奨されます。

ジェネリック型との組み合わせ

ライフタイム注釈は型パラメータと共に使用することが可能で、より柔軟なAPI設計を可能にします。通常は`<'a, T>`の形式で宣言され、要件は`where`節で分離して記載するのが一般的なパターンです。

use std::fmt::Display;

fn summarize_chapters<'a, Tag>(
    part_one: &'a str,
    part_two: &'a str,
    classifier: Tag
) -> &'a str
where
    Tag: Display
{
    println!("Class: {}", classifier);
    if part_one.len() >= part_two.len() {
        part_one
    } else {
        part_two
    }
}

ライフタイムの関係性（境界制約）

異なる参照間にも順序や包含関係を設定できます。この構文をライフタイム境界（Lifetime Bound）と呼びます。

fn merge_contexts<'top, 'bottom, 'shared>(
    ctx_high: &'top str,
    ctx_low: &'bottom str
) -> &'shared str
where
    'top: 'shared,
    'bottom: 'shared
{
    // 'top と 'bottom の両方が 'shared 以上の範囲で有効であることを保証
    if !ctx_high.is_empty() {
        ctx_high
    } else {
        ctx_low
    }
}

`'a: 'b`は、ライフタイム`'a`がライフタイム`'b`以上長く生存することを意味します。これにより、階層的な所有権構造や複雑なクロージャ処理においても、コンパイラがメモリ安全性を正確に検証できるようになります。