寿命和参考

在 Rust 中，每个引用都有一个生命周期，它对应于该引用有效的范围。大多数时候，由于生命周期省略规则，生命周期是隐式的并由编译器推断。然而，当不同引用的生命周期之间的关系不明确时，我们必须明确地注释它们。

生命周期的主要目标是防止悬空引用（对已从内存中释放的数据的引用）。

生命周期注释语法

生命周期名称以撇号 (') 开头，通常是短小写字母（如 'a）。生命周期注释不会改变变量的实际生命周期，但它们向编译器指示输入和输出的有效性之间的关系。

例如，如果一个函数接受两个字符串引用参数并返回一个字符串引用，并且我们希望只要两个输入参数都有效，返回的引用就有效，我们使用：

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

数据结构中的生命周期

如果结构体包含作为引用的字段，我们必须显式注释该引用的生命周期，以确保结构体实例的生命周期不会比它所引用的数据的生命周期长：

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

fn main() {
    let novel = String::from("Call me Ishmael. Some years ago...");
    let first_sentence = novel.split('.').next().unwrap();
    let i = ImportantExcerpt {
        part: first_sentence,
    };
}

静态寿命

'static 生命周期是一个特殊的生命周期，持续整个程序的整个持续时间。所有字符串文字 (&str) 隐式具有 'static 生命周期，因为它们直接存储在二进制可执行文件内。

let s: &'static str = "I have a static lifetime.";

自己尝试一下

练习 1：最长函数

练习 2：带引用的结构

练习 3：静态引用