生命周期进阶

省略规则: 为什么大多数时候不用写

上一篇说"涉及引用的函数要标生命周期", 但实际写过的大量带引用函数其实都没标过. 原因是编译器内置了三条省略规则, 能覆盖绝大多数常见情形, 自动补全标注:

1. 每个引用参数各自分配一个生命周期参数.
2. 若只有一个输入生命周期, 它被赋给所有输出引用.
3. 若有 &self 或 &mut self(即方法), self 的生命周期被赋给所有输出引用.

// 写的:
fn first_word(s: &str) -> &str { ... }
// 编译器按规则①②补全为:
fn first_word<'a>(s: &'a str) -> &'a str { ... }
// 只有一个输入引用, 输出自动绑定它 -- 无歧义, 无需动手

结构体持有引用: 必须标注

当结构体的字段是引用而非拥有的值时, 必须为结构体声明生命周期. 这是进阶篇真正高频用到标注的地方:

// 这个结构体借用了一段字符串, 而非拥有它
struct Excerpt<'a> {
    part: &'a str,
}

let novel = String::from("Call me Ishmael. Some years ago...");
let first_sentence = novel.split('.').next().unwrap();
let e = Excerpt { part: first_sentence };
// e 不能比 novel 活得久 -- 'a 声明的正是这条约束

struct Excerpt<'a> 读作: "Excerpt 实例的存活时间, 不能超过它 part 字段所借用的数据." 这迫使编译器在任何使用 Excerpt 的地方, 都确保被借的字符串还活着.

方法中的生命周期

给带生命周期的结构体写方法, 语法上要在 impl 后声明 'a(和泛型参数一样). 但得益于省略规则③, 方法体内多数时候不用重复标注:

impl<'a> Excerpt<'a> {
    // 返回 &str, 按规则③自动绑定到 &self 的生命周期, 无需手写
    fn announce(&self, msg: &str) -> &str {
        println!("注意: {msg}");
        self.part
    }
}

'static: 活整个程序

'static 是一个特殊的, 预定义的生命周期, 表示"该引用在整个程序运行期间都有效". 最典型的 'static 数据是字符串字面量--它们被编入二进制, 从程序启动到结束一直存在:

let s: &'static str = "我活得和程序一样久"; // 字面量天然是 'static

快速回顾

• 省略规则: 三条规则(逐参数分配, 单输入贯通, self 优先)替你补全标注, 故多数函数不用写.
• 何时必须写: 省略规则覆盖不到的歧义场景--典型是多个引用输入且返回引用(如 longest).
• 结构体持有引用: 必须标 struct S<'a>, 声明"实例不能比所借数据活得久"; 常可改为拥有数据来回避.
• 方法: impl<'a> S<'a> 声明, 方法体多由规则③自动绑定 self, 无需重复标.
• 'static: 表示活整个程序(如字面量); 作为泛型约束 T: 'static 意为"不含非 'static 借用", 拥有所有权的值即满足.

动手练习

1. 这个函数需要手写生命周期吗? 用省略规则解释.

   fn trim_prefix(s: &str, n: usize) -> &str { &s[n..] }

2. 下面的结构体定义为什么编译不过? 怎么修?

   struct Parser { input: &str, }

struct Parser<'a> {
    input: &'a str,
}

3. 判断真假: "给一个函数参数加上 'static, 能让传入的临时变量活得更久."

4. 一个拥有所有权的 String 满足泛型约束 T: 'static 吗? 为什么?