Rustの同一スコープ内で複数の可変変数を扱うことについて

Rustのドキュメントを読んで勉強中です。
ドキュメント上では、「可変な参照には大きな制約が一つあります: 特定のスコープで、ある特定のデータに対しては、一つしか可変な参照を持てないことです。」
とのことですが、以下のコードではコンパイルエラーになりません。
なぜでしょうか？

該当のソースコード

Rust
1fn main() {
2    let mut s = String::from("test");
3
4    let s1 = &mut s;
5    let s2 = &mut s;
6
7    println!("{}", s2);
8}

また、以下の場合では、望むエラーが出ます。

Rust
1fn main() {
2    let mut s = String::from("test");
3
4    let s1 = &mut s;
5
6    let s2 = &mut s;
7
8    println!("{}", s1);
9}

エラーメッセージ

warning: unused variable: `s2`
 --> src/main.rs:6:9
  |
6 |     let s2 = &mut s;
  |         ^^ help: if this is intentional, prefix it with an underscore: `_s2`
  |
  = note: `#[warn(unused_variables)]` on by default

error[E0499]: cannot borrow `s` as mutable more than once at a time
 --> src/main.rs:6:14
  |
4 |     let s1 = &mut s;
  |              ------ first mutable borrow occurs here
5 | 
6 |     let s2 = &mut s;
  |              ^^^^^^ second mutable borrow occurs here
7 | 
8 |     println!("{}", s1);
  |                    -- first borrow later used here

error: aborting due to previous error; 1 warning emitted

For more information about this error, try `rustc --explain E0499`.
error: could not compile `pr2`

いずれにしても、同じように同一スコープ内で可変な参照を２つ持っているのでコンパイルエラーとなるものと思っていたのですが。。

行動規範の内容に同意します

回答2件

ベストアンサー

Rustコンパイラは参照が使われている場所の情報を参照のオーバーラップしているかの判定に使います．
ですので，最初のコードの場合は

rust
1fn main() {
2    let mut s = String::from("test");
3
4    let s1 = &mut s; // 1つ目の可変参照はここだけで使われている
5
6    let s2 = &mut s;    // 2つ目はここで使う
7    println!("{}", s2); // 2つ目
8}

となり，1つ目の可変参照と2つ目の可変参照が使われている区間がオーバーラップしないので可変参照の唯一性を破らないとコンパイラが判定します．

一方で，次のコードの場合は

rust
1fn main() {
2    let mut s = String::from("test");
3
4    let s1 = &mut s; // ①: 1つ目
5
6    let s2 = &mut s; // ②: 1つ目 + 2つ目 ← オーバーラップ！
7
8    println!("{}", s1); // ③: 1つ目
9}