面试题：Rust生命周期与借用检查器的交互

Rust借用检查器与内存安全

借用检查器利用引用生命周期确保内存安全的原理
- 生命周期的概念：在Rust中，每个引用都有一个生命周期，它描述了引用在程序中有效的时间段。借用检查器通过比较引用的生命周期来确保内存安全。
- 规则：
  - 生命周期的基本规则之一是，任何引用的生命周期必须小于或等于它所引用对象的生命周期。例如，考虑如下代码：

fn main() {
    let r;
    {
        let x = 5;
        r = &x;
    }
    println!("r: {}", r);
}

在这段代码中，x的生命周期在花括号结束时就结束了，而r试图在x生命周期结束后使用对x的引用。借用检查器会阻止这种情况，因为r的生命周期不能超过x的生命周期。

函数中的生命周期：当函数有引用参数和返回值时，借用检查器会确保返回值的生命周期不超过任何输入引用的生命周期。例如：

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

这里'a是一个生命周期参数，它表示x、y和返回值的生命周期是相关联的，并且返回值的生命周期不能超过x和y中生命周期较短的那个。

生命周期标注错误时的报错信息及代码示例
- 示例1：悬垂引用错误

fn main() {
    let reference_to_nothing;
    {
        let x = 5;
        reference_to_nothing = &x;
    }
    println!("{}", reference_to_nothing);
}

编译这段代码时，借用检查器会报错：

error[E0597]: `x` does not live long enough
 --> src/main.rs:5:31
  |
5 |         reference_to_nothing = &x;
  |                               ^ borrowed value does not live long enough
6 |     }
  |     - `x` dropped here while still borrowed
7 |     println!("{}", reference_to_nothing);
  |                                       ^ borrow later used here

这个错误信息表明x的生命周期不够长，在x被销毁时，reference_to_nothing还在借用它。

示例2：函数返回值生命周期错误

fn bad_longest(x: &str, y: &str) -> &str {
    if x.len() > y.len() {
        x
    } else {
        y
    }
}

编译时会报错：

error[E0106]: missing lifetime specifier
 --> src/main.rs:1:32
  |
1 | fn bad_longest(x: &str, y: &str) -> &str {
  |                                ^ expected named lifetime parameter
  |
  = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `x` or `y`

这个错误提示缺少生命周期标注，因为返回值是一个引用，编译器不知道它的生命周期与输入参数x和y的关系。通过添加合适的生命周期标注（如前面正确的longest函数那样）可以解决这个问题。

星途面试题库

面试题：Rust生命周期与借用检查器的交互

知识考点

面试题答案

Rust借用检查器与内存安全