播面

在 Rust 中，生命周期省略规则（Lifetime Elision Rules） 是一组被硬编码进 Rust 编译器的确定性规则。

它的目的是为了让开发者在编写常见模式的代码时，不必显式地标注每一个生命周期参数，从而减少代码的啰嗦程度。

如果编译器在应用这些规则后，仍然无法确定引用的生命周期，它不会去“猜测”，而是会直接报错，要求你手动添加标注。

核心概念：输入与输出生命周期

在理解规则之前，需要区分两种生命周期：

1. 输入生命周期（Input Lifetimes）：函数参数上的引用。
2. 输出生命周期（Output Lifetimes）：函数返回值上的引用。

三条省略规则

编译器会按照顺序检查以下三条规则。如果检查完这三条规则后，输出生命周期仍未被确定，编译就会失败。

规则 1：每个引用参数都有自己的生命周期

编译器会为每一个引用类型的参数分配一个独立的生命周期参数。

• 一个参数：fn foo(x: &i32) $\rightarrow$ fn foo<'a>(x: &'a i32)
• 两个参数：fn foo(x: &i32, y: &i32) $\rightarrow$ fn foo<'a, 'b>(x: &'a i32, y: &'b i32)

规则 2：如果只有一个输入生命周期，它将被赋予所有输出生命周期

如果函数只有一个输入参数（或者有多个参数但只有一个是引用），那么该参数的生命周期会被自动赋给所有的返回值引用。

• fn foo(x: &i32) -> &i32
  • 应用规则 1：x 得到 'a。
  • 应用规则 2：因为只有一个输入 'a，所以返回值也是 'a。
  • 最终结果：fn foo<'a>(x: &'a i32) -> &'a i32

规则 3：如果是方法（有 &self），self 的生命周期赋给所有输出

如果函数有多个输入生命周期，但其中一个是 &self 或 &mut self（即这是一个方法），那么 self 的生命周期会被赋给所有的返回值引用。

• fn method(&self, x: &str) -> &str
  • 应用规则 1：self 得到 'a，x 得到 'b。
  • 应用规则 3：因为有 &self，所以返回值被赋予 'a。
  • 最终结果：fn method<'a, 'b>(&'a self, x: &'b str) -> &'a str
  • 注：这非常合理，因为大多数情况下，方法返回的值都是从对象本身获取的，而不是从其他参数获取的。

案例分析：编译器是如何思考的

让我们通过几个例子来看看编译器是如何应用这些规则的。

案例 A：工作正常的例子

代码：

fn first_word(s: &str) -> &str { ... }

1. 应用规则 1：每个参数一个生命周期。
   fn first_word<'a>(s: &'a str) -> &str
2. 应用规则 2：输入只有一个 'a，赋给输出。
   fn first_word<'a>(s: &'a str) -> &'a str
3. 结果：所有引用的生命周期都已确定，编译通过。

案例 B：需要手动标注的例子（规则失效）

代码：

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

1. 应用规则 1：每个参数一个生命周期。
   fn longest<'a, 'b>(x: &'a str, y: &'b str) -> &str
2. 应用规则 2：输入有多个（'a 和 'b），规则不适用。
3. 应用规则 3：没有 self 参数，规则不适用。
4. 结果：编译器无法确定返回值的生命周期是应该跟 x 走还是跟 y 走。编译报错。

修正方法：你需要显式告诉编译器，返回值的生命周期取两个参数中较短的那个：

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

总结

Rust 的生命周期省略规则并不是魔法，它只是编译器为了方便开发者而内置的自动补全逻辑：

1. 全部分配：给每个入参分配不同的生命周期。
2. 独占优先：如果只有一个入参，返回值就跟它混。
3. Self 优先：如果是方法，返回值跟 self 混。

如果你的代码不符合这三种常见模式（例如上面的 longest 函数），你就必须手动手写生命周期标注。