Rust生命周期基础教程：从实践理解借用检查

Rust生命周期基础教程：从实践理解借用检查

rust-by-practice Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects. 项目地址: https://gitcode.com/gh_mirrors/ru/rust-by-practice

生命周期是Rust中确保内存安全的核心机制之一。本教程将通过实践案例带你深入理解Rust生命周期的基本概念和应用场景。

生命周期的基本概念

生命周期（Lifetime）是Rust编译器用来跟踪引用有效性的工具。每个引用都有一个关联的生命周期，表示该引用保持有效的作用域范围。生命周期的主要目的是防止"悬垂引用"（Dangling Reference），即引用指向的数据已经被释放的情况。

生命周期范围示例

fn main() {
    let i = 3;  // 'i的生命周期开始
    {
        let borrow1 = &i;  // 'borrow1的生命周期开始
        println!("borrow1: {}", borrow1);
    }  // 'borrow1的生命周期结束
    
    {
        let borrow2 = &i;  // 'borrow2的生命周期开始
        println!("borrow2: {}", borrow2);
    }  // 'borrow2的生命周期结束
}  // 'i的生命周期结束

在这个例子中：

• 变量i拥有最长的生命周期
• borrow1和borrow2的生命周期互不重叠
• 所有借用都在被借用变量i的生命周期内结束

生命周期标注语法

当编译器无法自动推断引用的生命周期关系时，我们需要显式标注生命周期。生命周期标注以撇号'开头，通常使用小写字母表示，如'a、'b等。

函数中的生命周期标注

函数签名中的生命周期标注需要遵循以下规则：

1. 每个引用参数都需要标注生命周期
2. 返回的引用生命周期必须与某个输入参数的生命周期相同或者是'static

fn print_one<'a>(x: &'a i32) {
    println!("`print_one`: x is {}", x);
}

fn add_one<'a>(x: &'a mut i32) {
    *x += 1;
}

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

常见错误与修复

初学者常会遇到的生命周期错误包括：

1. 返回局部变量的引用

// 错误示例
fn invalid_output<'a>() -> &'a String {
    &String::from("foo")  // 返回局部String的引用
}

// 修复方法1：直接返回值而不是引用
fn valid_output1() -> String {
    String::from("foo")
}

// 修复方法2：使用'static生命周期
fn valid_output2<'a>() -> &'a str {
    "foo"  // 字符串字面量有'static生命周期
}

2. 生命周期不匹配

struct ImportantExcerpt<'a> {
    part: &'a str,
}

impl<'a> ImportantExcerpt<'a> {
    fn level(&self) -> i32 {  // 这里不需要显式标注，编译器会自动推断
        3
    }
}

结构体中的生命周期

当结构体包含引用时，必须为这些引用标注生命周期。这告诉编译器结构体实例不能比它包含的引用存活得更久。

#[derive(Debug)]
struct NamedBorrowed<'a, 'b> {
    x: &'a i32,
    y: &'b i32,
}

#[derive(Debug)]
enum Either<'a> {
    Num(i32),
    Ref(&'a i32),
}

生命周期消除规则

Rust编译器在某些常见场景下可以自动推断生命周期，无需显式标注。这些规则称为生命周期消除规则（Lifetime Elision Rules），主要包括：

1. 每个引用参数都有自己的生命周期参数
2. 如果只有一个输入生命周期参数，它被赋予所有输出生命周期
3. 如果有多个输入生命周期参数，但其中一个是&self或&mut self，则self的生命周期被赋予所有输出生命周期

// 应用消除规则前
fn first_word<'a>(s: &'a str) -> &'a str { ... }

// 应用消除规则后（可以省略标注）
fn first_word(s: &str) -> &str { ... }

实践建议

1. 尽量让编译器自动推断生命周期，只在必要时手动标注
2. 当函数返回引用时，确保其生命周期与输入参数相关联
3. 结构体包含引用时，必须标注生命周期
4. 理解生命周期消除规则可以减少不必要的标注

通过本教程的实践练习，你应该已经掌握了Rust生命周期的基本概念和使用方法。记住，生命周期的核心目标是保证引用的安全性，理解这一点有助于写出更健壮的Rust代码。

rust-by-practice Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects. 项目地址: https://gitcode.com/gh_mirrors/ru/rust-by-practice