生命周期入门:为什么需要

从一个无法回答的问题说起

先看一个会报错的函数--返回两个字符串切片中较长的那个:

fn longest(x: &str, y: &str) -> &str {
    if x.len() > y.len() { x } else { y }
}
// 编译错误: missing lifetime specifier
//          expected named lifetime parameter

函数体逻辑完全正确, 为什么编译器拦下它? 因为编译器在为调用方担心一件事: 返回的那个引用, 到底借的是 x 的数据还是 y 的数据? 它的存活范围该按谁算?

编译器无法从签名推断出来--它不知道运行时会走 if 还是 else. 而这个信息至关重要, 因为:

let r;
{
    let y = String::from("short");
    r = longest(&x, &y); // 如果返回的是借 y 的引用...
} // y 在这里被释放
println!("{r}"); // ...那 r 现在就是悬垂引用!

生命周期到底是什么

先建立最核心的直觉. 每个引用都有一个"生命周期": 它有效的那段代码范围. 这件事一直存在--第 01 篇里 NLL 计算的"借用范围", 就是生命周期. 多数时候编译器自动推断, 根本不用写.

生命周期标注('a 这种带单引号的名字)登场, 只在一种情况: 当一个函数/类型涉及多个引用, 而它们的存活关系会影响安全, 编译器又推断不出时, 需要用标注描述这些引用之间的关系.

给 longest 加上标注

现在修复 longest. 要表达的关系是: "返回的引用, 和 x, y 一样长寿(不会超过它们中较短者)":

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() { x } else { y }
}

逐部分拆解这个签名:

• <'a>: 声明一个生命周期参数 'a(像泛型类型参数 <T> 那样, 先声明).
• x: &'a str, y: &'a str: 两个入参的生命周期都标为 'a.
• -> &'a str: 返回值的生命周期也是 'a.

合起来读: "存在某个生命周期 'a, x, y 至少活这么久, 而返回值也只活这么久." 编译器据此推断: 'a 取 x 和 y 中较短的那个寿命, 返回值不能超过它. 于是开头那段悬垂引用的代码就会被正确地拒绝.

不是所有引用都要标同一个生命周期

标注是用来表达真实关系的, 不要无脑全标 'a. 如果返回值只可能来自 x, 那就只有 x 需要和返回值挂钩, y 可以是任意独立的生命周期:

// 返回值只借 x, 与 y 无关 -- y 不必标 'a
fn first<'a>(x: &'a str, y: &str) -> &'a str {
    x
}

快速回顾

• 本质: 生命周期是"引用有效的代码范围", 一直存在; 标注只在编译器推断不出引用关系时才需要.
• 触发场景: 函数涉及多个引用, 返回引用, 且其来源影响安全时, 编译器要求标注.
• 纯描述性: 'a 不改变任何数据的实际寿命, 只声明引用之间的存活关系(破除最大误解).
• 读法: fn longest<'a>(x: &'a str, y: &'a str) -> &'a str = "返回值不超过 x, y 中较短者的寿命".
• 如实标注: 按引用的真实来源关系标, 不要无脑全标同一个 'a.

动手练习

1. 不看下文, 凭直觉判断: 下面的函数需要生命周期标注吗? 为什么?

   fn longest(x: &str, y: &str) -> &str { ... }

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

2. 下面的代码为什么报错? 用"生命周期是描述性的"这一点解释.

   let r; { let s = String::from("hi"); r = &s; } println!("{r}");

3. 给下面的函数加正确的生命周期标注. 它总是返回第一个参数.

   fn pick(a: &str, b: &str) -> &str { a }

fn pick<'a>(a: &'a str, b: &str) -> &'a str { a }

4. 思考题: 把 longest 的返回值改成"总是返回一个函数内部新建的 String 的引用", 可行吗?