0Pricing
Learn Rust Coding · 课时

省略规则

生命周期的推断时机

省略规则 是 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 反馈 — 无需本地设置。

此课程中的所有课时

  1. 为什么需要生命周期
  2. 生命周期注解
  3. 结构体中的生命周期
  4. 省略规则
← 返回 Learn Rust Coding