省略规则
生命周期的推断时机
省略规则 是 CoddyKit 上的免费 Learn Rust Coding 课时。 这是第 4 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Learn Rust Coding 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Learn Rust Coding 课程共包含 4 节课。
无需手写的生命周期
许多函数接收并返回引用,却没有任何生命周期注解,但仍然可以编译。这是因为存在生命周期省略:编译器会为您推断出显而易见的生命周期。
省略只是快捷方式
省略并不会删除生命周期;编译器仍会根据几条确定性的规则,在幕后补全它们。当这些规则适用于您的情况时,您就可以省略注解。
一个省略生命周期的函数
这个函数没有显式生命周期,但编译器仍然能理解返回的引用借用了输入数据。相关规则使这种关系没有歧义。
fn first_word(s: &str) -> &str {
s.split(' ').next().unwrap_or("")
}
fn main() {
let phrase = String::from("rust is fun");
println!("{}", first_word(&phrase));
}规则 1:每个输入都有自己的生命周期
第一条规则:参数中每个被省略的生命周期都会获得一个独立的生命周期。两个引用参数会获得两个彼此独立的生命周期。
规则 2:一个输入对应一个输出
第二条规则:如果恰好只有一个输入生命周期,它会被分配给所有输出生命周期。这适用于 first_word 这类接收并返回一个引用的函数。
fn trim_start(s: &str) -> &str {
s.trim_start()
}
fn main() {
println!("[{}]", trim_start(" hi"));
}规则 3:方法与 &self
第三条规则:如果方法拥有 &self 或 &mut self,self 的生命周期会被分配给所有输出生命周期。这就是方法很少需要注解的原因。
struct Holder { value: String }
impl Holder {
fn get(&self) -> &str {
&self.value
}
}
fn main() {
let h = Holder { value: String::from("stored") };
println!("{}", h.get());
}省略失效的情况
应用完全部三条规则后,如果仍有任何输出生命周期未知,编译器就会要求您显式添加注解。longest 函数就是典型情况:有两个输入,但输出的生命周期存在歧义。
再次看 longest 函数
两个引用输入和一个引用输出:规则 2 不适用(输入多于一个),同时也没有 self。因此您必须添加注解。
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() { x } else { y }
}
fn main() {
println!("{}", longest("abcd", "ab"));
}多个输入,输出来自 self
即使存在其他引用参数,带有多个参数的方法仍会根据规则 3,从 self 获得输出生命周期。
struct Doc { body: String }
impl Doc {
fn announce(&self, _note: &str) -> &str {
&self.body
}
}
fn main() {
let d = Doc { body: String::from("content") };
println!("{}", d.announce("ping"));
}这些规则为何存在
这三条规则覆盖了实际代码中的绝大多数情况,因此大多数函数完全不需要生命周期语法。只有在意图确实存在歧义时,您才需要编写注解。
快速检查清单
要判断是否适用生命周期省略,请问自己:
- 是否恰好有一个输入引用?输出会借用它。
- 是否有
&self?输出会借用 self。 - 否则,请显式添加注解。
快速检查
测试您对生命周期省略规则的理解。
回顾
您学会了生命周期何时会被推断:
- 规则 1:每个输入引用都有自己的生命周期
- 规则 2:一个输入生命周期会对应所有输出生命周期
- 规则 3:
&self为方法提供输出生命周期 - 如果输出仍然存在歧义,就显式添加注解
常见问题解答
「省略规则」课时是免费的吗?
是的 — 「省略规则」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Learn Rust Coding 课程的其余内容,请升级到 CoddyKit PRO。 Learn Rust Coding 课程共包含 4 节课。
「省略规则」这节课中我会学到什么?
生命周期的推断时机 你通过在浏览器中直接运行的动手代码来练习 Learn Rust Coding,全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 Learn Rust Coding 需要有经验吗?
无需任何先前经验。CoddyKit 上的 Learn Rust Coding 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 4 节课,共 4 节。
「省略规则」课时需要多长时间?
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。
我能在这节 Learn Rust Coding 课中编写并运行代码吗?
能。每节 Learn Rust Coding 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。