对于 Rust 中的多个可变引用，同步如何成为问题？

Question

我正在阅读 Rust 文档第 4 节并看到这样的代码：

let mut s = String::from("hello");

let r1 = &mut s;
let r2 = &mut s;

println!("{}, {}", r1, r2);

所以文档说你不能在 Rust 中有多个可变引用。 好的，有道理，但 doc 说，如果您可以使用，会发生三种行为，其中一种是：

没有用于同步数据访问的机制。

是否需要机制来同步它？ 我的意思是我们已经使用了指向堆或指向堆的另一个指针的指针。

我的意思是在这张图中，假设我们有s2和s3作为对s1可变引用。 s1已经有一个指向堆的指针，所以s2和s3有指向 s1 的指针。 当我们改变s2或s3时，堆中的内存不会改变吗？

let mut s1 = String::from("Hello");
let s2 = &mut s1;
s2.push_str(", world");

在这里， s1指向的堆中的内存发生了变化，因此s3已经指向该内存，所以它不是已经同步了吗？

我只是假设我们可以有多个可变引用，我知道这种情况还有另一个问题，但根据 Rust 文档的三个问题之一就是这个。

Answer 1

想象一下，如果允许以下内容：

let mut maybe_five = Some(5);
let mut zero = 0;

// first mutable borrow
let ref_five = &mut maybe_five;

// second mutable borrow
// number_ref is a reference inside maybe_five's Some
let number_ref = match &mut maybe_five {
    Some(ref mut five) => five,
    _ => &mut zero,
};

// invalidate number_ref by making the value it points to invalid
*ref_five = None;

// now we write into a None???
*number_ref = 10;

我们将能够在安全的 Rust 中做各种未定义的行为。