Rust - 解引用和借用为什么会破坏借用规则？

Question

Rust - 解引用和借用为什么会破坏借用规则？

3

据我所知，在同一时间可以有多个不可变引用，但如果存在一个可变引用，则它将是唯一的可用引用。

为什么以下代码有效？

fn main() {
    let mut y = String::from("bar");

    let f: &mut String = &mut y;
    let f2: &String = &(*f);

    // not allowed since mutable reference already exists
    // let f3: &String = &y; 

    println!("{}, ", f.as_str());
    println!("{}", f2.as_str());
}

编辑：我的另一个问题是，我猜想并不明显：为什么我不能创建f3（如我在注释行中所做的那样），它与f2完全相同且通过引用y类似地创建。

编辑：我猜想并不明显的另一个问题是：当我像在注释行中所做的那样创建f3时，为什么不被允许，它与f2完全相同，并通过引用y类似地创建。

- user3690467

不是与此问题完全相关，但“如果存在可变引用，则它可以是唯一的引用”并不完全正确。我认为你想要表达的是，“如果存在可变引用，则它可以是唯一可用的引用。” - cdhowie

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Alex Huszagh · Accepted Answer

编译器非常聪明，能够在数据被用作不可变之前判断其是否实际用作可变。如果您更改代码以首先使用可变引用，则会失败。

fn main() {
    let mut y = String::from("bar");

    let f: &mut String = &mut y;
    let f2: &String = &(*f);
    f.clear();

    // not allowed since mutable reference already exists
    // let f3: &String = &y; 

    println!("{}, ", f.as_str());
    println!("{}", f2.as_str());
}

这是一个链接到实时示例的链接。错误提示中提到，如果存在可变引用，则不能有不可变引用。请点击此处查看示例。

error[E0502]: cannot borrow `*f` as mutable because it is also borrowed as immutable
  --> src/main.rs:6:5
   |
5  |     let f2: &String = &(*f);
   |                       ----- immutable borrow occurs here
6  |     f.clear();
   |     ^^^^^^^^^ mutable borrow occurs here
...
12 |     println!("{}", f2.as_str());
   |                    ----------- immutable borrow later used here

For more information about this error, try `rustc --explain E0502`.
error: could not compile `playground` due to previous error

简而言之，如果您拥有一个可变引用，则只能有一个借用，但编译器足够智能，可以知道值何时不会改变：在您的示例中，在使用f2之前使用f时，f不能更改，因此它知道它不会更改。