时间戳

首页 > 解决方案 > 理解 Rust 中的引用生命周期

rust - 理解 Rust 中的引用生命周期

问题描述

我是 Rust 的新用户，我正在阅读《完整的 Rust 编程参考指南》一书。书中有一个例子：

fn main() {
    let mut a = String::from("testing");
    let a_ref = &mut a;
    a_ref.push('!');

    println!("{}", a);
}

该书指出代码将产生错误。

在此处输入图像描述

但是，在我的本地机器上，我可以毫无问题地运行它。这是因为我使用的是较新的 Rust 编译器 [ rustc 1.41.0-nightly (412f43ac5 2019-11-24)] 并且代码不适用于较旧的编译器吗？我已经阅读了 Rust 官方书籍的一些章节。据我了解，引用的生命周期a_ref在其最后一次使用时结束，即a_ref.push('!');. 之后a_ref就消失了，a应该可以毫无问题地使用。我的理解正确吗？

标签： rustreferencelifetime

解决方案

最有可能发生的情况是，您正在阅读的书正在教授生命周期，而忽略了非词汇生命周期。这是有道理的；词汇生命周期是最容易理解的。

运行以下命令将恢复到 non-lexical-lifetimes 出现之前：

rustup default 1.30

这会将 rustc 恢复到 version 之前1.31，根据本文档，这是 nll 的最低版本。

运行它会导致完全相同的错误，如下所示：

> cargo run
   Compiling forum_examples v0.1.0 (C:\Users\user\Desktop\forum_examples)
error[E0502]: cannot borrow `a` as immutable because it is also borrowed as mutable
 --> src\main.rs:6:20
  |
3 |     let a_ref = &mut a;
  |                      - mutable borrow occurs here
...
6 |     println!("{}", a);
  |                    ^ immutable borrow occurs here
7 | }
  | - mutable borrow ends here

error: aborting due to previous error

For more information about this error, try `rustc --explain E0502`.
error: Could not compile `forum_examples`.

To learn more, run the command again with --verbose.

您可以选择使用此版本的编译器（或 2015 版的 1.35 版本）来严格按照本书进行操作，或者您可以使用此经验法则来确定为什么它不按照本书编译但使用编译器进行编译present today：如果编译器看到不再需要引用，它将删除它。在您的示例中，编译器认为a_ref之后不再需要它，因此它会在此之后立即插入一个隐式删除。请注意，这仅适用于引用，而不适用于守卫或更复杂的涉及生命周期的类型（尤其是任何可以调用drop代码的东西）。

推荐阅读