Rust 语言中的 &'a 是什么 [重复]

Question

我读到here

当您需要指定显式生命周期时，共享引用类型被写入&type 或&'a type。

了解& 是shared reference，但不明白type 和'a 在Rust 语言中的区别

在another location我读到了这段代码：

#[derive(Debug)]
struct Person<'a> {
    name: &'a str,
    age: u8
}

fn main() {
    let name = "Peter";
    let age = 27;
    let peter = Person { name, age };

    // Pretty print
    println!("{:#?}", peter);
}

struct Person<'a> { } 中的'a 是什么意思？ 我可以使用struct Person<'type> { } 或struct Person<T> { } 构建相同的struct 吗？

而name: &'a str是什么意思？

如果想避免使用<'a>，我该如何重新编码

Answer 1

我发现 this 和 this 和 this 和 this 可以解释我的问题。

'a 读作“生命周期 a”。从技术上讲，每个引用都有一些与之相关的生命周期，但编译器允许您在常见情况下省略（即省略，参见“Lifetime Elision”）它们。

fn bar<'a>(...)

函数可以在<>s 之间有“通用参数”，其中生命周期是一种。 <> 用于声明生命周期。这表示 bar 有一个生命周期，'a。

Rust 有两种主要类型的字符串：&str 和 String。 &str 称为 ‘string slices’。字符串切片具有固定大小，不能被变异。它是对 UTF-8 字节序列的引用。

let greeting = "Hello there."; // greeting: &'static str

“你好。”是一个string literal，它的类型是&'static str。字符串文字是静态分配的字符串切片，这意味着它保存在我们编译的程序中，并且在它运行的整个持续时间内都存在。问候绑定是对这个静态分配的字符串的引用。任何期望字符串切片的函数也将接受字符串文字。

在上面的例子中

struct Person<'a> {  }

需要包含 <'a>，因为 name 使用以下方式定义：

name: &'a str,

调用者：

let name = "Peter";

如果有兴趣避免使用'a，那么上面的代码可以重写为：

#[derive(Debug)]
struct Person {    // instead of: struct Person<'a> {
    name: String,  // instead of: name: &'a str 
    age: u8
}

fn main() {
    let name = String::from("Peter");  // instead of: let name = "Peter"; which is &'static str
    let age = 27;
    let peter = Person { name, age };

    // Pretty print
    println!("{:#?}", peter);
}

正如@DimitrisSfounis 在 cmets 中提到的那样，简而言之，“为什么会有'a？” ---- 因为 struct 定义将它与引用的对象联系起来（在这种情况下，每个 struct Person 实例都引用一个 &str），所以您需要明确声明一个任意的生命周期并将这两件事联系在一起：您希望 struct Person 实例仅在其引用对象（因此 Person 和 name: &'a str）的时间内存活，因此避免了在彼此死亡后的悬空引用。