生命周期

是什么，为什么存在

Rust 的每条引用都有生命周期，也就是该引用可以安全使用的一段程序区域。 借用检查器（borrow checker） 确认引用在每次使用时仍指向有效数据，并确认共享访问与独占访问不会发生非法重叠。这项分析在编译期完成，运行时没有生命周期计时器。

生命周期解决的是悬垂引用问题。若一条引用在所有者被销毁后仍可使用，读取它就可能访问已经释放或改作他用的内存。Rust 不允许程序把这种风险留到运行时，因此无法证明来源仍有效的借用会导致编译失败。

源码中的大多数生命周期是隐式的。编译器根据所有者、引用的创建位置、控制流和引用的实际使用位置推导有效区域； 非词法生命周期（non-lexical lifetimes，NLL） 意味着借用通常可以在最后一次使用后结束，而不必一直持续到右花括号。

显式 生命周期标注（lifetime annotation） 以撇号开头，例如 'a 或 'input。它给多个引用之间的关系命名，使函数调用方和实现都受同一类型契约约束。标注描述已有关系，不会改变值何时销毁，也不会分配或复制数据。

返回输入切片的函数、保存借用字段的结构体、trait 对象、闭包以及跨线程任务都会暴露生命周期边界。只在调用期间读取参数时，&T 往往已经足够；当引用要被返回、存储或隐藏在泛型接口之后时，关系才更常需要写出来。

生命周期首先是所有权设计问题，其次才是语法问题。若函数创建新数据，返回 String 或其他拥有型值通常最自然；若结果确实是输入的一部分，返回引用可以避免复制，并在类型中保留来源关系。

工作原理

区域来自实际使用

编译器为每次借用寻找一个满足全部约束的有效区域。这个区域必须覆盖引用的每次使用，却不能越过来源数据的有效期，也不能与冲突访问重叠。区域经常比变量所在的词法代码块短。

下面的流程图展示一次普通共享借用何时可以结束。最后一次使用之后若不再读取该引用，后续代码就可以开始需要独占访问的操作。

借用结束不等于所有者被销毁。所有者可以继续存在并被再次借用，原引用变量甚至仍在词法作用域内，只要之后不再使用它即可。诊断冲突时，应找出引用创建点、冲突访问和让旧借用继续有效的最后一次使用。

标注约束输入与输出

签名 fn choose<'a>(x: &'a str, y: &'a str) -> &'a str 声明一个生命周期参数，并把两个输入和输出放进同一关系。调用方需要提供一个区域，使两个输入借用在其中都有效；返回引用也只能在这个共同区域内使用。

同名 'a 不表示两个所有者必须活得一样久。编译器可以把较长借用缩短到共同可用的区域。因为函数实现可以返回任一输入，调用方必须保守地让两个输入都覆盖结果的使用范围。

若函数只可能返回第一个输入，第二个参数就不该限制结果。fn prefix<'text>(text: &'text str, delimiter: &str) -> &'text str 精确说明结果来自 text，而 delimiter 只在调用期间使用。独立关系能接受更多合法调用，也能让审查者看出数据来源。

生命周期参数由调用方在每次调用处选择，函数实现必须对所有合法选择都成立。它不能把局部 String 的切片伪装成任意 'a 返回，因为局部所有者在函数结束时就会销毁，无法满足调用方可能要求的区域。

省略是确定规则

生命周期省略（lifetime elision） 是一组固定的签名补全规则，不是根据函数体猜测。每个省略的引用参数先获得独立的输入生命周期；若只有一个输入生命周期，省略的输出生命周期就使用它；方法有多个输入生命周期时，&self 或 &mut self 的生命周期会赋给省略的输出。

因此，fn first(text: &str) -> &str 可以省略标注，而 fn choose(x: &str, y: &str) -> &str 无法通过省略决定输出来源。方法 fn name(&self, fallback: &str) -> &str 的输出默认借自 self，并不会因为实现返回 fallback 而自动改变。

占位生命周期 '_ 要求编译器在当前位置推断，例如 View<'_>。它适合在类型路径中明确表示这里存在生命周期参数，但不会新建关系或绕过检查。能省略时通常无需为了显得明确而重复写出 'a。

借用字段把约束带进类型

结构体保存引用时，类型本身必须携带生命周期，例如 struct View<'a> { text: &'a str }。这表示任何 View<'a> 的使用都不能越过 text 的有效区域。约束会跟随该类型进入返回值、容器和其他结构体字段。

impl<'a> View<'a> 表示实现适用于任意 'a。方法返回 -> &'a str 时，结果可以直接继承字段来源的生命周期；写成 -> &str 时，接收者省略规则通常把结果限制到本次 &self 借用。两种签名可能都能编译，但公开契约并不相同。

多个独立借用字段不必共享一个参数。把来源数据与临时缓冲区都写成 'a，会让整个结构体受较短输入限制；分别使用 'source 与 'buffer，或直接拥有临时缓冲区，通常更精确。

'static 有两种常见位置

静态生命周期（static lifetime） 写作 'static。&'static str 表示引用目标在程序整个执行期间都有效，字符串字面量和 static 项是典型来源。局部 String 的引用不会因为加上标注而变成静态引用。

类型约束 T: 'static 的含义不同：T 不能包含短于程序执行期的借用。拥有型 String 满足这项约束，但它仍可在普通作用域末尾销毁；约束说明它可以被安全保留多久，而不是实际会保留多久。

线程与长期保存的回调常要求 T: 'static，因为调用方不能保证任务何时结束。正确做法通常是移动拥有型数据或适当的共享所有权指针。move 闭包若捕获的值本身是短期引用，仍然不满足 'static。

示例

下面四个示例依次展示最后一次使用、共同区域、精确来源和高阶约束。每个输出都由本地 Rust 编译器实际编译并运行对应文件得到。

最后一次使用结束借用

first 的最后一次使用发生在 push() 之前，因此共享借用可以先结束。变量仍处于同一代码块，不会阻止之后对向量进行可变借用。

若把 println!("first: {first}") 移到 push() 后面，代码就会被拒绝。push() 可能重新分配向量缓冲区，而后续使用要求旧元素引用继续有效；真正决定冲突的是最后一次使用，不是引用声明到右花括号的距离。

为两个来源选择共同区域

choose() 可以返回任一输入，所以三个位置共享 'a。内部字符串只在内部代码块中有效，结果也只在该块内使用。

fn choose<'a>(primary: &'a str, fallback: &'a str, healthy: bool) -> &'a str {
    if healthy {
        primary
    } else {
        fallback
    }
}

fn main() {
    let stable = String::from("stable");

    {
        let temporary = String::from("temporary");
        let selected = choose(&stable, &temporary, true);
        println!("selected: {selected}");
    }

    println!("owner remains: {stable}");
}

selected: stable
owner remains: stable

运行时虽然选择了 stable，公开签名仍允许实现返回 temporary。编译器不会根据布尔参数的值为结果建立条件式生命周期，因此调用方必须在两个输入都有效的区域内使用 selected。

分开数据来源与辅助参数

parse_field() 返回借自 record 的结构体，而 delimiter 只参与查找。分隔符在内部代码块末尾销毁后，结果仍可使用，因为返回类型没有与它绑定。

struct Field<'a> {
    name: &'a str,
    value: &'a str,
}

fn parse_field<'record>(record: &'record str, delimiter: &str) -> Option<Field<'record>> {
    let (name, value) = record.split_once(delimiter)?;
    Some(Field { name, value })
}

fn main() {
    let record = String::from("region=eu-west");
    let field;

    {
        let delimiter = String::from("=");
        field = parse_field(&record, &delimiter).expect("valid field");
    }

    println!("{} -> {}", field.name, field.value);
}

region -> eu-west

若把 delimiter 也标成 'record，调用方会被迫让临时分隔符存活到 field 的最后一次使用。那不是安全所需的约束，而是过度约束；精确的生命周期让辅助输入可以更早结束。

要求函数适用于任意借用

print_views() 在每次循环中借用不同的 String。约束 for<'a> 要求 view 对每个合适的输入生命周期都保持同一输入输出关系。

fn first_word(input: &str) -> &str {
    input.split_whitespace().next().unwrap_or("")
}

fn print_views<F>(records: &[String], view: F)
where
    F: for<'a> Fn(&'a str) -> &'a str,
{
    for record in records {
        println!("{}", view(record));
    }
}

fn main() {
    let records = vec![
        String::from("alpha ready"),
        String::from("beta waiting"),
    ];

    print_views(&records, first_word);
}

alpha
beta

普通函数参数可以通过省略得到这种输入输出关系，但泛型约束需要表达选择权属于每次内部调用。高阶约束不是让引用变长，而是要求可调用对象不能只适用于某一个由外部预先固定的生命周期。

陷阱

把标注当作延寿操作

修复方法： 函数创建数据时返回拥有型值；返回引用时，把来源追溯到输入、结构体字段、字符串字面量或 static 项。不要用更多标注掩盖没有合法来源的返回值。

用同一个名称绑定独立输入

修复方法： 为每条可能返回的路径标出来源。辅助引用使用独立生命周期或省略；只有实现可能返回多个输入之一时，才把这些输入与输出放进共同关系。

把 move 等同于 'static

修复方法： 检查每个捕获值内部是否含借用。任务必须独立时，移动 String、Vec<T>、Arc<T> 或其他符合所有权边界的值，并把共享修改和线程安全作为另一个问题审查。

用额外代码块猜借用终点

修复方法： 从编译器诊断中的借用创建点、冲突点和后续使用点读取时间线。删除或提前完成最后一次使用，或者重新组织所有权；只在代码块确实表达资源或变量边界时增加它。

用泄漏绕过 'static 错误

修复方法： 优先把拥有型数据移入任务，或用 Arc 表达共享所有权。只有数据按设计应在进程余下时间都保留，而且增长有明确上限时，才考虑有意泄漏。

延伸阅读

• The Rust Programming Language - Validating References with Lifetimes
• The Rust Reference - Lifetime elision
• The Rust Reference - Trait and lifetime bounds
• The Rustonomicon - Subtyping and Variance
• The Rustonomicon - Higher-Rank Trait Bounds