0Pricing
Learn Rust Coding · 课时

生命周期注解

为生命周期命名

生命周期注解 是 CoddyKit 上的免费 Learn Rust Coding 课时。 这是第 2 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Learn Rust Coding 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Learn Rust Coding 课程共包含 4 节课。

命名生命周期

生命周期注解是一个以撇号开头的名称,例如 'a。它不会改变任何内容的存活时间,而是描述引用生命周期之间的关系。

注解放在哪里

您可以在函数名后面的尖括号中声明生命周期参数,然后像使用泛型类型参数一样,将它们用于引用类型。

语法:fn name<'a>(x: &'a T) -> &'a T。

经典的 longest 函数

返回两个引用之一的函数需要注解。'a 表示结果的存活时间与两个输入中较短的生命周期一样长。

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

fn main() {
    let a = String::from("long string");
    let b = String::from("short");
    println!("{}", longest(&a, &b));
}

这里的 'a 表示什么

该注解告诉编译器:返回的引用只有在两个输入都有效时才有效。随后,编译器会根据这一约定检查每个调用位置。

为什么需要它

没有注解时,编译器无法知道返回值借用自 x 还是 y。生命周期名称将它们关联起来,使借用检查器能够推断结果。

不同的生命周期

当引用彼此无关时,请为它们使用不同的生命周期名称。这里仅返回 x,因此结果只取决于它的生命周期。

fn first<'a, 'b>(x: &'a str, _y: &'b str) -> &'a str {
    x
}

fn main() {
    let a = String::from("keep me");
    let b = String::from("ignore");
    println!("{}", first(&a, &b));
}

生命周期不会延长存活时间

注解永远不会让数据存活更久。它们只声明编译器必须验证的约束。如果值过早失效,无论是否添加注解,代码都无法通过编译。

有效的调用

只要两个输入的存活时间都超过结果的使用时间,调用就会被接受。这里两个字符串都会一直存活到打印操作,因此一切正常。

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

fn main() {
    let a = String::from("abcdef");
    let result;
    {
        let b = String::from("xy");
        result = longest(&a, &b);
        println!("chosen: {}", result);
    }
}

生命周期与泛型

生命周期参数和类型参数可以同时出现。生命周期参数要先列在尖括号中。

use std::fmt::Display;

fn announce<'a, T: Display>(text: &'a str, value: T) -> &'a str {
    println!("value is {}", value);
    text
}

fn main() {
    let msg = String::from("hello");
    println!("{}", announce(&msg, 42));
}

'static 生命周期

'static 是一种特殊生命周期,表示引用可以存活整个程序的运行时间。字符串字面量具有这种生命周期,因为它们已经嵌入二进制文件中。

fn motto() -> &'static str {
    "fearless concurrency"
}

fn main() {
    println!("{}", motto());
}

阅读注解

将 &'a str 理解为一个在生命周期 'a 内有效的字符串引用。当两个参数共享 'a 时,编译器会在每次调用时,将它们的生命周期限制为较短的那个。

快速检查

测试您对生命周期注解的理解。

回顾

您学会了如何命名生命周期:

  • 生命周期使用 'a 这样的名称,并在尖括号中声明
  • 共享名称表示引用之间存在关联(例如,结果的生命周期与输入相关联)
  • 注解只描述生命周期,不会延长生命周期
  • 'static 表示在整个程序运行期间都有效

常见问题解答

「生命周期注解」课时是免费的吗?

是的 — 「生命周期注解」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Learn Rust Coding 课程的其余内容,请升级到 CoddyKit PRO。 Learn Rust Coding 课程共包含 4 节课。

「生命周期注解」这节课中我会学到什么?

为生命周期命名 你通过在浏览器中直接运行的动手代码来练习 Learn Rust Coding,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Learn Rust Coding 需要有经验吗?

无需任何先前经验。CoddyKit 上的 Learn Rust Coding 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 2 节课,共 4 节。

「生命周期注解」课时需要多长时间?

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。

我能在这节 Learn Rust Coding 课中编写并运行代码吗?

能。每节 Learn Rust Coding 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

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