用单个撇号表示的标识符是什么？

Question

我遇到过许多用单撇号表示的Rust类型:

'static
'r
'a

那个撇号的意义是什么？可能是引用的修饰符（




Answer 1

匿名用户

为了补充quux00的优秀答案，命名生存期还用于指示向rust编译器返回的借用变量的来源。

这个函数

pub fn f(a: &str, b: &str) -> &str {
  b
}

不会编译，因为它返回一个借用的值，但没有指定它是从a还是b借用的。

要解决这个问题，您需要声明一个命名的生存期，并对< code>b使用相同的生存期和返回类型:

pub fn f<'r>(a: &str, b: &'r str) -> &'r str {
//      ----              ---         ---
  b
}

并按预期使用它

f("a", "b")

Answer 2

这些是 Rust 命名的生命周期。

引用Rust编程语言：

Rust中的每个引用都有一个生存期，这是该引用的有效范围。大多数时间生存期是隐式的和推断的，就像大多数时间类型是推断的一样。类似于当我们必须注释类型时，因为多种类型是可能的，存在引用的生命周期可以以几种不同的方式相关的情况，所以Rust需要我们使用一般的生命周期参数来注释关系，以便它可以确保在运行时使用的实际引用肯定是有效的。

生存期批注不会更改所涉及的任何引用的生存期。与签名指定泛型类型参数时函数可以接受任何类型的方式相同，当签名指定泛型生存期参数时，函数可以接受具有任何生存期的引用。生存期批注的作用是将多个引用的生存期相互关联。

生存期注释的语法略有不同寻常：生存期参数的名称必须以撇号 '开头。生存期参数的名称通常都是小写的，并且像泛型类型一样，它们的名称通常很短。'a 是大多数人用作默认值的名称。生存期参数注释位于

换句话说，生存期近似于引用指向的数据有效的执行范围。Rust 编译器将保守地推断出最短的生存期是安全的。如果要告诉编译器某个引用的生存期比最短估计值长，则可以对其进行命名，例如，表示输出引用与给定输入引用具有相同的生存期。

'静态生命周期是一个特殊的生命周期，是所有生命周期中最长的生命周期——在程序的持续时间内。一个典型的例子是在程序/模块的生命周期内始终可用的字符串“文字”。

从第29张幻灯片开始，您可以从该幻灯片中获得更多信息。

Rust中的寿命也深入讨论了寿命。