Rustの借用の解除について

Question

コンパイルエラーとなる例

fn main() {
    let mut x = 0;
    let y = &mut x;
    {
        let z = y;
    }
    *y = 1;
}

上記のコードでは、「yは5行目で既にmoveされています」と出力されてしまいます

コンパイルエラーにならない例

fn main() {
    let mut x = 0;
    let y = &mut x;
    {
        let z = &mut *y;
    }
    *y = 1;
}

fn func(z: &mut i32) {}

fn main() {
    let mut x = 0;
    let y = &mut x;
    func(y);
    *y = 1;
}

これらのコードでは問題なくコンパイルすることができるのですが、前者との違いは何なのでしょうか

説明が疎かになってしまい申し訳ございません

Answer 1

型指定をしていないと所有権が移動したものとみなされます

fn main(){
    let mut a=0;
    let b=&mut a;

    {
        let c:&mut i32=b; //型指定あり
    }

    *b+=1;
    println!("{}",b);
}

1

fn main(){
    let mut a=0;
    let b=&mut a;

    {
        let c=b; //型指定なし
    }

    *b+=1;
    println!("{}",b);
}

warning: unused variable: `c`
 --> Main.rs:6:5
  |
6 | let c=b;
  |     ^ help: if this is intentional, prefix it with an underscore: `_c`
  |
  = note: `#[warn(unused_variables)]` on by default

error[E0382]: borrow of moved value: `b`
 --> Main.rs:7:15
  |
5 | let b=&mut a;
  |     - move occurs because `b` has type `&mut i32`, which does not implement the `Copy` trait
6 | let c=b;
  |       - value moved here
7 | println!("{}",*b);
  |               ^^ value borrowed here after move
  |
  = note: this error originates in the macro `$crate::format_args_nl` (in Nightly builds, run with -Z macro-backtrace for more info)

error: aborting due to previous error; 1 warning emitted

For more information about this error, try `rustc --explain E0382`.

関数の場合は必ず型宣言されるのでエラーにならないという理屈になりますね

型指定の有無で動作に差異が生じる理由は分かりません
詳しい方の解説に期待しましょう...

なお、

let z = &mut *y;

この宣言を型宣言ありの形式で表すと

let z:&mut i32=&mut *y;

となります

let y:&mut i32=& mut x;

に相当するので通常の借用宣言と相違ないことが分かりますね

こちらも参考になるかもしれません
https://colorfulcompany.com/rust/borrow-reference

この質問を見て、以前にも検索結果に似たような内容があったのを思い出して調べたところ、ベストな質問がありました
こちらも参照の価値があるでしょう
https://teratail.com/questions/260892

Comments

[sundhy]

ありがとうございます！
コンパイラが`func(y)`や`let z: &mut i32 = y`の`y`を`&mut *y`として解釈してくれるということだったんですね！

Answer 2

通常、変数の代入は所有権が移動するので、y の所有権が z に移動したため、それ以降は使えないですね

fn main() {
    let mut x = "foo";
    let y = &mut x;
    {
        let _z = y; // yの所有権が移動
    }
    *y = "bar";  // 所有権が _z に移動したあと、y はもう使えないのでエラー
    println!("{}", x);
}

所有権ではなく参照を代入すれば、所有権は移動することがなくそれ以降も使えます。

fn main() {
    let mut x = "foo";
    let y = &mut x;
    {
        let _z = &y; // 参照を代入すれば所有権は移動しない
    }
    *y = "bar"; // 所有権が移動していないため y は使える
    println!("{}", x);
}

また、掲示されている関数も「可変な参照」を受取るので所有権は移動しないですね

fn func(z: &mut i32) {}

より詳細な所有権の説明（通称rust book）はこちらを参照してみてください
https://doc.rust-jp.rs/book-ja/ch04-01-what-is-ownership.html