Rust 生命周期标注与省略

更新时间：2026-09-18。生命周期是 Rust 新手最「劝退」的点，记住一句话：生命周期不是你在控制寿命，而是在向编译器描述引用之间的关系。相关 trait/泛型见 trait 与泛型约束。

一、生命周期是什么

每个引用都有一个生命周期（它必须保持有效的作用域）。多数时候编译器能自动推断；当函数返回引用、结构体持有引用时，需要你显式标注，告诉编译器「返回的引用跟哪个入参活得一样长」。

// 报错：返回值引用不知道来自 x 还是 y
// fn longest(x: &str, y: &str) -> &str { ... }

// 用 'a 把两个入参与返回值绑定：返回值寿命 = min(x,y)
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() { x } else { y }
}

'a 不改变任何值的真实寿命，只是约束：调用方必须保证两个入参在返回值被使用期间都有效。

二、生命周期省略三规则（Elision）

编译器在以下规则能确定时允许省略标注：

1. 每个引用参数各自获得一个独立生命周期；
2. 若只有一个输入生命周期参数，它被赋给所有输出引用；
3. 若是方法且有 &self/&mut self，输出生命周期取 self 的。

三条规则推得出返回生命周期就不用写，推不出（如多个入参且返回引用）才必须标注。

三、结构体持有引用

struct Excerpt<'a> { part: &'a str }   // 结构体比它引用的数据活得久就编译失败
impl<'a> Excerpt<'a> {
    fn announce(&self, note: &str) -> &str { self.part } // 规则3：输出绑 self
}

四、'static 的准确含义

&'static str 表示引用在整个程序运行期间有效（如字符串字面量，存于只读数据段）。它不是「活得久所以随便用」的万能标记；跨线程传数据往往要求 'static，是因为线程可能在任何时刻运行，普通栈引用无法保证存活，这时通常用 Arc 转移所有权而非硬标 'static。

五、常见坑

1. 在函数里创建 String 并返回它的引用：局部变量函数结束就 drop，返回 &String 必然悬垂——应返回拥有所有权的 String。
2. 把生命周期当运行时机制：标注只在编译期检查，编译后不存在，没有运行时开销。
3. 自引用结构：结构体里存放指向自身字段的引用极难写，通常用索引、Pin 或重设计，新手不要硬刚。
4. 为通过编译乱加 'a/'static：应先理清数据真实的拥有和存活关系，标注只是如实描述。

总结

生命周期是引用有效作用域的编译期标注，用来在「函数返回引用、结构体存引用」时向编译器说明输出引用与哪个输入或 self 同寿（取最小者），它不改变真实寿命也无运行时开销；单输入或带 self 的方法可按省略三规则自动推导，多输入返回引用时才需显式写 'a，'static 表示贯穿整个程序的引用（如字面量）而非逃生通道；典型错误是返回局部变量的悬垂引用（应改为返回所有权）和自引用结构（改用索引或重设计）。