Ugochukwu Chizaram Omumusinachi 2025-04-22
如果你阅读过《Rust 编程语言》（俗称《Rust 书》）或者实现了一个结构体，你可能已经遇到过生命周期注解——甚至你自己也使用过它们。
这个主题直接建立在生命周期概念的基础上，所以如果你不熟悉它们，值得先回顾一下基础知识再深入探讨。
在 Rust 的早期，处理引用的函数通常需要显式且冗长的生命周期注解。例如：
fn longest_explicit(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() {
x
} else {
y
}
}
虽然正确，但这可能会过于冗长。Rust 的设计者观察到大多数用例遵循一致的模式。通过将这些模式编纂成规则，他们引入了生命周期省略规则，允许编译器在常见情况下推断出生命周期——在约87%的实际场景中消除了手动注解的需求。
这些规则不是给程序员遵循的指南，而是编译器用来在省略生命周期时推断它们的内部启发式方法。
什么是生命周期省略？
生命周期省略是一种特性，它让你在满足特定规则的情况下可以省略函数签名中的显式生命周期注解。这使得代码更简洁、易读，同时仍然保留了 Rust 借用检查器的所有安全性保证。
为什么生命周期省略重要？
- 减少了冗余。
- 改善了代码可读性。
- 让你可以专注于逻辑而非样板式的注解。
- 有助于简化常见的借用模式。
生命周期省略规则
Rust 编译器使用四个主要规则来决定何时可以省略生命周期：
规则1：
每个输入位置的省略生命周期都成为不同的生命周期参数。
当你在函数参数中省略生命周期（例如，使用 &str 而不是 &'a str），Rust 将每个输入引用视为具有唯一、独立的生命周期。
示例：
fn example1(x: &str, y: &str) {
println!("第一个字符串: {}", x);
println!("第二个字符串: {}", y);
}
Rust 解释为：
fn example1(x: &'a str, y: &'b str) {
println!("第一个字符串: {}", x);
println!("第二个字符串: {}", y);
}
由于函数不返回引用，因此这种方法没有问题。每个参数的生存期是独立的，不需要推断输出生存期。
规则2：
如果恰好有一个输入生存期，则该生存期被分配给所有省略的输出生存期。
如果一个函数只接受一个引用作为输入并返回一个引用（带有省略的生存期），Rust 推断返回的引用必须与输入一样长。
示例：
fn example2(x: &str) -> &str {
x
}
Rust 解释为：
fn example2(x: &'a str) -> &'a str {
x
}
因为只有一个输入生存期，Rust 可以自信地将其分配给输出。
规则3：
如果有多个输入生存期，但其中一个为 &self 或 &mut self，则 self 的生存期被分配给所有省略的输出生存期。
此规则特别适用于 impl 块中定义的方法。当你从方法返回一个引用并使用 &self 或 &mut self 作为参数时，返回的引用被认为与 self 具有相同的生存期。
示例：
struct MyStruct {
data: &'a str,
}
impl MyStruct {
fn get_data_slice(&self, start_index: usize) -> &str {
&self.data[start_index..]
}
}
Rust 解释此方法为：
fn get_data_slice(&'b self, start_index: usize) -> &'b str {
&self.data[start_index..]
}
此规则之所以有效，是因为返回的引用来源于 self，因此将输出生存期绑定到 self 是安全且直观的。
规则4：
在所有其他情况下，你必须显式地注解输出生存期。
如果上述规则都不适用，并且你尝试在不明确声明其生存期的情况下返回引用，Rust 会在编译时引发错误。
无效代码示例：
fn example4(x: &str, y: &str) -> &str {
if x.len() > y.len() {
x
} else {
y
}
}
编译器错误：
// error[E0106]: missing lifetime specifier
// --> src/main.rs:1:34
// |
// 1 | fn example4(x: &str, y: &str) -> &str {
// | ^^^^ expected named lifetime parameter
// help: consider introducing a named lifetime parameter
// |
// 1 | fn example4(x: &'a str, y: &'a str) -> &'a str {
修正版本：
fn example4_fixed(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() {
x
} else {
y
}
}
在这里，我们显式地将所有引用绑定到相同的生存期 'a，使借用关系对编译器清晰明了。
总结
Rust 中的生存期省略规则旨在简化常见的借用模式。它们去除了大多数情况下的重复注解需求，既改善了可读性又提升了开发者体验。
然而，随着你的 Rust 代码库变得越来越复杂——函数处理多个借用值——省略规则可能不再足够。在这种情况下，显式的生存期注解对于保持清晰和安全变得至关重要。
理解这些规则不仅限于学术用途；它是一项实用技能。当你编写更多惯用的 Rust 代码时，你会开始直觉地知道何时可以省略生存期以及何时必须指定它们。
进一步阅读：